2017-05-02 07:12:28 -04:00
|
|
|
#ifndef OSRM_UTIL_QUERY_HEAP_HPP
|
|
|
|
#define OSRM_UTIL_QUERY_HEAP_HPP
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2013-10-30 13:52:23 -04:00
|
|
|
#include <boost/assert.hpp>
|
2017-05-02 03:10:05 -04:00
|
|
|
#include <boost/heap/d_ary_heap.hpp>
|
2013-06-26 19:48:22 -04:00
|
|
|
|
2011-01-09 16:42:27 -05:00
|
|
|
#include <algorithm>
|
2013-06-26 19:48:22 -04:00
|
|
|
#include <limits>
|
2011-01-09 16:42:27 -05:00
|
|
|
#include <map>
|
2014-05-05 10:21:41 -04:00
|
|
|
#include <unordered_map>
|
2013-06-26 19:48:22 -04:00
|
|
|
#include <vector>
|
2011-03-16 16:23:07 -04:00
|
|
|
|
2016-01-05 10:51:13 -05:00
|
|
|
namespace osrm
|
|
|
|
{
|
|
|
|
namespace util
|
|
|
|
{
|
|
|
|
|
2017-04-04 07:33:34 -04:00
|
|
|
template <typename NodeID, typename Key> class GenerationArrayStorage
|
|
|
|
{
|
|
|
|
using GenerationCounter = std::uint16_t;
|
2017-04-05 06:23:53 -04:00
|
|
|
|
2017-04-04 07:33:34 -04:00
|
|
|
public:
|
2018-04-09 06:45:53 -04:00
|
|
|
explicit GenerationArrayStorage(std::size_t size)
|
2017-04-05 06:23:53 -04:00
|
|
|
: positions(size, 0), generation(1), generations(size, 0)
|
|
|
|
{
|
|
|
|
}
|
2017-04-04 07:33:34 -04:00
|
|
|
|
2017-04-05 06:23:53 -04:00
|
|
|
Key &operator[](NodeID node)
|
|
|
|
{
|
2017-04-04 07:33:34 -04:00
|
|
|
generation[node] = generation;
|
|
|
|
return positions[node];
|
|
|
|
}
|
|
|
|
|
2017-04-05 06:23:53 -04:00
|
|
|
Key peek_index(const NodeID node) const
|
|
|
|
{
|
2017-04-04 07:33:34 -04:00
|
|
|
if (generations[node] < generation)
|
|
|
|
{
|
|
|
|
return std::numeric_limits<Key>::max();
|
|
|
|
}
|
|
|
|
return positions[node];
|
|
|
|
}
|
|
|
|
|
2017-04-05 06:23:53 -04:00
|
|
|
void Clear()
|
|
|
|
{
|
2017-04-04 07:33:34 -04:00
|
|
|
generation++;
|
2017-04-05 06:23:34 -04:00
|
|
|
// if generation overflows we end up at 0 again and need to clear the vector
|
|
|
|
if (generation == 0)
|
2017-04-04 07:33:34 -04:00
|
|
|
{
|
2017-04-05 06:23:34 -04:00
|
|
|
generation = 1;
|
2017-04-04 07:33:34 -04:00
|
|
|
std::fill(generations.begin(), generations.end(), 0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
GenerationCounter generation;
|
|
|
|
std::vector<GenerationCounter> generations;
|
|
|
|
std::vector<Key> positions;
|
|
|
|
};
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
template <typename NodeID, typename Key> class ArrayStorage
|
|
|
|
{
|
|
|
|
public:
|
2018-04-09 06:45:53 -04:00
|
|
|
explicit ArrayStorage(std::size_t size) : positions(size, 0) {}
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2015-02-10 05:35:58 -05:00
|
|
|
~ArrayStorage() {}
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
Key &operator[](NodeID node) { return positions[node]; }
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2015-02-10 05:35:58 -05:00
|
|
|
Key peek_index(const NodeID node) const { return positions[node]; }
|
2015-01-15 05:15:48 -05:00
|
|
|
|
2011-01-09 16:42:27 -05:00
|
|
|
void Clear() {}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
private:
|
2015-01-15 06:59:08 -05:00
|
|
|
std::vector<Key> positions;
|
2011-01-09 16:42:27 -05:00
|
|
|
};
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
template <typename NodeID, typename Key> class MapStorage
|
|
|
|
{
|
|
|
|
public:
|
2018-04-09 06:45:53 -04:00
|
|
|
explicit MapStorage(std::size_t) {}
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
Key &operator[](NodeID node) { return nodes[node]; }
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
void Clear() { nodes.clear(); }
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2015-01-15 05:15:48 -05:00
|
|
|
Key peek_index(const NodeID node) const
|
|
|
|
{
|
|
|
|
const auto iter = nodes.find(node);
|
2015-01-15 06:59:08 -05:00
|
|
|
if (nodes.end() != iter)
|
2015-01-15 05:15:48 -05:00
|
|
|
{
|
|
|
|
return iter->second;
|
|
|
|
}
|
2015-01-15 06:59:08 -05:00
|
|
|
return std::numeric_limits<Key>::max();
|
2015-01-15 05:15:48 -05:00
|
|
|
}
|
2015-02-10 05:35:58 -05:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
private:
|
|
|
|
std::map<NodeID, Key> nodes;
|
2011-01-09 16:42:27 -05:00
|
|
|
};
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
template <typename NodeID, typename Key> class UnorderedMapStorage
|
|
|
|
{
|
|
|
|
public:
|
2018-04-09 06:45:53 -04:00
|
|
|
explicit UnorderedMapStorage(std::size_t) { nodes.rehash(1000); }
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
Key &operator[](const NodeID node) { return nodes[node]; }
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2015-01-15 05:15:48 -05:00
|
|
|
Key peek_index(const NodeID node) const
|
|
|
|
{
|
2015-01-14 11:26:59 -05:00
|
|
|
const auto iter = nodes.find(node);
|
|
|
|
if (std::end(nodes) != iter)
|
|
|
|
{
|
|
|
|
return iter->second;
|
|
|
|
}
|
2015-01-15 06:59:08 -05:00
|
|
|
return std::numeric_limits<Key>::max();
|
2015-01-14 11:26:59 -05:00
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
Key const &operator[](const NodeID node) const
|
|
|
|
{
|
|
|
|
auto iter = nodes.find(node);
|
2014-02-26 09:55:04 -05:00
|
|
|
return iter->second;
|
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
void Clear() { nodes.clear(); }
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
private:
|
|
|
|
std::unordered_map<NodeID, Key> nodes;
|
2011-03-24 09:32:15 -04:00
|
|
|
};
|
|
|
|
|
2018-04-08 12:37:08 -04:00
|
|
|
template <typename NodeID,
|
|
|
|
typename Key,
|
|
|
|
template <typename N, typename K> class BaseIndexStorage = UnorderedMapStorage,
|
|
|
|
template <typename N, typename K> class OverlayIndexStorage = ArrayStorage>
|
|
|
|
class TwoLevelStorage
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
explicit TwoLevelStorage(std::size_t number_of_nodes, std::size_t number_of_overlay_nodes)
|
2018-04-09 06:45:53 -04:00
|
|
|
: number_of_overlay_nodes(number_of_overlay_nodes), base(number_of_nodes),
|
|
|
|
overlay(number_of_overlay_nodes)
|
2018-04-08 12:37:08 -04:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
Key &operator[](const NodeID node)
|
|
|
|
{
|
|
|
|
if (node < number_of_overlay_nodes)
|
|
|
|
{
|
|
|
|
return overlay[node];
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
return base[node];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Key peek_index(const NodeID node) const
|
|
|
|
{
|
|
|
|
if (node < number_of_overlay_nodes)
|
|
|
|
{
|
|
|
|
return overlay.peek_index(node);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
return base.peek_index(node);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Key const &operator[](const NodeID node) const
|
|
|
|
{
|
|
|
|
if (node < number_of_overlay_nodes)
|
|
|
|
{
|
|
|
|
return overlay[node];
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
return base[node];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void Clear()
|
|
|
|
{
|
|
|
|
base.Clear();
|
|
|
|
overlay.Clear();
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
const std::size_t number_of_overlay_nodes;
|
|
|
|
BaseIndexStorage<NodeID, Key> base;
|
|
|
|
OverlayIndexStorage<NodeID, Key> overlay;
|
|
|
|
};
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
template <typename NodeID,
|
|
|
|
typename Key,
|
|
|
|
typename Weight,
|
|
|
|
typename Data,
|
|
|
|
typename IndexStorage = ArrayStorage<NodeID, NodeID>>
|
2017-05-02 07:12:28 -04:00
|
|
|
class QueryHeap
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
public:
|
2014-08-19 07:01:38 -04:00
|
|
|
using WeightType = Weight;
|
|
|
|
using DataType = Data;
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2018-04-09 06:45:53 -04:00
|
|
|
template <typename... StorageArgs> explicit QueryHeap(StorageArgs... args) : node_index(args...)
|
2018-04-08 12:37:08 -04:00
|
|
|
{
|
|
|
|
Clear();
|
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
void Clear()
|
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
heap.clear();
|
2014-05-05 10:21:41 -04:00
|
|
|
inserted_nodes.clear();
|
|
|
|
node_index.Clear();
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2017-05-02 03:10:05 -04:00
|
|
|
std::size_t Size() const { return heap.size(); }
|
2011-01-09 16:42:27 -05:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
bool Empty() const { return 0 == Size(); }
|
2013-09-21 15:51:07 -04:00
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
void Insert(NodeID node, Weight weight, const Data &data)
|
|
|
|
{
|
2017-08-20 19:24:05 -04:00
|
|
|
BOOST_ASSERT(node < std::numeric_limits<NodeID>::max());
|
2017-05-02 03:10:05 -04:00
|
|
|
const auto index = static_cast<Key>(inserted_nodes.size());
|
|
|
|
const auto handle = heap.push(std::make_pair(weight, index));
|
2017-05-02 05:05:00 -04:00
|
|
|
inserted_nodes.emplace_back(HeapNode{handle, node, weight, data});
|
2017-05-02 03:10:05 -04:00
|
|
|
node_index[node] = index;
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
Data &GetData(NodeID node)
|
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
const auto index = node_index.peek_index(node);
|
2014-05-05 10:21:41 -04:00
|
|
|
return inserted_nodes[index].data;
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
Data const &GetData(NodeID node) const
|
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
const auto index = node_index.peek_index(node);
|
2014-05-05 10:21:41 -04:00
|
|
|
return inserted_nodes[index].data;
|
2014-02-26 09:55:04 -05:00
|
|
|
}
|
|
|
|
|
2017-03-01 15:17:34 -05:00
|
|
|
const Weight &GetKey(NodeID node) const
|
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
const auto index = node_index.peek_index(node);
|
2017-03-01 15:17:34 -05:00
|
|
|
return inserted_nodes[index].weight;
|
|
|
|
}
|
|
|
|
|
2015-01-14 11:26:59 -05:00
|
|
|
bool WasRemoved(const NodeID node) const
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
|
|
|
BOOST_ASSERT(WasInserted(node));
|
2015-01-14 11:26:59 -05:00
|
|
|
const Key index = node_index.peek_index(node);
|
2017-08-10 19:07:29 -04:00
|
|
|
|
|
|
|
// Use end iterator as a reliable "non-existent" handle.
|
|
|
|
// Default-constructed handles are singular and
|
|
|
|
// can only be checked-compared to another singular instance.
|
|
|
|
// Behaviour investigated at https://lists.boost.org/boost-users/2017/08/87787.php,
|
|
|
|
// eventually confirmation at https://stackoverflow.com/a/45622940/151641.
|
|
|
|
// Corrected in https://github.com/Project-OSRM/osrm-backend/pull/4396
|
|
|
|
auto const end_it = const_cast<HeapContainer &>(heap).end(); // non-const iterator
|
|
|
|
auto const none_handle = heap.s_handle_from_iterator(end_it); // from non-const iterator
|
|
|
|
return inserted_nodes[index].handle == none_handle;
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2015-01-15 06:59:08 -05:00
|
|
|
bool WasInserted(const NodeID node) const
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2015-01-15 06:59:08 -05:00
|
|
|
const auto index = node_index.peek_index(node);
|
2015-01-15 07:11:25 -05:00
|
|
|
if (index >= static_cast<decltype(index)>(inserted_nodes.size()))
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2011-01-09 16:42:27 -05:00
|
|
|
return false;
|
2014-05-05 10:21:41 -04:00
|
|
|
}
|
|
|
|
return inserted_nodes[index].node == node;
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
NodeID Min() const
|
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
BOOST_ASSERT(!heap.empty());
|
|
|
|
return inserted_nodes[heap.top().second].node;
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2016-01-05 06:04:04 -05:00
|
|
|
Weight MinKey() const
|
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
BOOST_ASSERT(!heap.empty());
|
|
|
|
return heap.top().first;
|
2015-07-13 15:09:19 -04:00
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
NodeID DeleteMin()
|
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
BOOST_ASSERT(!heap.empty());
|
|
|
|
const Key removedIndex = heap.top().second;
|
|
|
|
heap.pop();
|
2017-08-10 19:07:29 -04:00
|
|
|
inserted_nodes[removedIndex].handle = heap.s_handle_from_iterator(heap.end());
|
2014-05-05 10:21:41 -04:00
|
|
|
return inserted_nodes[removedIndex].node;
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
void DeleteAll()
|
|
|
|
{
|
2017-08-10 19:07:29 -04:00
|
|
|
auto const none_handle = heap.s_handle_from_iterator(heap.end());
|
|
|
|
std::for_each(inserted_nodes.begin(), inserted_nodes.end(), [&none_handle](auto &node) {
|
|
|
|
node.handle = none_handle;
|
2017-05-02 03:10:05 -04:00
|
|
|
});
|
|
|
|
heap.clear();
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
void DecreaseKey(NodeID node, Weight weight)
|
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
BOOST_ASSERT(!WasRemoved(node));
|
|
|
|
const auto index = node_index.peek_index(node);
|
|
|
|
auto &reference = inserted_nodes[index];
|
|
|
|
reference.weight = weight;
|
|
|
|
heap.increase(reference.handle, std::make_pair(weight, index));
|
2011-01-09 16:42:27 -05:00
|
|
|
}
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
private:
|
2017-05-02 03:10:05 -04:00
|
|
|
using HeapData = std::pair<Weight, Key>;
|
|
|
|
using HeapContainer = boost::heap::d_ary_heap<HeapData,
|
|
|
|
boost::heap::arity<4>,
|
|
|
|
boost::heap::mutable_<true>,
|
|
|
|
boost::heap::compare<std::greater<HeapData>>>;
|
|
|
|
using HeapHandle = typename HeapContainer::handle_type;
|
|
|
|
|
2017-05-02 05:05:00 -04:00
|
|
|
struct HeapNode
|
2014-05-05 10:21:41 -04:00
|
|
|
{
|
2017-05-02 03:10:05 -04:00
|
|
|
HeapHandle handle;
|
2017-05-02 05:05:00 -04:00
|
|
|
NodeID node;
|
2011-01-09 16:42:27 -05:00
|
|
|
Weight weight;
|
|
|
|
Data data;
|
|
|
|
};
|
|
|
|
|
2014-05-05 10:21:41 -04:00
|
|
|
std::vector<HeapNode> inserted_nodes;
|
2017-05-02 03:10:05 -04:00
|
|
|
HeapContainer heap;
|
2014-05-05 10:21:41 -04:00
|
|
|
IndexStorage node_index;
|
2011-01-09 16:42:27 -05:00
|
|
|
};
|
2016-01-05 10:51:13 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-05-02 07:12:28 -04:00
|
|
|
#endif // OSRM_UTIL_QUERY_HEAP_HPP
|