cuckoo_table_builder_test.cc 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662
  1. // Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
  2. // This source code is licensed under both the GPLv2 (found in the
  3. // COPYING file in the root directory) and Apache 2.0 License
  4. // (found in the LICENSE.Apache file in the root directory).
  5. #ifndef ROCKSDB_LITE
  6. #include <vector>
  7. #include <string>
  8. #include <map>
  9. #include <utility>
  10. #include "file/random_access_file_reader.h"
  11. #include "file/writable_file_writer.h"
  12. #include "table/cuckoo/cuckoo_table_builder.h"
  13. #include "table/meta_blocks.h"
  14. #include "test_util/testharness.h"
  15. #include "test_util/testutil.h"
  16. namespace ROCKSDB_NAMESPACE {
  17. extern const uint64_t kCuckooTableMagicNumber;
  18. namespace {
  19. std::unordered_map<std::string, std::vector<uint64_t>> hash_map;
  20. uint64_t GetSliceHash(const Slice& s, uint32_t index,
  21. uint64_t /*max_num_buckets*/) {
  22. return hash_map[s.ToString()][index];
  23. }
  24. } // namespace
  25. class CuckooBuilderTest : public testing::Test {
  26. public:
  27. CuckooBuilderTest() {
  28. env_ = Env::Default();
  29. Options options;
  30. options.allow_mmap_reads = true;
  31. env_options_ = EnvOptions(options);
  32. }
  33. void CheckFileContents(const std::vector<std::string>& keys,
  34. const std::vector<std::string>& values,
  35. const std::vector<uint64_t>& expected_locations,
  36. std::string expected_unused_bucket, uint64_t expected_table_size,
  37. uint32_t expected_num_hash_func, bool expected_is_last_level,
  38. uint32_t expected_cuckoo_block_size = 1) {
  39. uint64_t num_deletions = 0;
  40. for (const auto& key : keys) {
  41. ParsedInternalKey parsed;
  42. if (ParseInternalKey(key, &parsed) && parsed.type == kTypeDeletion) {
  43. num_deletions++;
  44. }
  45. }
  46. // Read file
  47. std::unique_ptr<RandomAccessFile> read_file;
  48. ASSERT_OK(env_->NewRandomAccessFile(fname, &read_file, env_options_));
  49. uint64_t read_file_size;
  50. ASSERT_OK(env_->GetFileSize(fname, &read_file_size));
  51. // @lint-ignore TXT2 T25377293 Grandfathered in
  52. Options options;
  53. options.allow_mmap_reads = true;
  54. ImmutableCFOptions ioptions(options);
  55. // Assert Table Properties.
  56. TableProperties* props = nullptr;
  57. std::unique_ptr<RandomAccessFileReader> file_reader(
  58. new RandomAccessFileReader(NewLegacyRandomAccessFileWrapper(read_file),
  59. fname));
  60. ASSERT_OK(ReadTableProperties(file_reader.get(), read_file_size,
  61. kCuckooTableMagicNumber, ioptions,
  62. &props, true /* compression_type_missing */));
  63. // Check unused bucket.
  64. std::string unused_key = props->user_collected_properties[
  65. CuckooTablePropertyNames::kEmptyKey];
  66. ASSERT_EQ(expected_unused_bucket.substr(0,
  67. props->fixed_key_len), unused_key);
  68. uint64_t value_len_found =
  69. *reinterpret_cast<const uint64_t*>(props->user_collected_properties[
  70. CuckooTablePropertyNames::kValueLength].data());
  71. ASSERT_EQ(values.empty() ? 0 : values[0].size(), value_len_found);
  72. ASSERT_EQ(props->raw_value_size, values.size()*value_len_found);
  73. const uint64_t table_size =
  74. *reinterpret_cast<const uint64_t*>(props->user_collected_properties[
  75. CuckooTablePropertyNames::kHashTableSize].data());
  76. ASSERT_EQ(expected_table_size, table_size);
  77. const uint32_t num_hash_func_found =
  78. *reinterpret_cast<const uint32_t*>(props->user_collected_properties[
  79. CuckooTablePropertyNames::kNumHashFunc].data());
  80. ASSERT_EQ(expected_num_hash_func, num_hash_func_found);
  81. const uint32_t cuckoo_block_size =
  82. *reinterpret_cast<const uint32_t*>(props->user_collected_properties[
  83. CuckooTablePropertyNames::kCuckooBlockSize].data());
  84. ASSERT_EQ(expected_cuckoo_block_size, cuckoo_block_size);
  85. const bool is_last_level_found =
  86. *reinterpret_cast<const bool*>(props->user_collected_properties[
  87. CuckooTablePropertyNames::kIsLastLevel].data());
  88. ASSERT_EQ(expected_is_last_level, is_last_level_found);
  89. ASSERT_EQ(props->num_entries, keys.size());
  90. ASSERT_EQ(props->num_deletions, num_deletions);
  91. ASSERT_EQ(props->fixed_key_len, keys.empty() ? 0 : keys[0].size());
  92. ASSERT_EQ(props->data_size, expected_unused_bucket.size() *
  93. (expected_table_size + expected_cuckoo_block_size - 1));
  94. ASSERT_EQ(props->raw_key_size, keys.size()*props->fixed_key_len);
  95. ASSERT_EQ(props->column_family_id, 0);
  96. ASSERT_EQ(props->column_family_name, kDefaultColumnFamilyName);
  97. delete props;
  98. // Check contents of the bucket.
  99. std::vector<bool> keys_found(keys.size(), false);
  100. size_t bucket_size = expected_unused_bucket.size();
  101. for (uint32_t i = 0; i < table_size + cuckoo_block_size - 1; ++i) {
  102. Slice read_slice;
  103. ASSERT_OK(file_reader->Read(i * bucket_size, bucket_size, &read_slice,
  104. nullptr));
  105. size_t key_idx =
  106. std::find(expected_locations.begin(), expected_locations.end(), i) -
  107. expected_locations.begin();
  108. if (key_idx == keys.size()) {
  109. // i is not one of the expected locations. Empty bucket.
  110. if (read_slice.data() == nullptr) {
  111. ASSERT_EQ(0, expected_unused_bucket.size());
  112. } else {
  113. ASSERT_EQ(read_slice.compare(expected_unused_bucket), 0);
  114. }
  115. } else {
  116. keys_found[key_idx] = true;
  117. ASSERT_EQ(read_slice.compare(keys[key_idx] + values[key_idx]), 0);
  118. }
  119. }
  120. for (auto key_found : keys_found) {
  121. // Check that all keys wereReader found.
  122. ASSERT_TRUE(key_found);
  123. }
  124. }
  125. std::string GetInternalKey(Slice user_key, bool zero_seqno,
  126. ValueType type = kTypeValue) {
  127. IterKey ikey;
  128. ikey.SetInternalKey(user_key, zero_seqno ? 0 : 1000, type);
  129. return ikey.GetInternalKey().ToString();
  130. }
  131. uint64_t NextPowOf2(uint64_t num) {
  132. uint64_t n = 2;
  133. while (n <= num) {
  134. n *= 2;
  135. }
  136. return n;
  137. }
  138. uint64_t GetExpectedTableSize(uint64_t num) {
  139. return NextPowOf2(static_cast<uint64_t>(num / kHashTableRatio));
  140. }
  141. Env* env_;
  142. EnvOptions env_options_;
  143. std::string fname;
  144. const double kHashTableRatio = 0.9;
  145. };
  146. TEST_F(CuckooBuilderTest, SuccessWithEmptyFile) {
  147. std::unique_ptr<WritableFile> writable_file;
  148. fname = test::PerThreadDBPath("EmptyFile");
  149. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  150. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  151. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  152. EnvOptions()));
  153. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, 4, 100,
  154. BytewiseComparator(), 1, false, false,
  155. GetSliceHash, 0 /* column_family_id */,
  156. kDefaultColumnFamilyName);
  157. ASSERT_OK(builder.status());
  158. ASSERT_EQ(0UL, builder.FileSize());
  159. ASSERT_OK(builder.Finish());
  160. ASSERT_OK(file_writer->Close());
  161. CheckFileContents({}, {}, {}, "", 2, 2, false);
  162. }
  163. TEST_F(CuckooBuilderTest, WriteSuccessNoCollisionFullKey) {
  164. for (auto type : {kTypeValue, kTypeDeletion}) {
  165. uint32_t num_hash_fun = 4;
  166. std::vector<std::string> user_keys = {"key01", "key02", "key03", "key04"};
  167. std::vector<std::string> values;
  168. if (type == kTypeValue) {
  169. values = {"v01", "v02", "v03", "v04"};
  170. } else {
  171. values = {"", "", "", ""};
  172. }
  173. // Need to have a temporary variable here as VS compiler does not currently
  174. // support operator= with initializer_list as a parameter
  175. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  176. {user_keys[0], {0, 1, 2, 3}},
  177. {user_keys[1], {1, 2, 3, 4}},
  178. {user_keys[2], {2, 3, 4, 5}},
  179. {user_keys[3], {3, 4, 5, 6}}};
  180. hash_map = std::move(hm);
  181. std::vector<uint64_t> expected_locations = {0, 1, 2, 3};
  182. std::vector<std::string> keys;
  183. for (auto& user_key : user_keys) {
  184. keys.push_back(GetInternalKey(user_key, false, type));
  185. }
  186. uint64_t expected_table_size = GetExpectedTableSize(keys.size());
  187. std::unique_ptr<WritableFile> writable_file;
  188. fname = test::PerThreadDBPath("NoCollisionFullKey");
  189. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  190. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  191. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  192. EnvOptions()));
  193. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  194. 100, BytewiseComparator(), 1, false, false,
  195. GetSliceHash, 0 /* column_family_id */,
  196. kDefaultColumnFamilyName);
  197. ASSERT_OK(builder.status());
  198. for (uint32_t i = 0; i < user_keys.size(); i++) {
  199. builder.Add(Slice(keys[i]), Slice(values[i]));
  200. ASSERT_EQ(builder.NumEntries(), i + 1);
  201. ASSERT_OK(builder.status());
  202. }
  203. size_t bucket_size = keys[0].size() + values[0].size();
  204. ASSERT_EQ(expected_table_size * bucket_size - 1, builder.FileSize());
  205. ASSERT_OK(builder.Finish());
  206. ASSERT_OK(file_writer->Close());
  207. ASSERT_LE(expected_table_size * bucket_size, builder.FileSize());
  208. std::string expected_unused_bucket = GetInternalKey("key00", true);
  209. expected_unused_bucket += std::string(values[0].size(), 'a');
  210. CheckFileContents(keys, values, expected_locations, expected_unused_bucket,
  211. expected_table_size, 2, false);
  212. }
  213. }
  214. TEST_F(CuckooBuilderTest, WriteSuccessWithCollisionFullKey) {
  215. uint32_t num_hash_fun = 4;
  216. std::vector<std::string> user_keys = {"key01", "key02", "key03", "key04"};
  217. std::vector<std::string> values = {"v01", "v02", "v03", "v04"};
  218. // Need to have a temporary variable here as VS compiler does not currently
  219. // support operator= with initializer_list as a parameter
  220. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  221. {user_keys[0], {0, 1, 2, 3}},
  222. {user_keys[1], {0, 1, 2, 3}},
  223. {user_keys[2], {0, 1, 2, 3}},
  224. {user_keys[3], {0, 1, 2, 3}},
  225. };
  226. hash_map = std::move(hm);
  227. std::vector<uint64_t> expected_locations = {0, 1, 2, 3};
  228. std::vector<std::string> keys;
  229. for (auto& user_key : user_keys) {
  230. keys.push_back(GetInternalKey(user_key, false));
  231. }
  232. uint64_t expected_table_size = GetExpectedTableSize(keys.size());
  233. std::unique_ptr<WritableFile> writable_file;
  234. fname = test::PerThreadDBPath("WithCollisionFullKey");
  235. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  236. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  237. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  238. EnvOptions()));
  239. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  240. 100, BytewiseComparator(), 1, false, false,
  241. GetSliceHash, 0 /* column_family_id */,
  242. kDefaultColumnFamilyName);
  243. ASSERT_OK(builder.status());
  244. for (uint32_t i = 0; i < user_keys.size(); i++) {
  245. builder.Add(Slice(keys[i]), Slice(values[i]));
  246. ASSERT_EQ(builder.NumEntries(), i + 1);
  247. ASSERT_OK(builder.status());
  248. }
  249. size_t bucket_size = keys[0].size() + values[0].size();
  250. ASSERT_EQ(expected_table_size * bucket_size - 1, builder.FileSize());
  251. ASSERT_OK(builder.Finish());
  252. ASSERT_OK(file_writer->Close());
  253. ASSERT_LE(expected_table_size * bucket_size, builder.FileSize());
  254. std::string expected_unused_bucket = GetInternalKey("key00", true);
  255. expected_unused_bucket += std::string(values[0].size(), 'a');
  256. CheckFileContents(keys, values, expected_locations,
  257. expected_unused_bucket, expected_table_size, 4, false);
  258. }
  259. TEST_F(CuckooBuilderTest, WriteSuccessWithCollisionAndCuckooBlock) {
  260. uint32_t num_hash_fun = 4;
  261. std::vector<std::string> user_keys = {"key01", "key02", "key03", "key04"};
  262. std::vector<std::string> values = {"v01", "v02", "v03", "v04"};
  263. // Need to have a temporary variable here as VS compiler does not currently
  264. // support operator= with initializer_list as a parameter
  265. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  266. {user_keys[0], {0, 1, 2, 3}},
  267. {user_keys[1], {0, 1, 2, 3}},
  268. {user_keys[2], {0, 1, 2, 3}},
  269. {user_keys[3], {0, 1, 2, 3}},
  270. };
  271. hash_map = std::move(hm);
  272. std::vector<uint64_t> expected_locations = {0, 1, 2, 3};
  273. std::vector<std::string> keys;
  274. for (auto& user_key : user_keys) {
  275. keys.push_back(GetInternalKey(user_key, false));
  276. }
  277. uint64_t expected_table_size = GetExpectedTableSize(keys.size());
  278. std::unique_ptr<WritableFile> writable_file;
  279. uint32_t cuckoo_block_size = 2;
  280. fname = test::PerThreadDBPath("WithCollisionFullKey2");
  281. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  282. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  283. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  284. EnvOptions()));
  285. CuckooTableBuilder builder(
  286. file_writer.get(), kHashTableRatio, num_hash_fun, 100,
  287. BytewiseComparator(), cuckoo_block_size, false, false, GetSliceHash,
  288. 0 /* column_family_id */, kDefaultColumnFamilyName);
  289. ASSERT_OK(builder.status());
  290. for (uint32_t i = 0; i < user_keys.size(); i++) {
  291. builder.Add(Slice(keys[i]), Slice(values[i]));
  292. ASSERT_EQ(builder.NumEntries(), i + 1);
  293. ASSERT_OK(builder.status());
  294. }
  295. size_t bucket_size = keys[0].size() + values[0].size();
  296. ASSERT_EQ(expected_table_size * bucket_size - 1, builder.FileSize());
  297. ASSERT_OK(builder.Finish());
  298. ASSERT_OK(file_writer->Close());
  299. ASSERT_LE(expected_table_size * bucket_size, builder.FileSize());
  300. std::string expected_unused_bucket = GetInternalKey("key00", true);
  301. expected_unused_bucket += std::string(values[0].size(), 'a');
  302. CheckFileContents(keys, values, expected_locations,
  303. expected_unused_bucket, expected_table_size, 3, false, cuckoo_block_size);
  304. }
  305. TEST_F(CuckooBuilderTest, WithCollisionPathFullKey) {
  306. // Have two hash functions. Insert elements with overlapping hashes.
  307. // Finally insert an element with hash value somewhere in the middle
  308. // so that it displaces all the elements after that.
  309. uint32_t num_hash_fun = 2;
  310. std::vector<std::string> user_keys = {"key01", "key02", "key03",
  311. "key04", "key05"};
  312. std::vector<std::string> values = {"v01", "v02", "v03", "v04", "v05"};
  313. // Need to have a temporary variable here as VS compiler does not currently
  314. // support operator= with initializer_list as a parameter
  315. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  316. {user_keys[0], {0, 1}},
  317. {user_keys[1], {1, 2}},
  318. {user_keys[2], {2, 3}},
  319. {user_keys[3], {3, 4}},
  320. {user_keys[4], {0, 2}},
  321. };
  322. hash_map = std::move(hm);
  323. std::vector<uint64_t> expected_locations = {0, 1, 3, 4, 2};
  324. std::vector<std::string> keys;
  325. for (auto& user_key : user_keys) {
  326. keys.push_back(GetInternalKey(user_key, false));
  327. }
  328. uint64_t expected_table_size = GetExpectedTableSize(keys.size());
  329. std::unique_ptr<WritableFile> writable_file;
  330. fname = test::PerThreadDBPath("WithCollisionPathFullKey");
  331. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  332. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  333. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  334. EnvOptions()));
  335. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  336. 100, BytewiseComparator(), 1, false, false,
  337. GetSliceHash, 0 /* column_family_id */,
  338. kDefaultColumnFamilyName);
  339. ASSERT_OK(builder.status());
  340. for (uint32_t i = 0; i < user_keys.size(); i++) {
  341. builder.Add(Slice(keys[i]), Slice(values[i]));
  342. ASSERT_EQ(builder.NumEntries(), i + 1);
  343. ASSERT_OK(builder.status());
  344. }
  345. size_t bucket_size = keys[0].size() + values[0].size();
  346. ASSERT_EQ(expected_table_size * bucket_size - 1, builder.FileSize());
  347. ASSERT_OK(builder.Finish());
  348. ASSERT_OK(file_writer->Close());
  349. ASSERT_LE(expected_table_size * bucket_size, builder.FileSize());
  350. std::string expected_unused_bucket = GetInternalKey("key00", true);
  351. expected_unused_bucket += std::string(values[0].size(), 'a');
  352. CheckFileContents(keys, values, expected_locations,
  353. expected_unused_bucket, expected_table_size, 2, false);
  354. }
  355. TEST_F(CuckooBuilderTest, WithCollisionPathFullKeyAndCuckooBlock) {
  356. uint32_t num_hash_fun = 2;
  357. std::vector<std::string> user_keys = {"key01", "key02", "key03",
  358. "key04", "key05"};
  359. std::vector<std::string> values = {"v01", "v02", "v03", "v04", "v05"};
  360. // Need to have a temporary variable here as VS compiler does not currently
  361. // support operator= with initializer_list as a parameter
  362. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  363. {user_keys[0], {0, 1}},
  364. {user_keys[1], {1, 2}},
  365. {user_keys[2], {3, 4}},
  366. {user_keys[3], {4, 5}},
  367. {user_keys[4], {0, 3}},
  368. };
  369. hash_map = std::move(hm);
  370. std::vector<uint64_t> expected_locations = {2, 1, 3, 4, 0};
  371. std::vector<std::string> keys;
  372. for (auto& user_key : user_keys) {
  373. keys.push_back(GetInternalKey(user_key, false));
  374. }
  375. uint64_t expected_table_size = GetExpectedTableSize(keys.size());
  376. std::unique_ptr<WritableFile> writable_file;
  377. fname = test::PerThreadDBPath("WithCollisionPathFullKeyAndCuckooBlock");
  378. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  379. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  380. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  381. EnvOptions()));
  382. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  383. 100, BytewiseComparator(), 2, false, false,
  384. GetSliceHash, 0 /* column_family_id */,
  385. kDefaultColumnFamilyName);
  386. ASSERT_OK(builder.status());
  387. for (uint32_t i = 0; i < user_keys.size(); i++) {
  388. builder.Add(Slice(keys[i]), Slice(values[i]));
  389. ASSERT_EQ(builder.NumEntries(), i + 1);
  390. ASSERT_OK(builder.status());
  391. }
  392. size_t bucket_size = keys[0].size() + values[0].size();
  393. ASSERT_EQ(expected_table_size * bucket_size - 1, builder.FileSize());
  394. ASSERT_OK(builder.Finish());
  395. ASSERT_OK(file_writer->Close());
  396. ASSERT_LE(expected_table_size * bucket_size, builder.FileSize());
  397. std::string expected_unused_bucket = GetInternalKey("key00", true);
  398. expected_unused_bucket += std::string(values[0].size(), 'a');
  399. CheckFileContents(keys, values, expected_locations,
  400. expected_unused_bucket, expected_table_size, 2, false, 2);
  401. }
  402. TEST_F(CuckooBuilderTest, WriteSuccessNoCollisionUserKey) {
  403. uint32_t num_hash_fun = 4;
  404. std::vector<std::string> user_keys = {"key01", "key02", "key03", "key04"};
  405. std::vector<std::string> values = {"v01", "v02", "v03", "v04"};
  406. // Need to have a temporary variable here as VS compiler does not currently
  407. // support operator= with initializer_list as a parameter
  408. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  409. {user_keys[0], {0, 1, 2, 3}},
  410. {user_keys[1], {1, 2, 3, 4}},
  411. {user_keys[2], {2, 3, 4, 5}},
  412. {user_keys[3], {3, 4, 5, 6}}};
  413. hash_map = std::move(hm);
  414. std::vector<uint64_t> expected_locations = {0, 1, 2, 3};
  415. uint64_t expected_table_size = GetExpectedTableSize(user_keys.size());
  416. std::unique_ptr<WritableFile> writable_file;
  417. fname = test::PerThreadDBPath("NoCollisionUserKey");
  418. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  419. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  420. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  421. EnvOptions()));
  422. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  423. 100, BytewiseComparator(), 1, false, false,
  424. GetSliceHash, 0 /* column_family_id */,
  425. kDefaultColumnFamilyName);
  426. ASSERT_OK(builder.status());
  427. for (uint32_t i = 0; i < user_keys.size(); i++) {
  428. builder.Add(Slice(GetInternalKey(user_keys[i], true)), Slice(values[i]));
  429. ASSERT_EQ(builder.NumEntries(), i + 1);
  430. ASSERT_OK(builder.status());
  431. }
  432. size_t bucket_size = user_keys[0].size() + values[0].size();
  433. ASSERT_EQ(expected_table_size * bucket_size - 1, builder.FileSize());
  434. ASSERT_OK(builder.Finish());
  435. ASSERT_OK(file_writer->Close());
  436. ASSERT_LE(expected_table_size * bucket_size, builder.FileSize());
  437. std::string expected_unused_bucket = "key00";
  438. expected_unused_bucket += std::string(values[0].size(), 'a');
  439. CheckFileContents(user_keys, values, expected_locations,
  440. expected_unused_bucket, expected_table_size, 2, true);
  441. }
  442. TEST_F(CuckooBuilderTest, WriteSuccessWithCollisionUserKey) {
  443. uint32_t num_hash_fun = 4;
  444. std::vector<std::string> user_keys = {"key01", "key02", "key03", "key04"};
  445. std::vector<std::string> values = {"v01", "v02", "v03", "v04"};
  446. // Need to have a temporary variable here as VS compiler does not currently
  447. // support operator= with initializer_list as a parameter
  448. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  449. {user_keys[0], {0, 1, 2, 3}},
  450. {user_keys[1], {0, 1, 2, 3}},
  451. {user_keys[2], {0, 1, 2, 3}},
  452. {user_keys[3], {0, 1, 2, 3}},
  453. };
  454. hash_map = std::move(hm);
  455. std::vector<uint64_t> expected_locations = {0, 1, 2, 3};
  456. uint64_t expected_table_size = GetExpectedTableSize(user_keys.size());
  457. std::unique_ptr<WritableFile> writable_file;
  458. fname = test::PerThreadDBPath("WithCollisionUserKey");
  459. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  460. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  461. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  462. EnvOptions()));
  463. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  464. 100, BytewiseComparator(), 1, false, false,
  465. GetSliceHash, 0 /* column_family_id */,
  466. kDefaultColumnFamilyName);
  467. ASSERT_OK(builder.status());
  468. for (uint32_t i = 0; i < user_keys.size(); i++) {
  469. builder.Add(Slice(GetInternalKey(user_keys[i], true)), Slice(values[i]));
  470. ASSERT_EQ(builder.NumEntries(), i + 1);
  471. ASSERT_OK(builder.status());
  472. }
  473. size_t bucket_size = user_keys[0].size() + values[0].size();
  474. ASSERT_EQ(expected_table_size * bucket_size - 1, builder.FileSize());
  475. ASSERT_OK(builder.Finish());
  476. ASSERT_OK(file_writer->Close());
  477. ASSERT_LE(expected_table_size * bucket_size, builder.FileSize());
  478. std::string expected_unused_bucket = "key00";
  479. expected_unused_bucket += std::string(values[0].size(), 'a');
  480. CheckFileContents(user_keys, values, expected_locations,
  481. expected_unused_bucket, expected_table_size, 4, true);
  482. }
  483. TEST_F(CuckooBuilderTest, WithCollisionPathUserKey) {
  484. uint32_t num_hash_fun = 2;
  485. std::vector<std::string> user_keys = {"key01", "key02", "key03",
  486. "key04", "key05"};
  487. std::vector<std::string> values = {"v01", "v02", "v03", "v04", "v05"};
  488. // Need to have a temporary variable here as VS compiler does not currently
  489. // support operator= with initializer_list as a parameter
  490. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  491. {user_keys[0], {0, 1}},
  492. {user_keys[1], {1, 2}},
  493. {user_keys[2], {2, 3}},
  494. {user_keys[3], {3, 4}},
  495. {user_keys[4], {0, 2}},
  496. };
  497. hash_map = std::move(hm);
  498. std::vector<uint64_t> expected_locations = {0, 1, 3, 4, 2};
  499. uint64_t expected_table_size = GetExpectedTableSize(user_keys.size());
  500. std::unique_ptr<WritableFile> writable_file;
  501. fname = test::PerThreadDBPath("WithCollisionPathUserKey");
  502. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  503. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  504. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  505. EnvOptions()));
  506. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  507. 2, BytewiseComparator(), 1, false, false,
  508. GetSliceHash, 0 /* column_family_id */,
  509. kDefaultColumnFamilyName);
  510. ASSERT_OK(builder.status());
  511. for (uint32_t i = 0; i < user_keys.size(); i++) {
  512. builder.Add(Slice(GetInternalKey(user_keys[i], true)), Slice(values[i]));
  513. ASSERT_EQ(builder.NumEntries(), i + 1);
  514. ASSERT_OK(builder.status());
  515. }
  516. size_t bucket_size = user_keys[0].size() + values[0].size();
  517. ASSERT_EQ(expected_table_size * bucket_size - 1, builder.FileSize());
  518. ASSERT_OK(builder.Finish());
  519. ASSERT_OK(file_writer->Close());
  520. ASSERT_LE(expected_table_size * bucket_size, builder.FileSize());
  521. std::string expected_unused_bucket = "key00";
  522. expected_unused_bucket += std::string(values[0].size(), 'a');
  523. CheckFileContents(user_keys, values, expected_locations,
  524. expected_unused_bucket, expected_table_size, 2, true);
  525. }
  526. TEST_F(CuckooBuilderTest, FailWhenCollisionPathTooLong) {
  527. // Have two hash functions. Insert elements with overlapping hashes.
  528. // Finally try inserting an element with hash value somewhere in the middle
  529. // and it should fail because the no. of elements to displace is too high.
  530. uint32_t num_hash_fun = 2;
  531. std::vector<std::string> user_keys = {"key01", "key02", "key03",
  532. "key04", "key05"};
  533. // Need to have a temporary variable here as VS compiler does not currently
  534. // support operator= with initializer_list as a parameter
  535. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  536. {user_keys[0], {0, 1}},
  537. {user_keys[1], {1, 2}},
  538. {user_keys[2], {2, 3}},
  539. {user_keys[3], {3, 4}},
  540. {user_keys[4], {0, 1}},
  541. };
  542. hash_map = std::move(hm);
  543. std::unique_ptr<WritableFile> writable_file;
  544. fname = test::PerThreadDBPath("WithCollisionPathUserKey");
  545. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  546. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  547. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  548. EnvOptions()));
  549. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  550. 2, BytewiseComparator(), 1, false, false,
  551. GetSliceHash, 0 /* column_family_id */,
  552. kDefaultColumnFamilyName);
  553. ASSERT_OK(builder.status());
  554. for (uint32_t i = 0; i < user_keys.size(); i++) {
  555. builder.Add(Slice(GetInternalKey(user_keys[i], false)), Slice("value"));
  556. ASSERT_EQ(builder.NumEntries(), i + 1);
  557. ASSERT_OK(builder.status());
  558. }
  559. ASSERT_TRUE(builder.Finish().IsNotSupported());
  560. ASSERT_OK(file_writer->Close());
  561. }
  562. TEST_F(CuckooBuilderTest, FailWhenSameKeyInserted) {
  563. // Need to have a temporary variable here as VS compiler does not currently
  564. // support operator= with initializer_list as a parameter
  565. std::unordered_map<std::string, std::vector<uint64_t>> hm = {
  566. {"repeatedkey", {0, 1, 2, 3}}};
  567. hash_map = std::move(hm);
  568. uint32_t num_hash_fun = 4;
  569. std::string user_key = "repeatedkey";
  570. std::unique_ptr<WritableFile> writable_file;
  571. fname = test::PerThreadDBPath("FailWhenSameKeyInserted");
  572. ASSERT_OK(env_->NewWritableFile(fname, &writable_file, env_options_));
  573. std::unique_ptr<WritableFileWriter> file_writer(new WritableFileWriter(
  574. NewLegacyWritableFileWrapper(std::move(writable_file)), fname,
  575. EnvOptions()));
  576. CuckooTableBuilder builder(file_writer.get(), kHashTableRatio, num_hash_fun,
  577. 100, BytewiseComparator(), 1, false, false,
  578. GetSliceHash, 0 /* column_family_id */,
  579. kDefaultColumnFamilyName);
  580. ASSERT_OK(builder.status());
  581. builder.Add(Slice(GetInternalKey(user_key, false)), Slice("value1"));
  582. ASSERT_EQ(builder.NumEntries(), 1u);
  583. ASSERT_OK(builder.status());
  584. builder.Add(Slice(GetInternalKey(user_key, true)), Slice("value2"));
  585. ASSERT_EQ(builder.NumEntries(), 2u);
  586. ASSERT_OK(builder.status());
  587. ASSERT_TRUE(builder.Finish().IsNotSupported());
  588. ASSERT_OK(file_writer->Close());
  589. }
  590. } // namespace ROCKSDB_NAMESPACE
  591. int main(int argc, char** argv) {
  592. ::testing::InitGoogleTest(&argc, argv);
  593. return RUN_ALL_TESTS();
  594. }
  595. #else
  596. #include <stdio.h>
  597. int main(int /*argc*/, char** /*argv*/) {
  598. fprintf(stderr, "SKIPPED as Cuckoo table is not supported in ROCKSDB_LITE\n");
  599. return 0;
  600. }
  601. #endif // ROCKSDB_LITE