2022-02-07 22:42:53 +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)
|
|
|
|
//
|
2022-02-10 09:55:32 +01:00
|
|
|
#include "td/utils/algorithm.h"
|
2022-02-07 22:42:53 +01:00
|
|
|
#include "td/utils/common.h"
|
2022-02-07 20:40:28 +01:00
|
|
|
#include "td/utils/FlatHashMap.h"
|
2022-02-17 19:31:58 +01:00
|
|
|
#include "td/utils/FlatHashMapChunks.h"
|
2022-02-18 21:04:25 +01:00
|
|
|
#include "td/utils/logging.h"
|
2022-02-10 09:55:32 +01:00
|
|
|
#include "td/utils/Random.h"
|
|
|
|
#include "td/utils/Slice.h"
|
2022-02-07 22:04:34 +01:00
|
|
|
#include "td/utils/tests.h"
|
2022-02-07 22:42:53 +01:00
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
#include <algorithm>
|
2022-02-07 20:40:28 +01:00
|
|
|
#include <array>
|
2022-02-17 19:31:58 +01:00
|
|
|
#include <random>
|
2022-02-10 09:55:32 +01:00
|
|
|
#include <unordered_map>
|
2022-02-17 19:31:58 +01:00
|
|
|
#include <unordered_set>
|
2022-02-10 09:55:32 +01:00
|
|
|
#include <utility>
|
2022-02-07 20:40:28 +01:00
|
|
|
|
2022-02-09 22:22:42 +01:00
|
|
|
template <class T>
|
2022-02-10 09:55:32 +01:00
|
|
|
static auto extract_kv(const T &reference) {
|
|
|
|
auto expected = td::transform(reference, [](auto &it) { return std::make_pair(it.first, it.second); });
|
2022-02-09 22:22:42 +01:00
|
|
|
std::sort(expected.begin(), expected.end());
|
|
|
|
return expected;
|
|
|
|
}
|
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
template <class T>
|
|
|
|
static auto extract_k(const T &reference) {
|
|
|
|
auto expected = td::transform(reference, [](auto &it) { return it; });
|
|
|
|
std::sort(expected.begin(), expected.end());
|
|
|
|
return expected;
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(FlatHashMapChunks, basic) {
|
|
|
|
td::FlatHashMapChunks<int, int> kv;
|
|
|
|
kv[5] = 3;
|
|
|
|
ASSERT_EQ(3, kv[5]);
|
|
|
|
kv[3] = 4;
|
|
|
|
ASSERT_EQ(4, kv[3]);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(FlatHashMap, probing) {
|
|
|
|
auto test = [](int buckets, int elements) {
|
|
|
|
CHECK(buckets >= elements);
|
2022-02-18 21:04:25 +01:00
|
|
|
td::vector<bool> data(buckets, false);
|
2022-02-17 19:31:58 +01:00
|
|
|
std::random_device rnd;
|
|
|
|
std::mt19937 mt(rnd());
|
2022-02-18 21:04:25 +01:00
|
|
|
std::uniform_int_distribution<td::int32> d(0, buckets - 1);
|
2022-02-17 19:31:58 +01:00
|
|
|
for (int i = 0; i < elements; i++) {
|
|
|
|
int pos = d(mt);
|
|
|
|
while (data[pos]) {
|
|
|
|
pos++;
|
|
|
|
if (pos == buckets) {
|
|
|
|
pos = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
data[pos] = true;
|
2022-02-11 22:48:35 +01:00
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
int max_chain = 0;
|
|
|
|
int cur_chain = 0;
|
|
|
|
for (auto x : data) {
|
|
|
|
if (x) {
|
|
|
|
cur_chain++;
|
2022-02-18 21:04:25 +01:00
|
|
|
max_chain = td::max(max_chain, cur_chain);
|
2022-02-17 19:31:58 +01:00
|
|
|
} else {
|
|
|
|
cur_chain = 0;
|
|
|
|
}
|
2022-02-11 22:48:35 +01:00
|
|
|
}
|
2022-02-18 21:04:25 +01:00
|
|
|
LOG(INFO) << "Buckets=" << buckets << " elements=" << elements << " max_chain=" << max_chain;
|
2022-02-17 19:31:58 +01:00
|
|
|
};
|
2022-02-18 21:04:25 +01:00
|
|
|
test(8192, static_cast<int>(8192 * 0.8));
|
|
|
|
test(8192, static_cast<int>(8192 * 0.6));
|
|
|
|
test(8192, static_cast<int>(8192 * 0.3));
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST(FlatHashSet, TL) {
|
|
|
|
return;
|
|
|
|
td::FlatHashSet<int> s;
|
|
|
|
int N = 100000;
|
|
|
|
for (int i = 0; i < 10000000; i++) {
|
|
|
|
s.insert((i + N / 2) % N + 1);
|
|
|
|
s.erase(i % N + 1);
|
2022-02-11 17:40:16 +01:00
|
|
|
}
|
2022-02-17 19:31:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST(FlatHashMap, basic) {
|
2022-02-08 20:47:10 +01:00
|
|
|
{
|
|
|
|
td::FlatHashMap<int, int> map;
|
|
|
|
map[1] = 2;
|
|
|
|
ASSERT_EQ(2, map[1]);
|
|
|
|
ASSERT_EQ(1, map.find(1)->first);
|
|
|
|
ASSERT_EQ(2, map.find(1)->second);
|
|
|
|
// ASSERT_EQ(1, map.find(1)->key());
|
|
|
|
// ASSERT_EQ(2, map.find(1)->value());
|
|
|
|
for (auto &kv : map) {
|
|
|
|
ASSERT_EQ(1, kv.first);
|
|
|
|
ASSERT_EQ(2, kv.second);
|
|
|
|
}
|
|
|
|
map.erase(map.find(1));
|
|
|
|
auto map_copy = map;
|
2022-02-07 20:40:28 +01:00
|
|
|
}
|
|
|
|
|
2022-02-11 17:27:32 +01:00
|
|
|
td::FlatHashMap<int, std::array<td::unique_ptr<td::string>, 10>> x;
|
2022-02-07 20:40:28 +01:00
|
|
|
auto y = std::move(x);
|
|
|
|
x[12];
|
|
|
|
x.erase(x.find(12));
|
2022-02-08 20:47:10 +01:00
|
|
|
|
|
|
|
{
|
2022-02-10 09:55:32 +01:00
|
|
|
td::FlatHashMap<int, td::string> map = {{1, "hello"}, {2, "world"}};
|
2022-02-08 20:47:10 +01:00
|
|
|
ASSERT_EQ("hello", map[1]);
|
2022-02-09 01:08:18 +01:00
|
|
|
ASSERT_EQ("world", map[2]);
|
|
|
|
ASSERT_EQ(2u, map.size());
|
|
|
|
ASSERT_EQ("", map[3]);
|
|
|
|
ASSERT_EQ(3u, map.size());
|
|
|
|
}
|
|
|
|
|
|
|
|
{
|
2022-02-10 09:55:32 +01:00
|
|
|
td::FlatHashMap<int, td::string> map = {{1, "hello"}, {1, "world"}};
|
2022-02-20 22:33:19 +01:00
|
|
|
ASSERT_EQ("hello", map[1]);
|
2022-02-09 01:08:18 +01:00
|
|
|
ASSERT_EQ(1u, map.size());
|
2022-02-08 20:47:10 +01:00
|
|
|
}
|
2022-02-09 20:59:08 +01:00
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
using KV = td::FlatHashMap<td::string, td::string>;
|
2022-02-10 09:55:32 +01:00
|
|
|
using Data = td::vector<std::pair<td::string, td::string>>;
|
2022-02-09 22:22:42 +01:00
|
|
|
auto data = Data{{"a", "b"}, {"c", "d"}};
|
2022-02-10 09:55:32 +01:00
|
|
|
{ ASSERT_EQ(Data{}, extract_kv(KV())); }
|
2022-02-09 22:22:42 +01:00
|
|
|
|
|
|
|
{
|
2022-02-20 21:03:34 +01:00
|
|
|
KV kv;
|
|
|
|
for (auto &pair : data) {
|
|
|
|
kv.emplace(pair.first, pair.second);
|
|
|
|
}
|
2022-02-09 22:22:42 +01:00
|
|
|
ASSERT_EQ(data, extract_kv(kv));
|
|
|
|
|
|
|
|
KV copied_kv(kv);
|
|
|
|
ASSERT_EQ(data, extract_kv(copied_kv));
|
|
|
|
|
|
|
|
KV moved_kv(std::move(kv));
|
|
|
|
ASSERT_EQ(data, extract_kv(moved_kv));
|
|
|
|
ASSERT_EQ(Data{}, extract_kv(kv));
|
|
|
|
ASSERT_TRUE(kv.empty());
|
|
|
|
kv = std::move(moved_kv);
|
|
|
|
ASSERT_EQ(data, extract_kv(kv));
|
|
|
|
|
|
|
|
KV assign_copied_kv;
|
|
|
|
assign_copied_kv = kv;
|
|
|
|
ASSERT_EQ(data, extract_kv(assign_copied_kv));
|
|
|
|
|
|
|
|
KV assign_moved_kv;
|
|
|
|
assign_moved_kv = std::move(kv);
|
|
|
|
ASSERT_EQ(data, extract_kv(assign_moved_kv));
|
|
|
|
ASSERT_EQ(Data{}, extract_kv(kv));
|
|
|
|
ASSERT_TRUE(kv.empty());
|
|
|
|
kv = std::move(assign_moved_kv);
|
|
|
|
|
2022-02-20 21:03:34 +01:00
|
|
|
KV it_copy_kv;
|
|
|
|
for (auto &pair : kv) {
|
|
|
|
it_copy_kv.emplace(pair.first, pair.second);
|
|
|
|
}
|
2022-02-09 22:22:42 +01:00
|
|
|
ASSERT_EQ(data, extract_kv(it_copy_kv));
|
|
|
|
}
|
|
|
|
|
|
|
|
{
|
|
|
|
KV kv;
|
|
|
|
ASSERT_TRUE(kv.empty());
|
|
|
|
ASSERT_EQ(0u, kv.size());
|
2022-02-20 21:03:34 +01:00
|
|
|
for (auto &pair : data) {
|
|
|
|
kv.emplace(pair.first, pair.second);
|
|
|
|
}
|
2022-02-09 22:22:42 +01:00
|
|
|
ASSERT_TRUE(!kv.empty());
|
|
|
|
ASSERT_EQ(2u, kv.size());
|
|
|
|
|
|
|
|
ASSERT_EQ("a", kv.find("a")->first);
|
|
|
|
ASSERT_EQ("b", kv.find("a")->second);
|
|
|
|
ASSERT_EQ("a", kv.find("a")->key());
|
|
|
|
kv.find("a")->second = "c";
|
|
|
|
ASSERT_EQ("c", kv.find("a")->second);
|
|
|
|
ASSERT_EQ("c", kv["a"]);
|
|
|
|
|
|
|
|
ASSERT_EQ(0u, kv.count("x"));
|
|
|
|
ASSERT_EQ(1u, kv.count("a"));
|
|
|
|
}
|
|
|
|
{
|
|
|
|
KV kv;
|
|
|
|
kv["d"];
|
|
|
|
ASSERT_EQ((Data{{"d", ""}}), extract_kv(kv));
|
|
|
|
kv.erase(kv.find("d"));
|
|
|
|
ASSERT_EQ(Data{}, extract_kv(kv));
|
|
|
|
}
|
2022-02-09 20:59:08 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST(FlatHashMap, remove_if_basic) {
|
|
|
|
td::Random::Xorshift128plus rnd(123);
|
|
|
|
|
2022-02-18 21:04:25 +01:00
|
|
|
constexpr int TESTS_N = 1000;
|
2022-02-09 22:22:42 +01:00
|
|
|
constexpr int MAX_TABLE_SIZE = 1000;
|
|
|
|
for (int test_i = 0; test_i < TESTS_N; test_i++) {
|
2022-02-09 20:59:08 +01:00
|
|
|
std::unordered_map<td::uint64, td::uint64> reference;
|
|
|
|
td::FlatHashMap<td::uint64, td::uint64> table;
|
2022-02-09 22:22:42 +01:00
|
|
|
int N = rnd.fast(1, MAX_TABLE_SIZE);
|
2022-02-09 20:59:08 +01:00
|
|
|
for (int i = 0; i < N; i++) {
|
|
|
|
auto key = rnd();
|
|
|
|
auto value = i;
|
|
|
|
reference[key] = value;
|
|
|
|
table[key] = value;
|
|
|
|
}
|
|
|
|
ASSERT_EQ(extract_kv(reference), extract_kv(table));
|
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
td::vector<std::pair<td::uint64, td::uint64>> kv;
|
|
|
|
td::table_remove_if(table, [&](auto &it) {
|
|
|
|
kv.emplace_back(it.first, it.second);
|
|
|
|
return it.second % 2 == 0;
|
|
|
|
});
|
2022-02-09 20:59:08 +01:00
|
|
|
std::sort(kv.begin(), kv.end());
|
|
|
|
ASSERT_EQ(extract_kv(reference), kv);
|
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
td::table_remove_if(reference, [](auto &it) { return it.second % 2 == 0; });
|
2022-02-09 20:59:08 +01:00
|
|
|
ASSERT_EQ(extract_kv(reference), extract_kv(table));
|
|
|
|
}
|
|
|
|
}
|
2022-02-09 22:22:42 +01:00
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
static constexpr size_t MAX_TABLE_SIZE = 1000;
|
2022-02-09 22:22:42 +01:00
|
|
|
TEST(FlatHashMap, stress_test) {
|
|
|
|
td::Random::Xorshift128plus rnd(123);
|
2022-02-17 19:31:58 +01:00
|
|
|
size_t max_table_size = MAX_TABLE_SIZE; // dynamic value
|
2022-02-09 22:22:42 +01:00
|
|
|
std::unordered_map<td::uint64, td::uint64> ref;
|
2022-02-17 19:31:58 +01:00
|
|
|
td::FlatHashMap<td::uint64, td::uint64> tbl;
|
2022-02-09 22:22:42 +01:00
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
auto validate = [&] {
|
2022-02-09 22:22:42 +01:00
|
|
|
ASSERT_EQ(ref.empty(), tbl.empty());
|
|
|
|
ASSERT_EQ(ref.size(), tbl.size());
|
|
|
|
ASSERT_EQ(extract_kv(ref), extract_kv(tbl));
|
|
|
|
for (auto &kv : ref) {
|
2022-02-17 19:31:58 +01:00
|
|
|
auto tbl_it = tbl.find(kv.first);
|
|
|
|
ASSERT_TRUE(tbl_it != tbl.end());
|
|
|
|
ASSERT_EQ(kv.second, tbl_it->second);
|
2022-02-09 22:22:42 +01:00
|
|
|
}
|
|
|
|
};
|
2022-02-17 19:31:58 +01:00
|
|
|
|
|
|
|
td::vector<td::RandomSteps::Step> steps;
|
|
|
|
auto add_step = [&](td::Slice step_name, td::uint32 weight, auto f) {
|
2022-02-18 21:04:25 +01:00
|
|
|
auto g = [&, step_name, f = std::move(f)] {
|
2022-02-17 19:31:58 +01:00
|
|
|
//LOG(ERROR) << step_name;
|
|
|
|
//ASSERT_EQ(ref.size(), tbl.size());
|
|
|
|
f();
|
|
|
|
ASSERT_EQ(ref.size(), tbl.size());
|
|
|
|
//validate();
|
|
|
|
};
|
|
|
|
steps.emplace_back(td::RandomSteps::Step{std::move(g), weight});
|
|
|
|
};
|
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
auto gen_key = [&] {
|
2022-02-09 22:22:42 +01:00
|
|
|
auto key = rnd() % 4000 + 1;
|
|
|
|
return key;
|
|
|
|
};
|
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
add_step("Reset hash table", 1, [&] {
|
2022-02-09 22:22:42 +01:00
|
|
|
validate();
|
|
|
|
td::reset_to_empty(ref);
|
|
|
|
td::reset_to_empty(tbl);
|
2022-02-17 19:31:58 +01:00
|
|
|
max_table_size = rnd.fast(1, MAX_TABLE_SIZE);
|
2022-02-09 22:22:42 +01:00
|
|
|
});
|
2022-02-10 09:55:32 +01:00
|
|
|
add_step("Clear hash table", 1, [&] {
|
2022-02-09 22:22:42 +01:00
|
|
|
validate();
|
|
|
|
ref.clear();
|
|
|
|
tbl.clear();
|
2022-02-17 19:31:58 +01:00
|
|
|
max_table_size = rnd.fast(1, MAX_TABLE_SIZE);
|
2022-02-09 22:22:42 +01:00
|
|
|
});
|
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
add_step("Insert random value", 1000, [&] {
|
2022-02-09 22:22:42 +01:00
|
|
|
if (tbl.size() > max_table_size) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
auto key = gen_key();
|
|
|
|
auto value = rnd();
|
|
|
|
ref[key] = value;
|
|
|
|
tbl[key] = value;
|
|
|
|
ASSERT_EQ(ref[key], tbl[key]);
|
|
|
|
});
|
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
add_step("Emplace random value", 1000, [&] {
|
2022-02-09 22:22:42 +01:00
|
|
|
if (tbl.size() > max_table_size) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
auto key = gen_key();
|
|
|
|
auto value = rnd();
|
|
|
|
auto ref_it = ref.emplace(key, value);
|
|
|
|
auto tbl_it = tbl.emplace(key, value);
|
|
|
|
ASSERT_EQ(ref_it.second, tbl_it.second);
|
|
|
|
ASSERT_EQ(key, tbl_it.first->first);
|
|
|
|
});
|
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
add_step("empty operator[]", 1000, [&] {
|
2022-02-09 22:22:42 +01:00
|
|
|
if (tbl.size() > max_table_size) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
auto key = gen_key();
|
|
|
|
ASSERT_EQ(ref[key], tbl[key]);
|
|
|
|
});
|
|
|
|
|
2022-02-10 09:55:32 +01:00
|
|
|
add_step("reserve", 10, [&] { tbl.reserve(rnd() % max_table_size); });
|
2022-02-09 22:22:42 +01:00
|
|
|
|
|
|
|
add_step("find", 1000, [&] {
|
|
|
|
auto key = gen_key();
|
2022-02-10 09:55:32 +01:00
|
|
|
auto ref_it = ref.find(key);
|
|
|
|
auto tbl_it = tbl.find(key);
|
2022-02-09 22:22:42 +01:00
|
|
|
ASSERT_EQ(ref_it == ref.end(), tbl_it == tbl.end());
|
|
|
|
if (ref_it != ref.end()) {
|
|
|
|
ASSERT_EQ(ref_it->first, tbl_it->first);
|
|
|
|
ASSERT_EQ(ref_it->second, tbl_it->second);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
add_step("find_and_erase", 100, [&] {
|
|
|
|
auto key = gen_key();
|
2022-02-10 09:55:32 +01:00
|
|
|
auto ref_it = ref.find(key);
|
|
|
|
auto tbl_it = tbl.find(key);
|
2022-02-09 22:22:42 +01:00
|
|
|
ASSERT_EQ(ref_it == ref.end(), tbl_it == tbl.end());
|
|
|
|
if (ref_it != ref.end()) {
|
|
|
|
ref.erase(ref_it);
|
|
|
|
tbl.erase(tbl_it);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
add_step("remove_if", 5, [&] {
|
|
|
|
auto mul = rnd();
|
|
|
|
auto bit = rnd() % 64;
|
2022-02-10 09:55:32 +01:00
|
|
|
auto condition = [&](auto &it) {
|
2022-02-09 22:22:42 +01:00
|
|
|
return (((it.second * mul) >> bit) & 1) == 0;
|
|
|
|
};
|
2022-02-10 09:55:32 +01:00
|
|
|
td::table_remove_if(tbl, condition);
|
|
|
|
td::table_remove_if(ref, condition);
|
2022-02-09 22:22:42 +01:00
|
|
|
});
|
|
|
|
|
2022-02-17 19:31:58 +01:00
|
|
|
td::RandomSteps runner(std::move(steps));
|
2022-02-18 21:04:25 +01:00
|
|
|
for (size_t i = 0; i < 1000000; i++) {
|
2022-02-17 19:31:58 +01:00
|
|
|
runner.step(rnd);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(FlatHashSet, stress_test) {
|
|
|
|
td::vector<td::RandomSteps::Step> steps;
|
|
|
|
auto add_step = [&steps](td::Slice, td::uint32 weight, auto f) {
|
|
|
|
steps.emplace_back(td::RandomSteps::Step{std::move(f), weight});
|
|
|
|
};
|
|
|
|
|
|
|
|
td::Random::Xorshift128plus rnd(123);
|
|
|
|
size_t max_table_size = MAX_TABLE_SIZE; // dynamic value
|
|
|
|
std::unordered_set<td::uint64> ref;
|
|
|
|
td::FlatHashSet<td::uint64> tbl;
|
|
|
|
|
|
|
|
auto validate = [&] {
|
|
|
|
ASSERT_EQ(ref.empty(), tbl.empty());
|
|
|
|
ASSERT_EQ(ref.size(), tbl.size());
|
|
|
|
ASSERT_EQ(extract_k(ref), extract_k(tbl));
|
|
|
|
};
|
|
|
|
auto gen_key = [&] {
|
|
|
|
auto key = rnd() % 4000 + 1;
|
|
|
|
return key;
|
|
|
|
};
|
|
|
|
|
|
|
|
add_step("Reset hash table", 1, [&] {
|
|
|
|
validate();
|
|
|
|
td::reset_to_empty(ref);
|
|
|
|
td::reset_to_empty(tbl);
|
|
|
|
max_table_size = rnd.fast(1, MAX_TABLE_SIZE);
|
|
|
|
});
|
|
|
|
add_step("Clear hash table", 1, [&] {
|
|
|
|
validate();
|
|
|
|
ref.clear();
|
|
|
|
tbl.clear();
|
|
|
|
max_table_size = rnd.fast(1, MAX_TABLE_SIZE);
|
|
|
|
});
|
|
|
|
|
|
|
|
add_step("Insert random value", 1000, [&] {
|
|
|
|
if (tbl.size() > max_table_size) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
auto key = gen_key();
|
|
|
|
ref.insert(key);
|
|
|
|
tbl.insert(key);
|
|
|
|
});
|
|
|
|
|
|
|
|
add_step("reserve", 10, [&] { tbl.reserve(rnd() % max_table_size); });
|
|
|
|
|
|
|
|
add_step("find", 1000, [&] {
|
|
|
|
auto key = gen_key();
|
|
|
|
auto ref_it = ref.find(key);
|
|
|
|
auto tbl_it = tbl.find(key);
|
|
|
|
ASSERT_EQ(ref_it == ref.end(), tbl_it == tbl.end());
|
|
|
|
if (ref_it != ref.end()) {
|
|
|
|
ASSERT_EQ(*ref_it, *tbl_it);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
add_step("find_and_erase", 100, [&] {
|
|
|
|
auto key = gen_key();
|
|
|
|
auto ref_it = ref.find(key);
|
|
|
|
auto tbl_it = tbl.find(key);
|
|
|
|
ASSERT_EQ(ref_it == ref.end(), tbl_it == tbl.end());
|
|
|
|
if (ref_it != ref.end()) {
|
|
|
|
ref.erase(ref_it);
|
|
|
|
tbl.erase(tbl_it);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
add_step("remove_if", 5, [&] {
|
|
|
|
auto mul = rnd();
|
|
|
|
auto bit = rnd() % 64;
|
|
|
|
auto condition = [&](auto &it) {
|
|
|
|
return (((it * mul) >> bit) & 1) == 0;
|
|
|
|
};
|
|
|
|
td::table_remove_if(tbl, condition);
|
|
|
|
td::table_remove_if(ref, condition);
|
|
|
|
});
|
|
|
|
|
2022-02-09 22:22:42 +01:00
|
|
|
td::RandomSteps runner(std::move(steps));
|
2022-02-10 12:46:05 +01:00
|
|
|
for (size_t i = 0; i < 10000000; i++) {
|
2022-02-09 22:22:42 +01:00
|
|
|
runner.step(rnd);
|
|
|
|
}
|
|
|
|
}
|