1.skiplist.cc:
insert函数中的更新节点是从下往上更新的,原因是:
插入节点的整个过程并不是原子的,在每一层插入节点才是原子的。所以有个值得注意的点是在节点插入时我们采用从下到上的方式,因为对于 SkipList 来说,key 在 SkipList 内意味着 key 一定在 level 0,所以如果从上到下插入的话可能出现幻读,即在上层查找比较的时候存在这个 key,但是当下降到 level 0 时发现这个 key 并不存在。
2.memory order:
skiplist中memory_order的分析
c++中关于memory_order的理解
3.关于Status中的复制构造函数和移动构造函数:
复制构造函数中需判断参数的成员指针是否为空,然后进行深拷贝。
operato=(const &) 中需要先销毁this中的对象,销毁之前需判断两个对象是否为同一对象,然后做深拷贝,返回*this。
移动构造函数,直接获取other对象中的指针做浅拷贝,之后将other对象的成员指针置空,避免该对象共享被多次销毁。
operator=(const&&)中直接交换两个对象中的指针成员,并返回 *this。
4.关于class中const修饰成员方法
4.1成员方法被const修饰后其内部不能调用非const的成员方法,否则编译不能通过。
4.2成员方法如果没有改变this就会被编译器自动优化为const方法,之后如果传入的this不是const的就会造成警告或者编译不通过。
5.关于template中有省略号…和特化片特化:
模板编程
6.Singleton模式
单例模式
7.forward和move
forward和move
8.block的结构:
data_block中每一个元素的组成为:
<shared_len(varint)><non_shared_len(varint)><val_len(varint)><non_shared_part>
每个restarts元素的shared部分为0。
block的组成为:
|-- > item_1
| ...
| item_n
--- restart_1
restart_2
...
restart_size
filter_block的组成为:
|filter1|
|filter2|
|filter3|
|.......|
|start of filter1|
|start of filter2|
|.......|
|end of the last filter|
|kFilterBaseLg|
9.table中的各种Iterator
在block中,先用binary search找到key所在的restarts,再在这个restarts中找到第一个大于等于key的元素。