2015-01-07 06:28:26 -05:00
|
|
|
#ifndef DEALLOCATING_VECTOR_HPP
|
|
|
|
#define DEALLOCATING_VECTOR_HPP
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2017-05-19 18:28:01 -04:00
|
|
|
#include "storage/io_fwd.hpp"
|
2016-01-02 11:13:44 -05:00
|
|
|
#include "util/integer_range.hpp"
|
2014-08-05 11:19:09 -04:00
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
#include <boost/iterator/iterator_facade.hpp>
|
|
|
|
|
2017-08-22 15:53:44 -04:00
|
|
|
#include <algorithm>
|
2015-02-10 05:35:58 -05:00
|
|
|
#include <limits>
|
2014-07-15 05:47:58 -04:00
|
|
|
#include <utility>
|
2012-05-23 15:22:33 -04:00
|
|
|
#include <vector>
|
|
|
|
|
2022-12-11 04:10:26 -05:00
|
|
|
namespace osrm::util
|
2017-05-19 18:28:01 -04:00
|
|
|
{
|
2015-07-04 08:29:30 -04:00
|
|
|
template <typename ElementT> struct ConstDeallocatingVectorIteratorState
|
|
|
|
{
|
|
|
|
ConstDeallocatingVectorIteratorState()
|
|
|
|
: index(std::numeric_limits<std::size_t>::max()), bucket_list(nullptr)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
explicit ConstDeallocatingVectorIteratorState(const ConstDeallocatingVectorIteratorState &r)
|
|
|
|
: index(r.index), bucket_list(r.bucket_list)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
explicit ConstDeallocatingVectorIteratorState(const std::size_t idx,
|
2016-01-05 06:04:04 -05:00
|
|
|
const std::vector<ElementT *> *input_list)
|
2015-07-04 08:29:30 -04:00
|
|
|
: index(idx), bucket_list(input_list)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
std::size_t index;
|
|
|
|
const std::vector<ElementT *> *bucket_list;
|
|
|
|
|
2016-01-05 06:04:04 -05:00
|
|
|
ConstDeallocatingVectorIteratorState &
|
|
|
|
operator=(const ConstDeallocatingVectorIteratorState &other)
|
2015-07-04 08:29:30 -04:00
|
|
|
{
|
|
|
|
index = other.index;
|
|
|
|
bucket_list = other.bucket_list;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
template <typename ElementT> struct DeallocatingVectorIteratorState
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2015-02-10 05:35:58 -05:00
|
|
|
DeallocatingVectorIteratorState()
|
|
|
|
: index(std::numeric_limits<std::size_t>::max()), bucket_list(nullptr)
|
|
|
|
{
|
|
|
|
}
|
2014-07-17 12:25:23 -04:00
|
|
|
explicit DeallocatingVectorIteratorState(const DeallocatingVectorIteratorState &r)
|
|
|
|
: index(r.index), bucket_list(r.bucket_list)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
}
|
2014-07-17 12:25:23 -04:00
|
|
|
explicit DeallocatingVectorIteratorState(const std::size_t idx,
|
|
|
|
std::vector<ElementT *> *input_list)
|
|
|
|
: index(idx), bucket_list(input_list)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
}
|
2014-07-17 12:25:23 -04:00
|
|
|
std::size_t index;
|
|
|
|
std::vector<ElementT *> *bucket_list;
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
DeallocatingVectorIteratorState &operator=(const DeallocatingVectorIteratorState &other)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-18 04:59:46 -04:00
|
|
|
index = other.index;
|
|
|
|
bucket_list = other.bucket_list;
|
2014-05-05 10:21:41 -04:00
|
|
|
return *this;
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
2014-07-17 12:25:23 -04:00
|
|
|
};
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2015-07-04 08:29:30 -04:00
|
|
|
template <typename ElementT, std::size_t ELEMENTS_PER_BLOCK>
|
|
|
|
class ConstDeallocatingVectorIterator
|
|
|
|
: public boost::iterator_facade<ConstDeallocatingVectorIterator<ElementT, ELEMENTS_PER_BLOCK>,
|
|
|
|
ElementT,
|
|
|
|
std::random_access_iterator_tag>
|
|
|
|
{
|
|
|
|
ConstDeallocatingVectorIteratorState<ElementT> current_state;
|
|
|
|
|
|
|
|
public:
|
|
|
|
ConstDeallocatingVectorIterator() {}
|
|
|
|
ConstDeallocatingVectorIterator(std::size_t idx, const std::vector<ElementT *> *input_list)
|
|
|
|
: current_state(idx, input_list)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
friend class boost::iterator_core_access;
|
|
|
|
|
|
|
|
void advance(std::size_t n) { current_state.index += n; }
|
|
|
|
|
|
|
|
void increment() { advance(1); }
|
|
|
|
|
|
|
|
void decrement() { advance(-1); }
|
|
|
|
|
|
|
|
bool equal(ConstDeallocatingVectorIterator const &other) const
|
|
|
|
{
|
|
|
|
return current_state.index == other.current_state.index;
|
|
|
|
}
|
|
|
|
|
|
|
|
std::ptrdiff_t distance_to(ConstDeallocatingVectorIterator const &other) const
|
|
|
|
{
|
|
|
|
// it is important to implement it 'other minus this'. otherwise sorting breaks
|
|
|
|
return other.current_state.index - current_state.index;
|
|
|
|
}
|
|
|
|
|
|
|
|
ElementT &dereference() const
|
|
|
|
{
|
|
|
|
const std::size_t current_bucket = current_state.index / ELEMENTS_PER_BLOCK;
|
|
|
|
const std::size_t current_index = current_state.index % ELEMENTS_PER_BLOCK;
|
|
|
|
return (current_state.bucket_list->at(current_bucket)[current_index]);
|
|
|
|
}
|
|
|
|
|
|
|
|
ElementT &operator[](const std::size_t index) const
|
|
|
|
{
|
|
|
|
const std::size_t current_bucket = (index + current_state.index) / ELEMENTS_PER_BLOCK;
|
|
|
|
const std::size_t current_index = (index + current_state.index) % ELEMENTS_PER_BLOCK;
|
|
|
|
return (current_state.bucket_list->at(current_bucket)[current_index]);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
template <typename ElementT, std::size_t ELEMENTS_PER_BLOCK>
|
|
|
|
class DeallocatingVectorIterator
|
|
|
|
: public boost::iterator_facade<DeallocatingVectorIterator<ElementT, ELEMENTS_PER_BLOCK>,
|
|
|
|
ElementT,
|
|
|
|
std::random_access_iterator_tag>
|
|
|
|
{
|
|
|
|
DeallocatingVectorIteratorState<ElementT> current_state;
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
public:
|
|
|
|
DeallocatingVectorIterator() {}
|
|
|
|
DeallocatingVectorIterator(std::size_t idx, std::vector<ElementT *> *input_list)
|
|
|
|
: current_state(idx, input_list)
|
|
|
|
{
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
friend class boost::iterator_core_access;
|
2012-11-22 09:41:29 -05:00
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
void advance(std::size_t n) { current_state.index += n; }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
void increment() { advance(1); }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
void decrement() { advance(-1); }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
bool equal(DeallocatingVectorIterator const &other) const
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
return current_state.index == other.current_state.index;
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
2013-10-15 05:56:27 -04:00
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
std::ptrdiff_t distance_to(DeallocatingVectorIterator const &other) const
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
// it is important to implement it 'other minus this'. otherwise sorting breaks
|
|
|
|
return other.current_state.index - current_state.index;
|
2013-10-15 05:56:27 -04:00
|
|
|
}
|
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
ElementT &dereference() const
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
const std::size_t current_bucket = current_state.index / ELEMENTS_PER_BLOCK;
|
|
|
|
const std::size_t current_index = current_state.index % ELEMENTS_PER_BLOCK;
|
|
|
|
return (current_state.bucket_list->at(current_bucket)[current_index]);
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
2014-07-18 04:59:46 -04:00
|
|
|
|
|
|
|
ElementT &operator[](const std::size_t index) const
|
|
|
|
{
|
|
|
|
const std::size_t current_bucket = (index + current_state.index) / ELEMENTS_PER_BLOCK;
|
|
|
|
const std::size_t current_index = (index + current_state.index) % ELEMENTS_PER_BLOCK;
|
|
|
|
return (current_state.bucket_list->at(current_bucket)[current_index]);
|
|
|
|
}
|
2014-07-17 12:25:23 -04:00
|
|
|
};
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2018-03-22 13:34:26 -04:00
|
|
|
template <typename ElementT> class DeallocatingVector;
|
|
|
|
|
2017-05-19 18:28:01 -04:00
|
|
|
template <typename T> void swap(DeallocatingVector<T> &lhs, DeallocatingVector<T> &rhs);
|
2015-12-16 12:12:18 -05:00
|
|
|
|
2017-05-19 18:28:01 -04:00
|
|
|
template <typename ElementT> class DeallocatingVector
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2017-05-19 18:28:01 -04:00
|
|
|
static constexpr std::size_t ELEMENTS_PER_BLOCK = 8388608 / sizeof(ElementT);
|
2014-05-05 10:21:41 -04:00
|
|
|
std::size_t current_size;
|
|
|
|
std::vector<ElementT *> bucket_list;
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
public:
|
2017-05-19 18:28:01 -04:00
|
|
|
using value_type = ElementT;
|
2014-08-19 07:01:38 -04:00
|
|
|
using iterator = DeallocatingVectorIterator<ElementT, ELEMENTS_PER_BLOCK>;
|
2015-07-04 08:29:30 -04:00
|
|
|
using const_iterator = ConstDeallocatingVectorIterator<ElementT, ELEMENTS_PER_BLOCK>;
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2015-01-27 11:44:46 -05:00
|
|
|
DeallocatingVector() : current_size(0)
|
|
|
|
{
|
|
|
|
bucket_list.emplace_back(new ElementT[ELEMENTS_PER_BLOCK]);
|
|
|
|
}
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2017-08-22 15:53:44 -04:00
|
|
|
// Performs a deep copy of the buckets
|
|
|
|
DeallocatingVector(const DeallocatingVector &other)
|
|
|
|
{
|
|
|
|
bucket_list.resize(other.bucket_list.size());
|
|
|
|
for (const auto index : util::irange<std::size_t>(0, bucket_list.size()))
|
|
|
|
{
|
|
|
|
bucket_list[index] = new ElementT[ELEMENTS_PER_BLOCK];
|
|
|
|
std::copy_n(other.bucket_list[index], ELEMENTS_PER_BLOCK, bucket_list[index]);
|
|
|
|
}
|
|
|
|
current_size = other.current_size;
|
|
|
|
}
|
|
|
|
// Note we capture other by value
|
|
|
|
DeallocatingVector &operator=(const DeallocatingVector &other)
|
|
|
|
{
|
|
|
|
auto copy_other = other;
|
|
|
|
swap(copy_other);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
2017-04-06 07:24:23 -04:00
|
|
|
// moving is fine
|
2017-06-19 13:19:12 -04:00
|
|
|
DeallocatingVector(DeallocatingVector &&other) { swap(other); }
|
|
|
|
DeallocatingVector &operator=(DeallocatingVector &&other)
|
|
|
|
{
|
|
|
|
swap(other);
|
|
|
|
return *this;
|
|
|
|
}
|
2017-04-02 19:02:57 -04:00
|
|
|
|
2018-03-22 07:12:14 -04:00
|
|
|
DeallocatingVector(std::initializer_list<ElementT> elements) : DeallocatingVector()
|
2018-03-16 21:37:02 -04:00
|
|
|
{
|
2018-03-22 07:12:14 -04:00
|
|
|
for (auto &&elem : elements)
|
2018-03-16 21:37:02 -04:00
|
|
|
{
|
|
|
|
emplace_back(std::move(elem));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
~DeallocatingVector() { clear(); }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2017-05-19 18:28:01 -04:00
|
|
|
friend void swap<>(DeallocatingVector<ElementT> &lhs, DeallocatingVector<ElementT> &rhs);
|
2015-12-16 12:12:18 -05:00
|
|
|
|
2017-05-19 18:28:01 -04:00
|
|
|
void swap(DeallocatingVector<ElementT> &other)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
std::swap(current_size, other.current_size);
|
|
|
|
bucket_list.swap(other.bucket_list);
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
void clear()
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
// Delete[]'ing ptr's to all Buckets
|
2014-07-17 12:25:23 -04:00
|
|
|
for (auto bucket : bucket_list)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2022-08-24 18:01:56 -04:00
|
|
|
delete[] bucket;
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
2015-01-27 11:44:46 -05:00
|
|
|
bucket_list.clear();
|
|
|
|
bucket_list.shrink_to_fit();
|
2014-05-05 10:21:41 -04:00
|
|
|
current_size = 0;
|
|
|
|
}
|
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
void push_back(const ElementT &element)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
const std::size_t current_capacity = capacity();
|
|
|
|
if (current_size == current_capacity)
|
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
bucket_list.push_back(new ElementT[ELEMENTS_PER_BLOCK]);
|
2014-05-05 10:21:41 -04:00
|
|
|
}
|
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
std::size_t current_index = size() % ELEMENTS_PER_BLOCK;
|
2014-05-05 10:21:41 -04:00
|
|
|
bucket_list.back()[current_index] = element;
|
|
|
|
++current_size;
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
|
|
|
|
2024-05-06 03:14:46 -04:00
|
|
|
template <typename... Ts> void emplace_back(Ts &&...element)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
const std::size_t current_capacity = capacity();
|
|
|
|
if (current_size == current_capacity)
|
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
bucket_list.push_back(new ElementT[ELEMENTS_PER_BLOCK]);
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
|
|
|
|
2014-07-17 12:25:23 -04:00
|
|
|
const std::size_t current_index = size() % ELEMENTS_PER_BLOCK;
|
2014-07-15 05:47:58 -04:00
|
|
|
bucket_list.back()[current_index] = ElementT(std::forward<Ts>(element)...);
|
2014-05-05 10:21:41 -04:00
|
|
|
++current_size;
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
|
|
|
|
2020-11-26 10:21:39 -05:00
|
|
|
void reserve(const std::size_t) const
|
|
|
|
{ /* don't do anything */
|
|
|
|
}
|
2012-08-27 10:16:59 -04:00
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
void resize(const std::size_t new_size)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
if (new_size >= current_size)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
while (capacity() < new_size)
|
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
bucket_list.push_back(new ElementT[ELEMENTS_PER_BLOCK]);
|
2012-08-27 10:16:59 -04:00
|
|
|
}
|
|
|
|
}
|
2014-07-17 12:25:23 -04:00
|
|
|
else
|
2015-01-27 11:44:46 -05:00
|
|
|
{ // down-size
|
2014-07-17 12:25:23 -04:00
|
|
|
const std::size_t number_of_necessary_buckets = 1 + (new_size / ELEMENTS_PER_BLOCK);
|
2016-01-07 19:31:57 -05:00
|
|
|
for (const auto bucket_index : irange(number_of_necessary_buckets, bucket_list.size()))
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-18 05:20:27 -04:00
|
|
|
if (nullptr != bucket_list[bucket_index])
|
|
|
|
{
|
|
|
|
delete[] bucket_list[bucket_index];
|
|
|
|
}
|
2012-08-27 10:16:59 -04:00
|
|
|
}
|
2014-05-05 10:21:41 -04:00
|
|
|
bucket_list.resize(number_of_necessary_buckets);
|
2012-08-27 10:16:59 -04:00
|
|
|
}
|
2014-07-17 12:25:23 -04:00
|
|
|
current_size = new_size;
|
2012-08-27 10:16:59 -04:00
|
|
|
}
|
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
std::size_t size() const { return current_size; }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
std::size_t capacity() const { return bucket_list.size() * ELEMENTS_PER_BLOCK; }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
iterator begin() { return iterator(static_cast<std::size_t>(0), &bucket_list); }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
iterator end() { return iterator(size(), &bucket_list); }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
const_iterator begin() const
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
return const_iterator(static_cast<std::size_t>(0), &bucket_list);
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
const_iterator end() const { return const_iterator(size(), &bucket_list); }
|
2012-05-23 15:22:33 -04:00
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
ElementT &operator[](const std::size_t index)
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
const std::size_t _bucket = index / ELEMENTS_PER_BLOCK;
|
|
|
|
const std::size_t _index = index % ELEMENTS_PER_BLOCK;
|
2014-05-05 10:21:41 -04:00
|
|
|
return (bucket_list[_bucket][_index]);
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
ElementT &operator[](const std::size_t index) const
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2014-07-17 12:25:23 -04:00
|
|
|
const std::size_t _bucket = index / ELEMENTS_PER_BLOCK;
|
|
|
|
const std::size_t _index = index % ELEMENTS_PER_BLOCK;
|
2014-05-05 10:21:41 -04:00
|
|
|
return (bucket_list[_bucket][_index]);
|
2012-05-23 15:22:33 -04:00
|
|
|
}
|
2013-01-27 08:18:54 -05:00
|
|
|
|
2015-01-07 06:26:49 -05:00
|
|
|
ElementT &back() const
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2017-01-11 10:42:52 -05:00
|
|
|
const std::size_t _bucket = (current_size - 1) / ELEMENTS_PER_BLOCK;
|
|
|
|
const std::size_t _index = (current_size - 1) % ELEMENTS_PER_BLOCK;
|
2014-05-05 10:21:41 -04:00
|
|
|
return (bucket_list[_bucket][_index]);
|
2013-01-27 08:18:54 -05:00
|
|
|
}
|
2014-07-28 09:58:50 -04:00
|
|
|
|
2015-01-27 11:44:46 -05:00
|
|
|
template <class InputIterator> void append(InputIterator first, const InputIterator last)
|
2014-07-28 09:58:50 -04:00
|
|
|
{
|
|
|
|
InputIterator position = first;
|
|
|
|
while (position != last)
|
|
|
|
{
|
|
|
|
push_back(*position);
|
|
|
|
++position;
|
|
|
|
}
|
|
|
|
}
|
2012-05-23 15:22:33 -04:00
|
|
|
};
|
|
|
|
|
2017-05-19 18:28:01 -04:00
|
|
|
template <typename T> void swap(DeallocatingVector<T> &lhs, DeallocatingVector<T> &rhs)
|
2015-12-16 12:12:18 -05:00
|
|
|
{
|
|
|
|
lhs.swap(rhs);
|
|
|
|
}
|
2022-12-20 12:00:11 -05:00
|
|
|
} // namespace osrm::util
|
2016-01-05 10:51:13 -05:00
|
|
|
|
2015-01-07 06:28:26 -05:00
|
|
|
#endif /* DEALLOCATING_VECTOR_HPP */
|