osrm-backend/include/util/packed_vector.hpp

227 lines
7.5 KiB
C++
Raw Normal View History

2016-05-20 12:56:16 -04:00
#ifndef PACKED_VECTOR_HPP
#define PACKED_VECTOR_HPP
2016-06-02 08:43:27 -04:00
#include "util/typedefs.hpp"
2017-04-04 19:01:00 -04:00
#include "util/vector_view.hpp"
2016-05-20 12:56:16 -04:00
2017-04-04 19:54:30 -04:00
#include "storage/io_fwd.hpp"
#include "storage/shared_memory_ownership.hpp"
2016-05-20 14:11:46 -04:00
#include <cmath>
2016-05-20 12:56:16 -04:00
#include <vector>
namespace osrm
{
namespace util
{
namespace detail
{
2017-04-10 16:15:25 -04:00
template <typename T, std::size_t Bits, storage::Ownership Ownership> class PackedVector;
}
namespace serialization
{
2017-04-10 16:15:25 -04:00
template <typename T, std::size_t Bits, storage::Ownership Ownership>
inline void read(storage::io::FileReader &reader, detail::PackedVector<T, Bits, Ownership> &vec);
2017-04-10 16:15:25 -04:00
template <typename T, std::size_t Bits, storage::Ownership Ownership>
inline void write(storage::io::FileWriter &writer,
const detail::PackedVector<T, Bits, Ownership> &vec);
}
2016-05-20 12:56:16 -04:00
namespace detail
{
2017-04-10 16:15:25 -04:00
template <typename T, std::size_t Bits, storage::Ownership Ownership> class PackedVector
2016-05-20 12:56:16 -04:00
{
// This fails for all strong typedef types
// static_assert(std::is_integral<T>::value, "T must be an integral type.");
2017-04-10 16:15:25 -04:00
static_assert(sizeof(T) <= sizeof(std::uint64_t), "Maximum size of type T is 8 bytes");
2017-04-11 18:27:43 -04:00
static_assert(Bits > 0, "Minimum number of bits is 0.");
static_assert(Bits <= sizeof(std::uint64_t) * CHAR_BIT, "Maximum number of bits is 64.");
2017-04-10 16:15:25 -04:00
2017-04-11 18:27:43 -04:00
static const constexpr std::size_t ELEMSIZE = sizeof(std::uint64_t) * CHAR_BIT;
2017-04-10 16:15:25 -04:00
static const constexpr std::size_t PACKSIZE = Bits * ELEMSIZE;
2016-05-20 12:56:16 -04:00
public:
using value_type = T;
/**
2016-06-21 10:54:16 -04:00
* Returns the size of the packed vector datastructure with `elements` packed elements (the size
* of
* its underlying uint64 vector)
*/
inline static std::size_t elements_to_blocks(std::size_t elements)
{
2017-04-10 16:15:25 -04:00
return std::ceil(static_cast<double>(elements) * Bits / ELEMSIZE);
}
2017-04-10 16:15:25 -04:00
void push_back(T data)
2016-05-20 12:56:16 -04:00
{
2017-04-10 16:15:25 -04:00
std::uint64_t node_id = static_cast<std::uint64_t>(data);
2016-05-24 10:17:24 -04:00
2016-05-20 12:56:16 -04:00
// mask incoming values, just in case they are > bitsize
2017-04-10 16:15:25 -04:00
const std::uint64_t incoming_mask = static_cast<std::uint64_t>(pow(2, Bits)) - 1;
2016-05-20 12:56:16 -04:00
node_id = node_id & incoming_mask;
2017-04-10 16:15:25 -04:00
const std::size_t available = (PACKSIZE - Bits * num_elements) % ELEMSIZE;
2016-05-20 12:56:16 -04:00
if (available == 0)
{
// insert ID at the left side of this element
2017-04-10 16:15:25 -04:00
std::uint64_t at_left = node_id << (ELEMSIZE - Bits);
2016-05-23 20:13:32 -04:00
add_last_elem(at_left);
2016-05-20 12:56:16 -04:00
}
2017-04-10 16:15:25 -04:00
else if (available >= Bits)
2016-05-20 12:56:16 -04:00
{
// insert ID somewhere in the middle of this element; ID can be contained
// entirely within one element
2017-04-10 16:15:25 -04:00
const std::uint64_t shifted = node_id << (available - Bits);
2016-05-23 20:13:32 -04:00
replace_last_elem(vec_back() | shifted);
2016-05-20 12:56:16 -04:00
}
else
{
// ID will be split between the end of this element and the beginning
// of the next element
2017-04-10 16:15:25 -04:00
const std::uint64_t left = node_id >> (Bits - available);
2016-05-20 12:56:16 -04:00
2017-04-10 16:15:25 -04:00
std::uint64_t right = node_id << (ELEMSIZE - (Bits - available));
2016-05-23 20:13:32 -04:00
replace_last_elem(vec_back() | left);
add_last_elem(right);
2016-05-20 12:56:16 -04:00
}
num_elements++;
}
T operator[](const std::size_t index) const { return at(index); }
T at(const std::size_t a_index) const
2016-05-20 12:56:16 -04:00
{
2016-05-20 14:11:46 -04:00
BOOST_ASSERT(a_index < num_elements);
2016-05-20 12:56:16 -04:00
const std::size_t pack_group = trunc(a_index / ELEMSIZE);
2016-05-20 14:11:46 -04:00
const std::size_t pack_index = (a_index + ELEMSIZE) % ELEMSIZE;
2017-04-10 16:15:25 -04:00
const std::size_t left_index = (PACKSIZE - Bits * pack_index) % ELEMSIZE;
2016-05-20 12:56:16 -04:00
2017-04-10 16:15:25 -04:00
const bool back_half = pack_index >= Bits;
const std::size_t index =
pack_group * Bits + trunc(pack_index / Bits) + trunc((pack_index - back_half) / 2);
2016-05-20 12:56:16 -04:00
2016-05-20 14:11:46 -04:00
BOOST_ASSERT(index < vec.size());
2016-05-23 20:13:32 -04:00
const std::uint64_t elem = static_cast<std::uint64_t>(vec.at(index));
2016-05-20 12:56:16 -04:00
if (left_index == 0)
{
// ID is at the far left side of this element
2017-04-10 16:15:25 -04:00
return T{elem >> (ELEMSIZE - Bits)};
2016-05-20 12:56:16 -04:00
}
2017-04-10 16:15:25 -04:00
else if (left_index >= Bits)
2016-05-20 12:56:16 -04:00
{
// ID is entirely contained within this element
2017-04-10 16:15:25 -04:00
const std::uint64_t at_right = elem >> (left_index - Bits);
const std::uint64_t left_mask = static_cast<std::uint64_t>(pow(2, Bits)) - 1;
return T{at_right & left_mask};
2016-05-20 12:56:16 -04:00
}
else
{
// ID is split between this and the next element
2016-05-20 14:11:46 -04:00
const std::uint64_t left_mask = static_cast<std::uint64_t>(pow(2, left_index)) - 1;
2017-04-10 16:15:25 -04:00
const std::uint64_t left_side = (elem & left_mask) << (Bits - left_index);
2016-05-20 12:56:16 -04:00
2016-05-20 14:11:46 -04:00
BOOST_ASSERT(index < vec.size() - 1);
2016-05-23 20:13:32 -04:00
const std::uint64_t next_elem = static_cast<std::uint64_t>(vec.at(index + 1));
2016-05-20 12:56:16 -04:00
2017-04-10 16:15:25 -04:00
const std::uint64_t right_side = next_elem >> (ELEMSIZE - (Bits - left_index));
return T{left_side | right_side};
2016-05-20 12:56:16 -04:00
}
}
2016-05-24 10:33:05 -04:00
std::size_t size() const { return num_elements; }
template <bool enabled = (Ownership == storage::Ownership::View)>
2016-05-23 20:13:32 -04:00
void reserve(typename std::enable_if<!enabled, std::size_t>::type capacity)
{
vec.reserve(elements_to_blocks(capacity));
2016-05-23 20:13:32 -04:00
}
template <bool enabled = (Ownership == storage::Ownership::View)>
void reset(typename std::enable_if<enabled, std::uint64_t>::type *ptr,
2016-05-24 10:33:05 -04:00
typename std::enable_if<enabled, std::size_t>::type size)
2016-05-23 20:13:32 -04:00
{
vec.reset(ptr, size);
2016-05-23 20:13:32 -04:00
}
template <bool enabled = (Ownership == storage::Ownership::View)>
2016-05-23 20:13:32 -04:00
void set_number_of_entries(typename std::enable_if<enabled, std::size_t>::type count)
{
num_elements = count;
}
std::size_t capacity() const
{
2017-04-10 16:15:25 -04:00
return std::floor(static_cast<double>(vec.capacity()) * ELEMSIZE / Bits);
}
2017-04-10 16:15:25 -04:00
friend void serialization::read<T, Bits, Ownership>(storage::io::FileReader &reader,
PackedVector &vec);
2017-04-10 16:15:25 -04:00
friend void serialization::write<T, Bits, Ownership>(storage::io::FileWriter &writer,
const PackedVector &vec);
2016-05-20 12:56:16 -04:00
private:
util::ViewOrVector<std::uint64_t, Ownership> vec;
2016-05-23 20:13:32 -04:00
std::uint64_t num_elements = 0;
2016-05-23 20:13:32 -04:00
signed cursor = -1;
template <bool enabled = (Ownership == storage::Ownership::View)>
2016-05-23 20:13:32 -04:00
void replace_last_elem(typename std::enable_if<enabled, std::uint64_t>::type last_elem)
{
vec[cursor] = last_elem;
}
template <bool enabled = (Ownership == storage::Ownership::View)>
2016-05-23 20:13:32 -04:00
void replace_last_elem(typename std::enable_if<!enabled, std::uint64_t>::type last_elem)
{
vec.back() = last_elem;
}
template <bool enabled = (Ownership == storage::Ownership::View)>
2016-05-23 20:13:32 -04:00
void add_last_elem(typename std::enable_if<enabled, std::uint64_t>::type last_elem)
{
vec[cursor + 1] = last_elem;
cursor++;
}
template <bool enabled = (Ownership == storage::Ownership::View)>
2016-05-23 20:13:32 -04:00
void add_last_elem(typename std::enable_if<!enabled, std::uint64_t>::type last_elem)
{
vec.push_back(last_elem);
}
template <bool enabled = (Ownership == storage::Ownership::View)>
2016-05-24 10:33:05 -04:00
std::uint64_t vec_back(typename std::enable_if<enabled>::type * = nullptr)
2016-05-23 20:13:32 -04:00
{
return vec[cursor];
}
template <bool enabled = (Ownership == storage::Ownership::View)>
2016-05-24 10:33:05 -04:00
std::uint64_t vec_back(typename std::enable_if<!enabled>::type * = nullptr)
2016-05-23 20:13:32 -04:00
{
return vec.back();
}
2016-05-20 12:56:16 -04:00
};
2016-05-20 14:11:46 -04:00
}
2017-04-11 18:27:43 -04:00
template <typename T, std::size_t Bits>
using PackedVector = detail::PackedVector<T, Bits, storage::Ownership::Container>;
template <typename T, std::size_t Bits>
using PackedVectorView = detail::PackedVector<T, Bits, storage::Ownership::View>;
}
2016-05-20 14:11:46 -04:00
}
2016-05-20 12:56:16 -04:00
#endif /* PACKED_VECTOR_HPP */