## 1. 项目概述 ### 项目背景 本项目基于LevelDB源代码进行修改和优化。`LevelDB`使用`LSM Tree`的数据结构，是`key-value`数据库的典型。LSM树后台为了加速查询，将键值对从磁盘里读取、排序再写入，会带来50倍以上的写放大。这种对HDD有利的优化方式不适用于当下使用较多的SSD，因此我们需要对其功能进行修改和优化。 ### 实现功能 本项目要实现的内容及目的是： + **字段设计**：模仿关系型数据库，扩展`value`的结构，在`value`中多个字段，并可以通过这些字段进行查询对应的`key`，实现类似关系数据库中按列查询的功能 + **KV分离**：分离存储LevelDB的`key`和`value`，LSM树中的value为一个指向`Value Log`文件的指针，用户的真实`value`存储在`Value Log`中，减轻LSM树的存储负载，大幅度减小了读写放大的性能影响 ## 2. 功能设计 #### 2.1. 字段设计 - 设计目标 - 将 LevelDB 中的 `value` 组织成字段数组，每个数组元素对应一个字段（字段名：字段值）。 - 不改变LevelDB原有的存储方式，通过对字段数组的序列化和对字符串解析得到字段数组来实现字段功能 - 在作为key-value对存储进LevelDB之前可以任意调整字段 - 可以通过字段查询对应的key - 实现思路 - 将字段数组设计为一个class `Fields` ，其拥有对于字段进行操作的各种方法，方便对字段的修改，该类也作为 `Get` 方法和 `Put` 方法返回和插入的对象 - 根据key查询时如果指定字段名则返回对应的字段，如果未指定字段名则返回所有字段 - Put仅有value时(原本的Put方法)自动给value增加递增的字段 - 为Iterator类添加新的方法 `fields` ，用于范围查询时获得查询结果 - 对于给定的字段，遍历LevelDB得到其对应的所有keys，作为 `DB` 类的新方法 `FindKeysByField` #### 2.2. KV分离 - 设计目标 - 拓展key-value存储结构，分离key和value的存储，从而对写放大进行优化 - 不影响LevelDB原本接口的正常功能 - 分离存储Value的Value-Log需要有对应的GC(Garbage Collection)功能，在达到一定条件(如Value -Log超过大小阈值)时触发，回收Value-Log中已经失效的Value - 确保操作的原子性 - 设计思路 - 存入LSM-tree中的kv对为 `` ，value-addr保存了 `` ，对应value在vLog开始位置的便宜和value的大小 - vLog的写入可以仿照LevelDB的Memtable机制，以防止频繁的写磁盘 - vLog采用Append-Only，新数据仅在head添加，在回收时从tail处取得一块chunk，将其中有效的数据Append到head处，同时保证tail被永久保存到LSM-tree中，最后将整块chunk释放 - 为了优化GC的效率，vLog同时存储key和value，而不是仅存入value - **`(可能的优化)`** 因为vLog同时存入了key和value，因此LSM-tree不再需要log file，因为在恢复时可以通过vLog进行恢复，但对整个vLog扫描是不可取的，因此可以定期在LSM-tree中更新head(vLog的末尾)，在恢复时从该head恢复到当前vLog的最末端 ## 3. 数据结构设计 #### 3.1. 字段功能 - Field, FieldArray - ```c++ using Field = std::pair; using FieldArray = std::vector>; ``` - Fields - 封装有 `std::map` 的class，其接口在 **[4](#4. 接口/函数设计)**中详细描述，用map实现在字段较多时可以获得较高的查询效率 - FieldString - ``` FieldString遵从以下格式： field遵从以下格式: ``` #### 3.2. KV分离 - Key-Value分离结构图示： ![kv-sep](./assets/kv-sep.png) - Value Log中实际存储的内容 ： ![vLog](./assets/vLog.png) ## 4. 接口/函数设计 #### 4.1. 字段功能 - Fields - ```c++ class Fields { private: std::map _fields; public: // 从FieldArray构建Fields Fields(FieldArray field_array); // 从LevelDB存储的Value中解码出Fields Fields(std::string fields_str); ~Fields(); // 重载[]运算符简便对字段的修改和访问操作 std::string& Fields::operator[](const std::string& field_name); // 获取当前Fields对应的FieldArray FieldArray GetFieldArray(); // 将Fields编码为存入LevelDB的Value std::string Serialize(); } ``` - FindKeysByField - ```c++ // 根据字段值查找所有包含该字段的 key std::vector FindKeysByField(leveldb::DB* db, Field &field) { ... } ``` #### 4.2. KV分离 - ```c++ // 将value写入vLog，并把将要写入LSM-tree的地址返回为value_addr // 该函数在Put中被调用 void WriteValue(const Slice& key, const Slice& value, Slice& value_addr, bool sync); ``` - ```c++ // 通过value_addr从vLog中获得value并返回 void GetValue(const Slice& value_addr, Slice& value); ``` - ```c++ // ValueLog在LevelDB启动时即作为LevelDB的一个成员初始化一个实例 // 后续db都使用该实例进行ValueLog相关操作 class ValueLog { private: WriteBuff _buff; uint64_t _head; uint64_t _tail; // 将缓存内容真正写入磁盘的vLog中 bool WirteDisk(); public: ValueLog(); ~ValueLog(); // 返回vLog中head处的offset uint64_t Head(); // 返回vLog中tail处的offset uint64_t Tail(); // 将key-value对插入Value Log，返回对应的value_addr // 若用户要求同步写入，即sync为true，则立即将数据写入磁盘 Slice Append(const Slice& key, const Slice& value, bool sync); // 通过value_addr获得value，首先在buff中寻找，然后才真正访问vLog Slice Get(const Slice& value_addr); // 对ValueLog文件进行GC操作，释放空间 void GarbageCollection(uint64_t chunk_size); } ``` - ```c++ // WriteBuff的功能与Memtable极其相似，实现可以大量仿照Memtable，甚至直接使用Memtable // 因此，此处仅列出WriteBuff需要提供的两个接口，其他成员不再列出 class WriteBuff { // 向buff中插入一条value_addr-vLogValue()对 void Add(const Slice& value_addr, const Slice& key, const Slice& value); // 在buff中查询对应value_addr对应的value // 找到返回true，否则返回false bool Get(const Slice& value_addr); // 将缓存内容写入磁盘 bool WirteDisk(); } ``` ## 5. 功能测试 ### 单元测试 对于实现的代码，首先设计测试用例验证其功能的正确性。 #### 1. 字段 在这一部分中，测试用例需要考虑到能否正确存入含有多字段的`value`，并正确读取，以及是否能根据目标字段找到对应的所有`key`。 ```c++ // 测试能否正确存入和读取 TEST(TestFields, GetPutIterator) { DB *db; if(OpenDB("testdb", &db).ok() == false) { cerr << "Open DB Failed" << endl; } std::string key_1 = "k_1"; std::string key_2 = "k_2"; FieldArray field_array_1 = { {"name", "Arcueid01"}, {"address", "tYpeMuuN"}, {"phone", "122-233-4455"} }; FieldArray field_array_2 = { {"name", "Arcueid02"}, {"address", "tYpeMuuN"}, {"phone", "199-999-2004"} }; const auto fields_1 = Fields(field_array_1); const auto fields_2 = Fields(field_array_2); db->Put(WriteOptions(), key_1, fields_1); db->Put(WriteOptions(), key_2, fields_2); Fields ret; db->Get(ReadOptions(), key_1, &ret); const auto fields_ret = ret.GetFieldArray(); ASSERT_EQ(CompareVector(fields_ret, field_array_1), true); db->Get(ReadOptions(), key_2, &ret); ASSERT_EQ(ret["name"], "Arcueid02"); ASSERT_EQ(ret["address"], "tYpeMuuN"); ASSERT_EQ(ret["phone"], "199-999-2004"); auto iter = db->NewIterator(ReadOptions()); iter->SeekToFirst(); while (iter->Valid()) { auto key = iter->key().ToString(); auto fields = iter->fields(); if (key == "k_1") { ASSERT_EQ(fields["name"], "Arcueid01"); ASSERT_EQ(fields["address"], "tYpeMuuN"); ASSERT_EQ(fields["phone"], "122-233-4455"); } if (key == "k_2") { ASSERT_EQ(fields["name"], "Arcueid02"); ASSERT_EQ(fields["address"], "tYpeMuuN"); ASSERT_EQ(fields["phone"], "199-999-2004"); } iter->Next(); } delete iter; delete db; } ``` ```c++ // 测试能否根据字段查找key TEST(TestFields, SearchKey) { DB *db; if(OpenDB("testdb", &db).ok() == false) { cerr << "Open DB Failed" << endl; } std::vector keys_have_field = {"k_1", "k_3"}; std::vector keys_wo_field = {"k_2", "k_4"}; Field field_test = {"test_name", "Harry"}; FieldArray field_array_have_field = { {"name", "Arcueid"}, {"address", "tYpeMuuN"}, {"phone", "122-233-4455"}, field_test }; FieldArray field_array_wo_field = { {"name", "Arcueid"}, {"address", "tYpeMuuN"}, {"phone", "122-233-4455"}}; const auto fields_have_field = Fields(field_array_have_field); const auto fields_wo_field = Fields(field_array_wo_field); for(const auto& key : keys_have_field){ db->Put(WriteOptions(), key, fields_have_field); } for (const auto& key : keys_wo_field) { db->Put(WriteOptions(), key, fields_wo_field); } const std::vector key_ret = db->FindKeysByField(field_test); ASSERT_EQ(CompareVector(key_ret, keys_have_field), true); } ``` #### 2. KV分离 ```c++ // 测试KV分离的写入与读取的正确性 TEST(TestKVSeparate, PutGetIterator){ std::string key = "k_1"; std::string value = "ar"; std::value_addr; db->Put(WriteOptions(), key, value, &value_addr); // 测试能否通过存储的value_addr读取对应vlog中存储信息 std::value value_ret; GetValue(&value_addr, &value_ret); assert(value_ret == value); // 测试能否直接通过key读取对应value db->Get(ReadOptions(), key, &value_ret); assert(value_ret == value); } ``` ### 性能测试 Benchmark 设计代码测试读、写、扫描、字段查询等操作的**吞吐量、延迟和写放大**情况，反映LevelDB的性能。 ```c++ // 测试吞吐量 void TestThroughput(leveldb::DB* db, int num_operations) { auto start_time = std::chrono::steady_clock::now(); for (int i = 0; i < num_operations; ++i) { // Operations } auto end_time = std::chrono::steady_clock::now(); auto duration = chrono::duration_cast( end_time - start_time).count(); cout << "Throughput: " << num_operations * 1000 / duration << " OPS" << endl; } ``` ```c++ // 测试延迟 void TestLatency(leveldb::DB* db, int num_operations, std::vector &lat_res) { int64_t latency = 0; auto end_time = std::chrono::steady_clock::now(); auto last_time = end_time; for (int i = 0; i < num_operations; ++i) { // Operations end_time = std::chrono::steady_clock::now(); latency = std::chrono::duration_cast( end_time - last_time).count(); last_time = end_time; lat_res.emplace_back(latency); } } ``` 对于写放大，通过LevelDB的log信息计算系统的写放大。 ## 6. 可能遇到的挑战与解决方案 ### 字段设计可能的问题 + 字段数量过多可能导致存储结构复杂，更改字段时性能下降 + 字段可能包含多种类型，增加解析复杂性 + 不同字段大小差异大，导致读写性能下降 ### KV分离可能的问题 + 数据一致性：Key和Value存储位置不同，写入或删除时需要保证一致性 + 系统崩溃、磁盘损坏等可能导致分离存储的Value丢失 + 分离存储的Value文件的大小优先，如何合适地存储超大Value + 分离存储导致读写时需要经过索引，读写放大产生性能影响 #### 解决方案待定 ## 7. 分工和进度安排 | 功能 | 完成日期 | 分工| | :------: | :-----: | :-----:| | Fields类和相关接口实现 | 12月1日 | 韩晨旭 | | 修改LevelDB接口实现字段功能 | 12月1日 | 李畅 | | ValueLog类相关接口实现 | 12月19日 | 李畅 | | WriteBuff类相关接口实现 | 12月19日 | 韩晨旭 | | 吞吐量测试 | 12月26日 | 韩晨旭 | | 延迟测试 | 12月26日 | 李畅 | | 写放大测试对比 | 12月26日 | 韩晨旭、李畅 | | 尝试对系统性能进行优化 | 1月4日 | 韩晨旭、李畅 |