2022-02-17 19:31:58 +01:00
|
|
|
//
|
|
|
|
// Copyright Aliaksei Levin (levlam@telegram.org), Arseny Smirnov (arseny30@gmail.com) 2014-2022
|
|
|
|
//
|
|
|
|
// Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
|
|
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
//
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "td/utils/bits.h"
|
|
|
|
#include "td/utils/common.h"
|
2022-02-24 22:04:32 +01:00
|
|
|
#include "td/utils/Random.h"
|
2022-02-17 19:31:58 +01:00
|
|
|
|
|
|
|
#include <cstddef>
|
2022-02-28 16:25:07 +01:00
|
|
|
#include <cstdlib>
|
2022-02-17 19:31:58 +01:00
|
|
|
#include <functional>
|
|
|
|
#include <initializer_list>
|
|
|
|
#include <iterator>
|
|
|
|
#include <new>
|
|
|
|
#include <utility>
|
|
|
|
|
|
|
|
namespace td {
|
2022-02-23 14:27:19 +01:00
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
template <class KeyT>
|
|
|
|
bool is_key_empty(const KeyT &key) {
|
|
|
|
return key == KeyT();
|
|
|
|
}
|
|
|
|
|
2022-02-23 14:27:19 +01:00
|
|
|
inline uint32 randomize_hash(size_t h) {
|
|
|
|
auto result = static_cast<uint32>(h & 0xFFFFFFFF);
|
|
|
|
result ^= result >> 16;
|
|
|
|
result *= 0x85ebca6b;
|
|
|
|
result ^= result >> 13;
|
|
|
|
result *= 0xc2b2ae35;
|
|
|
|
result ^= result >> 16;
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
template <class KeyT, class ValueT>
|
|
|
|
struct MapNode {
|
|
|
|
using first_type = KeyT;
|
|
|
|
using second_type = ValueT;
|
2022-02-21 00:22:01 +01:00
|
|
|
using public_key_type = KeyT;
|
|
|
|
using public_type = MapNode;
|
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
KeyT first{};
|
|
|
|
union {
|
|
|
|
ValueT second;
|
|
|
|
};
|
2022-02-21 00:22:01 +01:00
|
|
|
|
|
|
|
const KeyT &key() const {
|
2022-02-17 19:31:58 +01:00
|
|
|
return first;
|
|
|
|
}
|
2022-02-21 00:22:01 +01:00
|
|
|
|
|
|
|
MapNode &get_public() {
|
2022-02-17 19:31:58 +01:00
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
MapNode() {
|
|
|
|
}
|
|
|
|
MapNode(KeyT key, ValueT value) : first(std::move(key)) {
|
|
|
|
new (&second) ValueT(std::move(value));
|
|
|
|
DCHECK(!empty());
|
|
|
|
}
|
2022-02-19 09:34:43 +01:00
|
|
|
MapNode(const MapNode &other) = delete;
|
|
|
|
MapNode &operator=(const MapNode &other) = delete;
|
2022-02-17 19:31:58 +01:00
|
|
|
MapNode(MapNode &&other) noexcept {
|
|
|
|
*this = std::move(other);
|
|
|
|
}
|
2022-02-23 13:50:58 +01:00
|
|
|
void operator=(MapNode &&other) noexcept {
|
2022-02-17 19:31:58 +01:00
|
|
|
DCHECK(empty());
|
|
|
|
DCHECK(!other.empty());
|
|
|
|
first = std::move(other.first);
|
|
|
|
other.first = KeyT{};
|
|
|
|
new (&second) ValueT(std::move(other.second));
|
|
|
|
other.second.~ValueT();
|
|
|
|
}
|
2022-02-19 09:34:43 +01:00
|
|
|
~MapNode() {
|
|
|
|
if (!empty()) {
|
|
|
|
second.~ValueT();
|
|
|
|
}
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
|
2022-02-20 21:03:34 +01:00
|
|
|
void copy_from(const MapNode &other) {
|
|
|
|
DCHECK(empty());
|
|
|
|
DCHECK(!other.empty());
|
|
|
|
first = other.first;
|
|
|
|
new (&second) ValueT(other.second);
|
|
|
|
}
|
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
bool empty() const {
|
|
|
|
return is_key_empty(key());
|
|
|
|
}
|
|
|
|
|
|
|
|
void clear() {
|
|
|
|
DCHECK(!empty());
|
|
|
|
first = KeyT();
|
|
|
|
second.~ValueT();
|
|
|
|
DCHECK(empty());
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class... ArgsT>
|
|
|
|
void emplace(KeyT key, ArgsT &&...args) {
|
|
|
|
DCHECK(empty());
|
|
|
|
first = std::move(key);
|
|
|
|
new (&second) ValueT(std::forward<ArgsT>(args)...);
|
|
|
|
DCHECK(!empty());
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class KeyT>
|
|
|
|
struct SetNode {
|
2022-02-21 00:22:01 +01:00
|
|
|
using public_key_type = KeyT;
|
2022-02-17 19:31:58 +01:00
|
|
|
using public_type = KeyT;
|
2022-02-23 19:34:09 +01:00
|
|
|
using second_type = KeyT; // TODO: remove second_type?
|
2022-02-20 21:03:34 +01:00
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
KeyT first{};
|
2022-02-20 21:03:34 +01:00
|
|
|
|
2022-02-21 00:22:01 +01:00
|
|
|
const KeyT &key() const {
|
2022-02-17 19:31:58 +01:00
|
|
|
return first;
|
|
|
|
}
|
|
|
|
|
2022-02-21 00:22:01 +01:00
|
|
|
KeyT &get_public() {
|
2022-02-17 19:31:58 +01:00
|
|
|
return first;
|
|
|
|
}
|
2022-02-21 00:22:01 +01:00
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
SetNode() = default;
|
|
|
|
explicit SetNode(KeyT key) : first(std::move(key)) {
|
|
|
|
}
|
2022-02-19 09:34:43 +01:00
|
|
|
SetNode(const SetNode &other) = delete;
|
|
|
|
SetNode &operator=(const SetNode &other) = delete;
|
2022-02-17 19:31:58 +01:00
|
|
|
SetNode(SetNode &&other) noexcept {
|
|
|
|
*this = std::move(other);
|
|
|
|
}
|
2022-02-23 13:50:58 +01:00
|
|
|
void operator=(SetNode &&other) noexcept {
|
2022-02-17 19:31:58 +01:00
|
|
|
DCHECK(empty());
|
|
|
|
DCHECK(!other.empty());
|
|
|
|
first = std::move(other.first);
|
|
|
|
other.first = KeyT{};
|
|
|
|
}
|
2022-02-19 09:34:43 +01:00
|
|
|
~SetNode() = default;
|
2022-02-17 19:31:58 +01:00
|
|
|
|
2022-02-20 21:03:34 +01:00
|
|
|
void copy_from(const SetNode &other) {
|
|
|
|
DCHECK(empty());
|
|
|
|
DCHECK(!other.empty());
|
|
|
|
first = other.first;
|
|
|
|
}
|
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
bool empty() const {
|
|
|
|
return is_key_empty(key());
|
|
|
|
}
|
|
|
|
|
|
|
|
void clear() {
|
|
|
|
first = KeyT();
|
2022-02-19 09:34:43 +01:00
|
|
|
DCHECK(empty());
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void emplace(KeyT key) {
|
|
|
|
first = std::move(key);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class NodeT, class HashT, class EqT>
|
|
|
|
class FlatHashTable {
|
2022-02-23 20:13:40 +01:00
|
|
|
struct FlatHashTableInner {
|
|
|
|
uint32 used_node_count_;
|
|
|
|
uint32 bucket_count_mask_;
|
2022-02-25 02:04:29 +01:00
|
|
|
uint32 bucket_count_;
|
2022-02-24 22:24:27 +01:00
|
|
|
uint32 begin_bucket_;
|
2022-02-23 20:13:40 +01:00
|
|
|
NodeT nodes_[1];
|
|
|
|
};
|
|
|
|
|
2022-02-24 22:24:27 +01:00
|
|
|
static constexpr size_t OFFSET = 4 * sizeof(uint32);
|
|
|
|
static constexpr uint32 INVALID_BUCKET = 0xFFFFFFFF;
|
2022-02-23 20:13:40 +01:00
|
|
|
|
2022-02-25 12:30:02 +01:00
|
|
|
static inline FlatHashTableInner *get_inner(NodeT *nodes) {
|
|
|
|
DCHECK(nodes != nullptr);
|
|
|
|
return reinterpret_cast<FlatHashTableInner *>(reinterpret_cast<char *>(nodes) - OFFSET);
|
|
|
|
}
|
|
|
|
|
2022-02-23 20:51:43 +01:00
|
|
|
static NodeT *allocate_nodes(uint32 size) {
|
2022-02-23 20:13:40 +01:00
|
|
|
DCHECK(size >= 8);
|
|
|
|
DCHECK((size & (size - 1)) == 0);
|
2022-02-24 20:04:21 +01:00
|
|
|
CHECK(size <= min(static_cast<uint32>(1) << 29, static_cast<uint32>((0x7FFFFFFF - OFFSET) / sizeof(NodeT))));
|
2022-02-23 20:13:40 +01:00
|
|
|
auto inner = static_cast<FlatHashTableInner *>(std::malloc(OFFSET + sizeof(NodeT) * size));
|
|
|
|
NodeT *nodes = &inner->nodes_[0];
|
2022-02-23 20:51:43 +01:00
|
|
|
for (uint32 i = 0; i < size; i++) {
|
2022-02-23 20:13:40 +01:00
|
|
|
new (nodes + i) NodeT();
|
|
|
|
}
|
|
|
|
// inner->used_node_count_ = 0;
|
2022-02-23 20:51:43 +01:00
|
|
|
inner->bucket_count_mask_ = size - 1;
|
2022-02-25 02:04:29 +01:00
|
|
|
inner->bucket_count_ = size;
|
2022-02-24 22:24:27 +01:00
|
|
|
inner->begin_bucket_ = INVALID_BUCKET;
|
2022-02-23 20:13:40 +01:00
|
|
|
return nodes;
|
|
|
|
}
|
|
|
|
|
2022-02-25 12:30:02 +01:00
|
|
|
static void clear_nodes(NodeT *nodes) {
|
|
|
|
auto inner = get_inner(nodes);
|
2022-02-25 02:04:29 +01:00
|
|
|
auto size = inner->bucket_count_;
|
2022-02-23 20:51:43 +01:00
|
|
|
for (uint32 i = 0; i < size; i++) {
|
2022-02-23 20:13:40 +01:00
|
|
|
nodes[i].~NodeT();
|
|
|
|
}
|
|
|
|
std::free(inner);
|
|
|
|
}
|
|
|
|
|
|
|
|
inline FlatHashTableInner *get_inner() {
|
2022-02-25 12:30:02 +01:00
|
|
|
return get_inner(nodes_);
|
2022-02-23 20:13:40 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
inline const FlatHashTableInner *get_inner() const {
|
|
|
|
DCHECK(nodes_ != nullptr);
|
2022-02-25 12:30:02 +01:00
|
|
|
return get_inner(const_cast<NodeT *>(nodes_));
|
2022-02-23 20:13:40 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
inline uint32 &used_node_count() {
|
|
|
|
return get_inner()->used_node_count_;
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
|
2022-02-23 20:13:40 +01:00
|
|
|
inline uint32 get_used_node_count() const {
|
|
|
|
return get_inner()->used_node_count_;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline uint32 get_bucket_count_mask() const {
|
|
|
|
return get_inner()->bucket_count_mask_;
|
|
|
|
}
|
|
|
|
|
2022-02-25 02:04:29 +01:00
|
|
|
inline uint32 get_bucket_count() const {
|
|
|
|
return get_inner()->bucket_count_;
|
|
|
|
}
|
|
|
|
|
2022-02-23 20:13:40 +01:00
|
|
|
public:
|
2022-02-23 14:34:42 +01:00
|
|
|
using KeyT = typename NodeT::public_key_type;
|
|
|
|
using key_type = typename NodeT::public_key_type;
|
|
|
|
using value_type = typename NodeT::public_type;
|
2022-02-17 19:31:58 +01:00
|
|
|
|
|
|
|
struct Iterator {
|
|
|
|
using iterator_category = std::bidirectional_iterator_tag;
|
|
|
|
using difference_type = std::ptrdiff_t;
|
2022-02-21 00:22:01 +01:00
|
|
|
using value_type = FlatHashTable::value_type;
|
|
|
|
using pointer = value_type *;
|
|
|
|
using reference = value_type &;
|
2022-02-17 19:31:58 +01:00
|
|
|
|
|
|
|
friend class FlatHashTable;
|
|
|
|
Iterator &operator++() {
|
2022-02-24 22:04:32 +01:00
|
|
|
DCHECK(it_ != nullptr);
|
2022-02-17 19:31:58 +01:00
|
|
|
do {
|
2022-02-24 22:04:32 +01:00
|
|
|
if (unlikely(++it_ == end_)) {
|
|
|
|
it_ = begin_;
|
|
|
|
}
|
|
|
|
if (unlikely(it_ == start_)) {
|
|
|
|
it_ = nullptr;
|
|
|
|
break;
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
} while (it_->empty());
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
reference operator*() {
|
|
|
|
return it_->get_public();
|
|
|
|
}
|
|
|
|
pointer operator->() {
|
|
|
|
return &*it_;
|
|
|
|
}
|
|
|
|
bool operator==(const Iterator &other) const {
|
2022-02-24 22:04:32 +01:00
|
|
|
DCHECK(begin_ == other.begin_);
|
2022-02-23 15:39:16 +01:00
|
|
|
DCHECK(end_ == other.end_);
|
2022-02-17 19:31:58 +01:00
|
|
|
return it_ == other.it_;
|
|
|
|
}
|
|
|
|
bool operator!=(const Iterator &other) const {
|
2022-02-24 22:04:32 +01:00
|
|
|
DCHECK(begin_ == other.begin_);
|
2022-02-23 15:39:16 +01:00
|
|
|
DCHECK(end_ == other.end_);
|
2022-02-17 19:31:58 +01:00
|
|
|
return it_ != other.it_;
|
|
|
|
}
|
|
|
|
|
|
|
|
Iterator() = default;
|
2022-02-24 22:04:32 +01:00
|
|
|
Iterator(NodeT *it, FlatHashTable *map)
|
|
|
|
: it_(it), begin_(map->nodes_), start_(it_), end_(map->nodes_ + map->bucket_count()) {
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2022-02-24 22:04:32 +01:00
|
|
|
NodeT *it_ = nullptr;
|
|
|
|
NodeT *begin_ = nullptr;
|
|
|
|
NodeT *start_ = nullptr;
|
|
|
|
NodeT *end_ = nullptr;
|
2022-02-17 19:31:58 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
struct ConstIterator {
|
|
|
|
using iterator_category = std::bidirectional_iterator_tag;
|
|
|
|
using difference_type = std::ptrdiff_t;
|
2022-02-21 00:22:01 +01:00
|
|
|
using value_type = FlatHashTable::value_type;
|
2022-02-17 19:31:58 +01:00
|
|
|
using pointer = const value_type *;
|
|
|
|
using reference = const value_type &;
|
|
|
|
|
|
|
|
friend class FlatHashTable;
|
|
|
|
ConstIterator &operator++() {
|
|
|
|
++it_;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
reference operator*() {
|
|
|
|
return *it_;
|
|
|
|
}
|
|
|
|
pointer operator->() {
|
|
|
|
return &*it_;
|
|
|
|
}
|
|
|
|
bool operator==(const ConstIterator &other) const {
|
|
|
|
return it_ == other.it_;
|
|
|
|
}
|
|
|
|
bool operator!=(const ConstIterator &other) const {
|
|
|
|
return it_ != other.it_;
|
|
|
|
}
|
|
|
|
|
|
|
|
ConstIterator() = default;
|
|
|
|
ConstIterator(Iterator it) : it_(std::move(it)) {
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
Iterator it_;
|
|
|
|
};
|
|
|
|
using iterator = Iterator;
|
|
|
|
using const_iterator = ConstIterator;
|
|
|
|
|
|
|
|
FlatHashTable() = default;
|
2022-02-20 21:03:34 +01:00
|
|
|
FlatHashTable(const FlatHashTable &other) {
|
|
|
|
assign(other);
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-23 13:50:58 +01:00
|
|
|
void operator=(const FlatHashTable &other) {
|
2022-02-20 21:03:34 +01:00
|
|
|
clear();
|
|
|
|
assign(other);
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
2022-02-23 14:34:42 +01:00
|
|
|
FlatHashTable(std::initializer_list<NodeT> nodes) {
|
2022-02-20 21:03:34 +01:00
|
|
|
if (nodes.size() == 0) {
|
|
|
|
return;
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
reserve(nodes.size());
|
2022-02-23 20:13:40 +01:00
|
|
|
uint32 used_nodes = 0;
|
2022-02-19 09:34:43 +01:00
|
|
|
for (auto &new_node : nodes) {
|
|
|
|
CHECK(!new_node.empty());
|
2022-02-20 21:03:34 +01:00
|
|
|
auto bucket = calc_bucket(new_node.key());
|
2022-02-17 19:31:58 +01:00
|
|
|
while (true) {
|
2022-02-19 09:34:43 +01:00
|
|
|
auto &node = nodes_[bucket];
|
|
|
|
if (node.empty()) {
|
2022-02-20 21:03:34 +01:00
|
|
|
node.copy_from(new_node);
|
2022-02-23 20:13:40 +01:00
|
|
|
used_nodes++;
|
2022-02-17 19:31:58 +01:00
|
|
|
break;
|
|
|
|
}
|
2022-02-20 21:03:34 +01:00
|
|
|
if (EqT()(node.key(), new_node.key())) {
|
|
|
|
break;
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
next_bucket(bucket);
|
|
|
|
}
|
|
|
|
}
|
2022-02-23 20:13:40 +01:00
|
|
|
used_node_count() = used_nodes;
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
2022-02-23 20:13:40 +01:00
|
|
|
FlatHashTable(FlatHashTable &&other) noexcept : nodes_(other.nodes_) {
|
|
|
|
other.nodes_ = nullptr;
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-23 13:50:58 +01:00
|
|
|
void operator=(FlatHashTable &&other) noexcept {
|
2022-02-23 20:13:40 +01:00
|
|
|
clear();
|
|
|
|
nodes_ = other.nodes_;
|
|
|
|
other.nodes_ = nullptr;
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
void swap(FlatHashTable &other) noexcept {
|
2022-02-23 20:13:40 +01:00
|
|
|
std::swap(nodes_, other.nodes_);
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
~FlatHashTable() = default;
|
|
|
|
|
2022-02-23 20:51:43 +01:00
|
|
|
uint32 bucket_count() const {
|
2022-02-25 02:04:29 +01:00
|
|
|
return unlikely(nodes_ == nullptr) ? 0 : get_bucket_count();
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
Iterator find(const KeyT &key) {
|
2022-02-23 20:13:40 +01:00
|
|
|
if (unlikely(nodes_ == nullptr) || is_key_empty(key)) {
|
2022-02-17 19:31:58 +01:00
|
|
|
return end();
|
|
|
|
}
|
|
|
|
auto bucket = calc_bucket(key);
|
|
|
|
while (true) {
|
2022-02-19 09:34:43 +01:00
|
|
|
auto &node = nodes_[bucket];
|
|
|
|
if (EqT()(node.key(), key)) {
|
|
|
|
return Iterator{&node, this};
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-19 09:34:43 +01:00
|
|
|
if (node.empty()) {
|
2022-02-17 19:31:58 +01:00
|
|
|
return end();
|
|
|
|
}
|
|
|
|
next_bucket(bucket);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
ConstIterator find(const KeyT &key) const {
|
2022-02-23 14:34:42 +01:00
|
|
|
return ConstIterator(const_cast<FlatHashTable *>(this)->find(key));
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
size_t size() const {
|
2022-02-23 20:13:40 +01:00
|
|
|
return unlikely(nodes_ == nullptr) ? 0 : get_used_node_count();
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
bool empty() const {
|
2022-02-23 20:13:40 +01:00
|
|
|
return unlikely(nodes_ == nullptr) || get_used_node_count() == 0;
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
Iterator begin() {
|
|
|
|
if (empty()) {
|
|
|
|
return end();
|
|
|
|
}
|
2022-02-24 22:24:27 +01:00
|
|
|
auto &begin_bucket = get_inner()->begin_bucket_;
|
|
|
|
if (begin_bucket == INVALID_BUCKET) {
|
|
|
|
begin_bucket = Random::fast_uint32() & get_bucket_count_mask();
|
|
|
|
while (nodes_[begin_bucket].empty()) {
|
|
|
|
next_bucket(begin_bucket);
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-24 22:24:27 +01:00
|
|
|
return Iterator(nodes_ + begin_bucket, this);
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
Iterator end() {
|
2022-02-24 22:04:32 +01:00
|
|
|
return Iterator(nullptr, this);
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
ConstIterator begin() const {
|
2022-02-23 14:34:42 +01:00
|
|
|
return ConstIterator(const_cast<FlatHashTable *>(this)->begin());
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
ConstIterator end() const {
|
2022-02-23 14:34:42 +01:00
|
|
|
return ConstIterator(const_cast<FlatHashTable *>(this)->end());
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void reserve(size_t size) {
|
2022-02-23 20:13:40 +01:00
|
|
|
if (size == 0) {
|
|
|
|
return;
|
|
|
|
}
|
2022-02-23 20:51:43 +01:00
|
|
|
CHECK(size <= (1u << 29));
|
|
|
|
uint32 want_size = normalize(static_cast<uint32>(size) * 5 / 3 + 1);
|
2022-02-23 16:20:25 +01:00
|
|
|
if (want_size > bucket_count()) {
|
2022-02-17 19:31:58 +01:00
|
|
|
resize(want_size);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class... ArgsT>
|
|
|
|
std::pair<Iterator, bool> emplace(KeyT key, ArgsT &&...args) {
|
|
|
|
try_grow();
|
|
|
|
CHECK(!is_key_empty(key));
|
|
|
|
auto bucket = calc_bucket(key);
|
|
|
|
while (true) {
|
2022-02-19 09:34:43 +01:00
|
|
|
auto &node = nodes_[bucket];
|
|
|
|
if (EqT()(node.key(), key)) {
|
2022-02-24 22:04:32 +01:00
|
|
|
return {Iterator(&node, this), false};
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-19 09:34:43 +01:00
|
|
|
if (node.empty()) {
|
|
|
|
node.emplace(std::move(key), std::forward<ArgsT>(args)...);
|
2022-02-23 20:13:40 +01:00
|
|
|
used_node_count()++;
|
2022-02-24 22:04:32 +01:00
|
|
|
return {Iterator(&node, this), true};
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
next_bucket(bucket);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
std::pair<Iterator, bool> insert(KeyT key) {
|
|
|
|
return emplace(std::move(key));
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class ItT>
|
|
|
|
void insert(ItT begin, ItT end) {
|
|
|
|
for (; begin != end; ++begin) {
|
|
|
|
emplace(*begin);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-02-23 14:34:42 +01:00
|
|
|
template <class T = typename NodeT::second_type>
|
2022-02-21 00:22:01 +01:00
|
|
|
T &operator[](const KeyT &key) {
|
|
|
|
return emplace(key).first->second;
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
size_t erase(const KeyT &key) {
|
|
|
|
auto it = find(key);
|
|
|
|
if (it == end()) {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
erase(it);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t count(const KeyT &key) const {
|
|
|
|
return find(key) != end();
|
|
|
|
}
|
|
|
|
|
|
|
|
void clear() {
|
2022-02-23 20:13:40 +01:00
|
|
|
if (nodes_ != nullptr) {
|
2022-02-25 12:30:02 +01:00
|
|
|
clear_nodes(nodes_);
|
2022-02-23 20:13:40 +01:00
|
|
|
nodes_ = nullptr;
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void erase(Iterator it) {
|
|
|
|
DCHECK(it != end());
|
|
|
|
DCHECK(!it.it_->empty());
|
|
|
|
erase_node(it.it_);
|
2022-02-23 16:05:56 +01:00
|
|
|
try_shrink();
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
template <class F>
|
|
|
|
void remove_if(F &&f) {
|
2022-02-23 20:13:40 +01:00
|
|
|
if (empty()) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2022-02-19 09:34:43 +01:00
|
|
|
auto it = begin().it_;
|
2022-02-23 20:13:40 +01:00
|
|
|
auto end = nodes_ + bucket_count();
|
|
|
|
while (it != end && !it->empty()) {
|
2022-02-17 19:31:58 +01:00
|
|
|
++it;
|
|
|
|
}
|
2022-02-24 22:04:32 +01:00
|
|
|
if (it == end) {
|
|
|
|
do {
|
|
|
|
--it;
|
|
|
|
} while (!it->empty());
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
auto first_empty = it;
|
2022-02-23 20:13:40 +01:00
|
|
|
while (it != end) {
|
2022-02-17 19:31:58 +01:00
|
|
|
if (!it->empty() && f(it->get_public())) {
|
|
|
|
erase_node(it);
|
|
|
|
} else {
|
|
|
|
++it;
|
|
|
|
}
|
|
|
|
}
|
2022-02-23 20:13:40 +01:00
|
|
|
for (it = nodes_; it != first_empty;) {
|
2022-02-17 19:31:58 +01:00
|
|
|
if (!it->empty() && f(it->get_public())) {
|
|
|
|
erase_node(it);
|
|
|
|
} else {
|
|
|
|
++it;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
try_shrink();
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2022-02-23 20:13:40 +01:00
|
|
|
NodeT *nodes_ = nullptr;
|
2022-02-17 19:31:58 +01:00
|
|
|
|
2022-02-20 21:03:34 +01:00
|
|
|
void assign(const FlatHashTable &other) {
|
2022-02-23 20:13:40 +01:00
|
|
|
if (other.size() == 0) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
resize(other.bucket_count());
|
2022-02-20 21:03:34 +01:00
|
|
|
for (const auto &new_node : other) {
|
|
|
|
auto bucket = calc_bucket(new_node.key());
|
|
|
|
while (true) {
|
|
|
|
auto &node = nodes_[bucket];
|
|
|
|
if (node.empty()) {
|
|
|
|
node.copy_from(new_node);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
next_bucket(bucket);
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-23 20:13:40 +01:00
|
|
|
used_node_count() = other.get_used_node_count();
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void try_grow() {
|
2022-02-23 20:13:40 +01:00
|
|
|
if (unlikely(nodes_ == nullptr)) {
|
|
|
|
resize(8);
|
|
|
|
} else if (unlikely(get_used_node_count() * 5 > get_bucket_count_mask() * 3)) {
|
|
|
|
resize(2 * get_bucket_count_mask() + 2);
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-24 22:24:27 +01:00
|
|
|
invalidate_iterators();
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-23 20:13:40 +01:00
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
void try_shrink() {
|
2022-02-23 20:13:40 +01:00
|
|
|
DCHECK(nodes_ != nullptr);
|
|
|
|
if (unlikely(get_used_node_count() * 10 < get_bucket_count_mask() && get_bucket_count_mask() > 7)) {
|
|
|
|
resize(normalize((get_used_node_count() + 1) * 5 / 3 + 1));
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-24 22:24:27 +01:00
|
|
|
invalidate_iterators();
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
2022-02-23 20:51:43 +01:00
|
|
|
static uint32 normalize(uint32 size) {
|
|
|
|
return td::max(static_cast<uint32>(1) << (32 - count_leading_zeroes32(size)), static_cast<uint32>(8));
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
2022-02-23 20:13:40 +01:00
|
|
|
uint32 calc_bucket(const KeyT &key) const {
|
|
|
|
return randomize_hash(HashT()(key)) & get_bucket_count_mask();
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
2022-02-23 20:13:40 +01:00
|
|
|
inline void next_bucket(uint32 &bucket) const {
|
|
|
|
bucket = (bucket + 1) & get_bucket_count_mask();
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
2022-02-23 20:51:43 +01:00
|
|
|
void resize(uint32 new_size) {
|
|
|
|
if (unlikely(nodes_ == nullptr)) {
|
|
|
|
nodes_ = allocate_nodes(new_size);
|
2022-02-24 20:04:21 +01:00
|
|
|
used_node_count() = 0;
|
2022-02-23 20:51:43 +01:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2022-02-23 20:13:40 +01:00
|
|
|
auto old_nodes = nodes_;
|
2022-02-23 20:51:43 +01:00
|
|
|
uint32 old_size = get_used_node_count();
|
2022-02-25 02:04:29 +01:00
|
|
|
uint32 old_bucket_count = get_bucket_count();
|
2022-02-23 20:13:40 +01:00
|
|
|
nodes_ = allocate_nodes(new_size);
|
2022-02-23 20:51:43 +01:00
|
|
|
used_node_count() = old_size;
|
2022-02-23 20:13:40 +01:00
|
|
|
|
2022-02-25 12:30:02 +01:00
|
|
|
auto old_nodes_end = old_nodes + old_bucket_count;
|
|
|
|
for (NodeT *old_node = old_nodes; old_node != old_nodes_end; ++old_node) {
|
|
|
|
if (old_node->empty()) {
|
2022-02-17 19:31:58 +01:00
|
|
|
continue;
|
|
|
|
}
|
2022-02-25 12:30:02 +01:00
|
|
|
auto bucket = calc_bucket(old_node->key());
|
2022-02-17 19:31:58 +01:00
|
|
|
while (!nodes_[bucket].empty()) {
|
|
|
|
next_bucket(bucket);
|
|
|
|
}
|
2022-02-25 12:30:02 +01:00
|
|
|
nodes_[bucket] = std::move(*old_node);
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
2022-02-25 12:30:02 +01:00
|
|
|
clear_nodes(old_nodes);
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
2022-02-23 20:13:40 +01:00
|
|
|
void erase_node(NodeT *it) {
|
2022-02-24 19:38:57 +01:00
|
|
|
DCHECK(nodes_ <= it && static_cast<size_t>(it - nodes_) < bucket_count());
|
2022-02-25 11:53:13 +01:00
|
|
|
it->clear();
|
2022-02-23 20:13:40 +01:00
|
|
|
used_node_count()--;
|
2022-02-17 19:31:58 +01:00
|
|
|
|
2022-02-25 11:53:13 +01:00
|
|
|
const auto bucket_count = get_bucket_count();
|
2022-02-25 12:15:32 +01:00
|
|
|
const auto *end = nodes_ + bucket_count;
|
|
|
|
for (auto *test_node = it + 1; test_node != end; test_node++) {
|
2022-02-25 12:30:02 +01:00
|
|
|
if (likely(test_node->empty())) {
|
2022-02-25 11:53:13 +01:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2022-02-25 12:15:32 +01:00
|
|
|
auto want_node = nodes_ + calc_bucket(test_node->key());
|
|
|
|
if (want_node <= it || want_node > test_node) {
|
|
|
|
*it = std::move(*test_node);
|
|
|
|
it = test_node;
|
2022-02-25 11:53:13 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-02-25 12:15:32 +01:00
|
|
|
auto empty_i = static_cast<uint32>(it - nodes_);
|
|
|
|
auto empty_bucket = empty_i;
|
2022-02-25 11:53:13 +01:00
|
|
|
for (uint32 test_i = bucket_count;; test_i++) {
|
|
|
|
auto test_bucket = test_i - get_bucket_count();
|
|
|
|
if (nodes_[test_bucket].empty()) {
|
|
|
|
return;
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
auto want_i = calc_bucket(nodes_[test_bucket].key());
|
|
|
|
if (want_i < empty_i) {
|
2022-02-25 11:53:13 +01:00
|
|
|
want_i += bucket_count;
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
if (want_i <= empty_i || want_i > test_i) {
|
|
|
|
nodes_[empty_bucket] = std::move(nodes_[test_bucket]);
|
|
|
|
empty_i = test_i;
|
|
|
|
empty_bucket = test_bucket;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2022-02-24 22:24:27 +01:00
|
|
|
|
|
|
|
inline void invalidate_iterators() {
|
|
|
|
get_inner()->begin_bucket_ = INVALID_BUCKET;
|
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
template <class KeyT, class ValueT, class HashT = std::hash<KeyT>, class EqT = std::equal_to<KeyT>>
|
|
|
|
using FlatHashMapImpl = FlatHashTable<MapNode<KeyT, ValueT>, HashT, EqT>;
|
|
|
|
template <class KeyT, class HashT = std::hash<KeyT>, class EqT = std::equal_to<KeyT>>
|
|
|
|
using FlatHashSetImpl = FlatHashTable<SetNode<KeyT>, HashT, EqT>;
|
|
|
|
|
|
|
|
} // namespace td
|