深入浅出LevelDB —— 05 SSTable
本文为原创文章，转载请严格遵守CC BY-NC-SA协议。
0. 引言
SSTable（Sorted-String Table）是LevelDB中数据在稳定存储中的格式。当memtable中的数据超过一定阈值时，LevelDB会将memtable转为immutable memtable，LevelDB的后台线程会将immutable memtable通过compaction操作将其以SSTable的格式写入到稳定存储。
本文主要介绍SSTable的格式，有关compaction操作会在本系列后续的文章中介绍。
1. SSTable格式
1.1 SSTable文件格式概览
SSTable的文件格式可表示为下图：
SSTable中的数据按照功能可以分为如下几块区：
- Data Block区：存放key/value数据。
- Meta Block区：存放过滤器或当前SSTable相关的统计数据。
- MetaIndex Block：仅有1个Block，该Block中存放了所有Meta Block的索引。
- Index Block区：所有Data Block的索引。
- Footer：大小固定的一个区域（48B），该区域中有两个Handle，分别标识了MetaIndex Block区和Index Block区的偏移量与大小；文件末尾的MagicNum用来标识该文件是LevelDB的SSTable文件；剩余空间被填充为Padding。
在SSTable中，无论是Footer中的Handler，还是各种索引中的Handler，都由两个varint64编码的字段组成：offset、size。这两个字段分别标识了指向的Block的偏移量与内容大小。每个Block除了其包含的内容的数据外，还有压缩类型标识符（1B）与校验和（4B）。Handle的size字段是不包含块尾元数据（1B+4B=5B）的大小。
其中，合法的压缩类型标识符共两种：
| 压缩类型 | 值 | 描述 |
|---|---|---|
| kNoCompression | 0x0 | 不压缩。 |
| kSnappyCompression | 0x1 | 采用Snappy算法压缩。 |
1.2 Block格式
SSTable中所有的Block（content）都以下图格式组织：
从功能上，Block中可分为三个区域：
- Entry区：保存每条数据条目（通过Restart方式压缩）。
- Restart区：保存每条Restart索引（详见下文）。
- Restart Num：Restart区索引数（Fixed32编码），读取时通过该值来找到Restart区的起点。
由于SSTable中Entry常有公共前缀（特别是在不清理无效版本的level-0中），因此LevelDB对Block中的Entry进行了简单的压缩：每隔一定数量的Entry设定一个Restart Point，Restart Point后的第一条Entry完整保存（下文称其为Restart Entry）。而对于该Restart Entry到下一个Restart Point中间的Entry，只保存其与Restart Entry公共前缀后的部分，与一些用来计算长度的元数据。
这里以Data Block为例，如下图所示：
如图所示，每个Entry可分为5段，分别为：该Entry的Key与其相应的Restart Entry的公共前缀长度（Varint32编码）、该Entry的Key剩余的长度（Varint32编码）、该Entry的Value长度（Varint32）编码、该Entry的Key的非公共前缀数据（bytes）、该Entry的Value数据（bytes）。Restart区的Restart索引（Fixed32编码）分别指向每个Restart Entry的偏移量。当然，这种压缩方式适用于所有的Block，无论数据只有key还是拥有key/value，并非只有Data Block使用了这种方式。
通过这种方式，可以对频繁出现的公共前缀进行压缩。Restart Entry的间隔leveldb::Options.block_restart_interval默认为16，以平衡缓存局部性。
接下来关注SSTable中各类Block保存的数据（以下屏蔽Restart细节，仅关注Entry中的key/value）。
| Block Type | key | value | 描述 |
|---|---|---|---|
| Data Block | InternalKey Size + InternalKey | Value Size + Value | 完整数据与SkipList中Key的格式相同。 |
| Meta Block | - | - | Meta Block有多种类型，目前可分 Filter Meta Block与Stats Meta Block，分别保存当前SSTable的过滤器与统计数据。 |
| Filter Meta Block | filter.{{ Filter Name}} | BlockHandle | 该SSTable使用的过滤器名称及其索引。过滤器的实现详见下文。 |
| Stats Meta Block | 统计量名 | 统计量值 | 保存该SSTable的统计量。 |
| MetaIndex Block | Meta Block Name | BlockHandle | 用来索引所有的MetaBlock。 |
| Index Block | 相应Data Block的“最大”Key值（详见下文） | BlockHandle | 用来快速索引key在SSTable的哪个Data Block中。 |
在较早版本的LevelDB中，Index Block中的key为其相应的Data Block中最大的key。随后，LevelDB对Index Block中key的空间进行了优化。目前，该key为大于等于其相应Block的最大key，且小于下一个Data Block最小key的最短key值。对于SSTable中的最后一个Data Block的key，取大于其最后一个key的最短key值。
例如，下表给出了在一个SSTable中连续的若干Data Block的key范围（这里简化了key的格式，假设其只保存一个简单字符串）及其在Index Block中的key，其中Data Block n为该SStable的最后一个Data Block：
| Data Block | min(key) | max(key) | index key |
|---|---|---|---|
Data Block k | apple | catspaw | catq |
Data Block k+1 | catsup | dog | dog |
Data Block k+2 | dogecoin | … | … |
| … | … | … | |
Data Block n-1 | CalvinWeirFields | PaulDano | R |
Data Block n | RubyTiffanySparks | YoeKazan | Z |
从上表中可以看出，通过这种方式可以进一步压缩Index Block中key的空间。
Filter Block中存放了当前SSTable的过滤器。Filter Block中的过滤器被分为n个段，第i个过滤器是为位于文件偏移量$[i*base,(i+1)*base)$的key生成的过滤器，$base$值位于Filter Block的最后一字节处，其单位为KB，默认为2KB。
LevelDB使用的默认过滤器是布隆过滤器，其在MetaIndex Block中的名为filter.leveldb.BuiltinBloomFilter2，通过util/bloom.cc实现（哈希函数实现在util/hash.h与util/hash.cc中）。该实现生成的过滤器按最短为8字节。该布隆过滤器实现非常简单，这里不再赘述，感兴趣的读者可以自行阅读其源码。