http://blog.csdn.net/sparkliang/article/details/8635821
BlockBuilder的接口
首先从Block的构建开始,这就是BlockBuilder类,来看下BlockBuilder的函数接口,一共有5个:
- void Reset();
- void Add(const Slice& key,const Slice& value);
- Slice Finish();
- size_t CurrentSizeEstimate()const;
- bool empty() const { returnbuffer_.empty();}
主要成员变量如下:
- std::string buffer_;
- std::vector<uint32_t> restarts_;
- int counter_;
- std::string last_key_;
6.3.2 BlockBuilder::Add()
调用Add函数向当前Block中新加入一个k/v对{key, value}。函数处理逻辑如下:
S1 保证新加入的key > 已加入的任何一个key;
- assert(!finished_);
- assert(counter_ <= options_->block_restart_interval);
- assert(buffer_.empty() || options_->comparator->Compare(key,last_key_piece) > 0);
S2 如果计数器counter < opions->block_restart_interval,则使用前缀算法压缩key,否则就把key作为一个重启点,无压缩存储;
- Slice last_key_piece(last_key_);
- if (counter_ < options_->block_restart_interval) {
-
- const size_t min_length= std::min(last_key_piece.size(), key.size());
- while ((shared < min_length)&& (last_key_piece[shared] == key[shared])) {
- shared++;
- }else{
- restarts_.push_back(buffer_.size());
- counter_ = 0;
- }
S3根据上面的数据格式存储k/v对,追加到buffer中,并更新block状态。
- const size_t non_shared = key.size() - shared;
- PutVarint32(&buffer_, shared);
- PutVarint32(&buffer_, non_shared);
- PutVarint32(&buffer_, value.size());
- buffer_.append(key.data() + shared, non_shared);
- buffer_.append(value.data(), value.size());
- last_key_.resize(shared);
- last_key_.append(key.data() + shared, non_shared);
- assert(Slice(last_key_) == key);
- counter_++;
6.3.3 BlockBuilder::Finish()
调用该函数完成Block的构建,很简单,压入重启点信息,并返回buffer_,设置结束标记finished_:
- for (size_t i = 0; i < restarts_.size(); i++) {
- PutFixed32(&buffer_, restarts_[i]);
- }
- PutFixed32(&buffer_, restarts_.size());
- finished_ = true;
- return Slice(buffer_);
6.3.4 BlockBuilder::Reset() & 大小
还有Reset和CurrentSizeEstimate两个函数,Reset复位函数,清空各个信息;函数CurrentSizeEstimate返回block的预计大小,从函数实现来看,应该在调用Finish之前调用该函数。
- void BlockBuilder::Reset() {
- buffer_.clear(); restarts_.clear(); last_key_.clear();
- restarts_.push_back(0);
- counter_ = 0;
- finished_ = false;
- }
-
- size_t BlockBuilder::CurrentSizeEstimate () const {
-
- return (buffer_.size() + restarts_.size() * sizeof(uint32_t) + sizeof(uint32_t));
- }
Block的构建就这些内容了,下面开始分析Block的读取,就是类Block。
对Block的读取是由类Block完成的,先来看看其函数接口和关键成员变量。
Block只有两个函数接口,通过Iterator对象,调用者就可以遍历访问Block的存储的k/v对了;以及几个成员变量,如下:
- size_t size() const { returnsize_; }
- Iterator* NewIterator(constComparator* comparator);
-
- const char* data_;
- size_t size_;
- uint32_t restart_offset_;
- bool owned_;
Block的构造函数接受一个BlockContents对象contents初始化,BlockContents是一个有3个成员的结构体。
- >data = Slice();
- >cachable = false;
- >heap_allocated = false;
- 根据contents为成员赋值
- data_ = contents.data.data(), size_ =contents.data.size(),owned_ = contents.heap_allocated;
然后从data中解析出重启点数组,如果数据太小,或者重启点计算出错,就设置size_=0,表明该block data解析失败.
- if (size_ < sizeof(uint32_t)){
- size_ = 0;
- } else {
- restart_offset_ = size_ - (1 +NumRestarts()) * sizeof(uint32_t);
- if (restart_offset_ > size_- sizeof(uint32_t)) size_ = 0;
- }
NumRestarts()函数就是从最后的uint32解析出重启点的个数,并返回:
return DecodeFixed32(data_ +size_ - sizeof(uint32_t))
这是一个用以遍历Block内部数据的内部类,它继承了Iterator接口。函数NewIterator返回Block::Iter对象:return new Iter(cmp, data_,restart_offset_, num_restarts);
下面我们就分析Iter的实现。
主要成员变量有:
- const Comparator* constcomparator_;
- const char* const data_;
- uint32_t const restarts_;
- uint32_t const num_restarts_;
- uint32_t current_;
- uint32_t restart_index_;
下面来看看对Iterator接口的实现,简单函数略过。
>首先是Next()函数,直接调用private函数ParseNextKey()跳到下一个k/v对,函数实现如下:
S1 跳到下一个entry,其位置紧邻在当前value_之后。如果已经是最后一个entry了,返回false,标记current_为invalid。
- current_ = NextEntryOffset();
- const char* p = data_ +current_;
- const char* limit = data_ +restarts_;
- if (p >= limit) {
- current_ = restarts_;
- restart_index_ =num_restarts_;
- return false;
- }
S2 解析出entry,解析出错则设置错误状态,记录错误并返回false。解析成功则根据信息组成key和value,并更新重启点index。
- uint32_t shared, non_shared,value_length;
- p = DecodeEntry(p, limit,&shared, &non_shared, &value_length);
- if (p == NULL || key_.size()< shared) {
- CorruptionError();
- return false;
- } else {
- key_.resize(shared);
- key_.append(p, non_shared);
- value_ = Slice(p +non_shared, value_length);
- while (restart_index_ + 1< num_restarts_ && GetRestartPoint(restart_index_ + 1) < current_) {
- ++restart_index_;
- }
- return true;
- }
函数DecodeEntry从字符串[p, limit)解析出key的前缀长度、key前缀之后的字符串长度和value的长度这三个vint32值,代码很简单。
函数CorruptionError将current_和restart_index_都设置为invalid状态,并在status中设置错误状态。
函数GetRestartPoint从data中读取指定restart index的偏移值restart[index],并返回:DecodeFixed32(data_ + restarts_ +index * sizeof(uint32_t);
>接下来看看Prev函数,Previous操作分为两步:首先回到current_之前的重启点,然后再向后直到current_,实现如下:
S1首先向前回跳到在current_前面的那个重启点,并定位到重启点的k/v对开始位置。
- const uint32_t original =current_;
- while (GetRestartPoint(restart_index_)>= original) {
- if (restart_index_ == 0) {
- current_ = restarts_;
- restart_index_ =num_restarts_;
- return;
- }
- restart_index_--;
- }
- SeekToRestartPoint(restart_index_);
S2 第二步,从重启点位置开始向后遍历,直到遇到original前面的那个k/v对。
do {} while (ParseNextKey() &&NextEntryOffset() < original);
说说上面遇到的SeekToRestartPoint函数,它只是设置了几个有限的状态,其它值将在函数ParseNextKey()中设置。感觉这有点tricky,这里的value_并不是k/v对的value,而只是一个指向k/v对起始位置的0长度指针,这样后面的ParseNextKey函数将会取出重启点的k/v值。
- void SeekToRestartPoint(uint32_tindex) {
- key_.clear();
- restart_index_ = index;
-
-
- uint32_t offset =GetRestartPoint(index);
- value_ = Slice(data_ + offset,0);
- }
> SeekToFirst/Last,这两个函数都很简单,借助于前面的SeekToResartPoint函数就可以完成。
- virtual void SeekToFirst() {
- SeekToRestartPoint(0);
- ParseNextKey();
- }
-
- virtual void SeekToLast() {
- SeekToRestartPoint(num_restarts_ - 1);
- while (ParseNextKey()&& NextEntryOffset() < restarts_) {}
- }
> 最后一个Seek函数,跳到指定的target(Slice),函数逻辑如下:
S1 二分查找,找到key < target的最后一个重启点,典型的二分查找算法,代码就不再贴了。
S2 找到后,跳转到重启点,其索引由left指定,这是前面二分查找到的结果。如前面所分析的,value_指向重启点的地址,而size_指定为0,这样ParseNextKey函数将会取出重启点的k/v值。
SeekToRestartPoint(left);
S3 自重启点线性向下,直到遇到key>= target的k/v对。
- while (true) {
- if (!ParseNextKey()) return;
- if (Compare(key_, target)>= 0) return;
- }
上面就是Block::Iter的全部实现逻辑,这样Block的创建和读取遍历都已经分析完毕。
levelDB Block,布布扣,bubuko.com
levelDB Block
原文:http://www.cnblogs.com/shenzhaohai1989/p/3910726.html