大多数人追寻永恒的家园(归宿)&＃xff0c;少数人追寻永恒的航向。 ----瓦尔特.本雅明

背景

X-Engine是阿里数据库产品事业部自研的OLTP数据库存储引擎&＃xff0c;作为自研数据库POLARDB X的存储引擎&＃xff0c;已经广泛应用在阿里集团内部诸多业务系统中&＃xff0c;其中包括交易历史库&＃xff0c;钉钉历史库等核心应用&＃xff0c;为业务大幅缩减了成本&＃xff0c;同时也作为双十一大促的关键数据库技术&＃xff0c;挺过了数百倍平时流量的冲击。

X-Engine团队撰写的论文"X-Engine: An Optimized Storage Engine for Large-scale E-Commerce Transaction Processing"&＃xff0c;详细讲述了我们在数据库存储引擎上所做的原创性工作&＃xff0c;今年早些时候已经被SIGMOD&＃39;19 Industrial Track接收。SIGMOD是数据库领域最重要也是最有影响力的会议之一&＃xff0c;今年6月底即将在荷兰阿姆斯特丹举行&＃xff0c;届时&＃xff0c;X-Engine团队的程训焘博士将会在会议上做一个分享&＃xff0c;欢迎大家前来探讨。

本文目的是对这篇论文做一个前导性分析&＃xff0c;帮助读者更好的理解其中的细节。

数据库存储引擎是一个有历史的技术&＃xff0c;经过数十年的发展&＃xff0c;已经出现很多优秀成熟的产品。各式存储引擎已经在索引组织&＃xff0c;缓存管理&＃xff0c;事务处理&＃xff0c;查询优化方方面面都做过细致的研究。(一个数据库存储引擎应该具备什么样的能力&＃xff0c;可以参考我之前的文章)&＃xff0c;即便如此&＃xff0c;这个领域的演进仍在持续&＃xff0c;每年都会涌现很多的新技术。近年来&＃xff0c;LSM(Log-Structured Merge-Tree)结构受到越来越多的关注&＃xff0c;虽然这个技术本身出现很多年了&＃xff0c;不算什么新事物&＃xff0c;不过早先在KV存储系统中被应用的更多一些&＃xff0c;近年开始在数据库存储引擎领域崭露头角&＃xff0c;RocksDB即是典型代表。

LSM之所以变得流行&＃xff0c;一是因为其简单&＃xff0c;二是特点鲜明。写入模型是简单的追加&＃xff0c;不会更新既有的数据&＃xff0c;数据组织为简单的逻辑排序&＃xff0c;由此带来的特点是写强而读弱&＃xff0c;持久化数据只读的特点便于压缩。但是大多数数据库的应用场景其实都是读多写少的&＃xff0c;直接使用LSM结构未必合适&＃xff0c;想要另辟蹊径&＃xff0c;须得扬长辟短。

架构

X-Engine使用了LSM作为基础架构&＃xff0c;目标是作为一个通用的高性能低成本存储引擎&＃xff0c;追求读写性能更为均衡&＃xff0c;因此在其上做了大量的改进&＃xff0c;主要围绕几个方向进行&＃xff1a;1. 利用先天优势&＃xff0c;持续优化写性能。2. 优化compaction降低对系统性能的冲击&＃xff0c;使得系统性能表现趋于平稳。3. 利用持久化数据层只读特点&＃xff0c;发挥压缩优势降低成本。4. 利用天然分层结构&＃xff0c;结合硬件能力使用冷热分层结构&＃xff0c;降低综合成本。5. 利用精细化访问机制和缓存技术&＃xff0c;弥补读性能短板。

X-Engine的整体架构如下图&＃xff0c;根据数据冷热进行分层代替LSM本身的持久化数据分层&＃xff0c;热数据层和数据更新使用内存存储&＃xff0c;利用了大量内存数据库的技术(Lock-Free index structure/append only)提高事务处理的性能&＃xff0c;设计了一套事务处理流水线处理机制&＃xff0c;把事务处理的几个阶段并行起来&＃xff0c;提升吞吐。而访问频度低的冷(温)数据逐渐淘汰或是合并到持久化的存储层次中&＃xff0c;结合当前丰富的存储设备层次体系(NVM/SSD/HDD)进行存储。我们对性能影响比较大的compaction过程做了大量优化&＃xff0c;主要是拆分数据存储粒度&＃xff0c;利用数据更新热点较为集中的特征&＃xff0c;尽可能的在合并过程中复用数据&＃xff0c;精细化控制LSM的形状&＃xff0c;减少I/O和计算代价&＃xff0c;并同时极大的减少了合并过程中的空间放大。同时使用更细粒度的访问控制和缓存机制&＃xff0c;优化读的性能。

既然X-Engine是以LSM为基础架构的&＃xff0c;所以一切还要从LSM本身说起。

LSM基本逻辑

一条数据在LSM结构中的旅程&＃xff0c;从写入WAL(Write Ahead Log)开始&＃xff0c;然后进入MemTable&＃xff0c;这是Ta整个生命周期的第一处落脚点。随后&＃xff0c;flush操作将Ta刻在更稳固的介质上&＃xff0c;compaction操作将Ta带往更深远的去处&＃xff0c;或是在途中丢弃&＃xff0c;取决于Ta的继任者何时到来。

LSM的本质是&＃xff0c;所有写入操作并不做原地更新&＃xff0c;而是以追加的方式写入内存。每次写到一定程度&＃xff0c;即冻结为一层(Level)&＃xff0c;写入持久化存储。所有写入的行&＃xff0c;都以主键(Key)排序好后存放&＃xff0c;无论是在内存中&＃xff0c;还是持久化存储中。在内存中即为一个排序的内存数据结构(Skiplist, B-Tree, etc.)&＃xff0c;在持久化存储也作为一个只读的全排序持久化存储结构。

普通的存储系统若要支持事务处理&＃xff0c;尤其是ACI&＃xff0c;需要加入一个时间维度&＃xff0c;借此为每个事务构造出一个不受并发干扰的独立视域。存储引擎会对每个事务定序并赋予一个全局单调递增的事务版本号(SN)&＃xff0c;每个事务中的记录会存储这个SN以判断独立事务之间的可见性&＃xff0c;从而实现事务的隔离机制。

如果LSM存储结构持续写入&＃xff0c;不做其他的动作&＃xff0c;那么最终会成为如下结构&＃xff1a;

注意这里每一层的SN范围标识了事务写入的先后顺序&＃xff0c;已经持久化的数据不再会被修改。每一层数据按Key排序&＃xff0c;层与层之间的Key range会交叠。

这种结构对于写入是非常友好的&＃xff0c;只要追加到最新的内存表中即完成&＃xff0c;为实现crash recovery&＃xff0c;只需记录WAL(Redo Log)&＃xff0c;因为新数据不会覆盖旧版本&＃xff0c;追加记录会形成天然的多版本结构。

可以想见&＃xff0c;如此累积冻结的持久化层次越来越多&＃xff0c;会对查询会产生不利的影响&＃xff0c;对同一个key不同事务提交产生的多版本记录会散落在各个层次中&＃xff0c;不同的key也会散落在不同层次中&＃xff0c;读操作诸如顺序扫描便需要查找各个层并合并产生最终结果。

LSM引入了一个compaction的操作解决这个问题&＃xff0c;这个操作不断的把相邻层次的数据合并&＃xff0c;并写入这个更低层次。而合并的过程实际上就是把要合并的相邻两层(或是多层)数据读出来&＃xff0c;按key排序&＃xff0c;相同的key如果有多个版本&＃xff0c;只保留新(比当前正在执行的活跃事务中最小版本号新)的版本&＃xff0c;丢掉旧版本数据&＃xff0c;然后写入新的层。可以想见这个操作非常耗费资源。

LSM compaction操作&＃xff0c;有几种作用&＃xff0c;一是为了丢弃不再被使用的旧版本数据&＃xff0c;二是为了控制LSM层次形状&＃xff0c;一般的LSM形状都是层次越低&＃xff0c;数据量越大(倍数关系)&＃xff0c;这样放置的目的主要是为了提升读性能。

一般来讲&＃xff0c;任何存储系统的数据访问都有局部性&＃xff0c;大量的访问都集中在少部分数据上&＃xff0c;这也是缓存系统能有效工作的基本前提&＃xff0c;在LSM存储结构中&＃xff0c;如果我们把访问频率高的数据尽可能放在较高的层次上&＃xff0c;保持这部分数据量规模&＃xff0c;可以存放在快速存储设备中(比如NVM,DRAM)&＃xff0c;而把访问频率低的数据放在较低层次中&＃xff0c;使用廉价慢速存储设备存储。这就是X-Engine的根据冷热分层概念。

要达到这种效果&＃xff0c;核心问题是如何挑选合适的数据合并到更低的层次&＃xff0c;这是compaction调度策略首先要解决的问题&＃xff0c;根据冷热分层的逻辑&＃xff0c;就是优先合并冷数据(访问频率相对低)。识别冷数据有很多方法&＃xff0c;对于不同的业务不尽然相同&＃xff0c;对于很多流水型业务(如交易&＃xff0c;日志系统)&＃xff0c;新近写入的数据会有更多的概率被读到&＃xff0c;冷热按写入时间顺序即可区分&＃xff0c;也有很多应用的访问特征跟写入的时间不一定有关系&＃xff0c;这个就要根据实际的访问频率去识别冷数据或是热数据。

除了数据热度以外&＃xff0c;挑选合并数据还有其他一些维度&＃xff0c;会对读性能产生影响&＃xff0c;比如数据的更新频率&＃xff0c;大量的多版本数据在查询的时候会浪费更多的I/O和CPU&＃xff0c;因此需要优先进行合并以减少记录的版本数量&＃xff0c;X-Engine综合考虑了各种策略形成自己的compaction调度机制。

refined LSM

上面是LSM宏观逻辑结构&＃xff0c;如果具体来论读写操作和compaction如何进行&＃xff0c;就需要探讨每一层的数据组织方式,

每个LSM变种的实现各不相同。

X-Engine的memtable使用了Locked-free SkipList. 求的是简单&＃xff0c;而且并发读写的性能都比较高。当然有更高效的数据结构&＃xff0c;或者同时使用多种索引技术。这个部分X-Engine没有做过多优化&＃xff0c;原因在事务处理的逻辑比较复杂&＃xff0c;写入内存表还没有成为其瓶颈。

持久化层如何组织更显高效&＃xff0c;这就需要讨论每层的细微结构。

数据组织

简单来说&＃xff0c;X-Engine的每层都划分成固定大小的Extent&＃xff0c;存放每个层次中的数据的一个连续片段(Key Range). 为了快速定位Extent&＃xff0c;为每层Extents建立了一套索引(Meta Index)&＃xff0c;所有这些索引&＃xff0c;加上所有的memory tables(active/immutable)一起组成了一个元数据树(Metadata Tree)&＃xff0c;root节点为"Metadata Snapshot", 这个树结构类似于B-Tree&＃xff0c;当然不尽相同。

需要注意的是&＃xff0c;X-Engine中除了当前的正在写入的active memtable以外&＃xff0c;其他结构都是只读的&＃xff0c;不会被修改。给定某个时间点, 比如LSN&＃61;1000, 上图中的"Metadata Snapshot1"引用到的结构即包含了(LSN&＃61;1000)时刻的所有的数据的快照(这也是为什么这个结构被称为Snapshot的原因)。

即便是Metadata结构本身&＃xff0c;也是一旦生成就不会修改。所有的读都是以这个"Snapshot"结构为入口&＃xff0c;这个是X-Engine实现SI隔离级别的基础。之前讲过随着数据写入&＃xff0c;累积数据越多&＃xff0c;需要对memtable冻结&＃xff0c;flush, 以及层与层的compaction. 这些操作都会修改每层的数据存储结构&＃xff0c;所有这些操作&＃xff0c;都是用copy-on-write来实现&＃xff0c;方法就是每次都将修改(switch/flush/compaction)产生的结果写入新的Extent&＃xff0c;然后依次生成新的"Meta Index"结构&＃xff0c;乃至新的"Metadata Snapshot"&＃xff0c;以一次compaction操作为例&＃xff1a;

可以看到"Metadata Snapshot 2"相对于"Metadata Snapshot 1"并没有太多的变化&＃xff0c;仅仅修改了发生变更的一些叶子节点以及索引节点。这个技术颇有些类似"B-trees, Shadowing, and Clones"&＃xff0c;如果你读过那篇论文&＃xff0c;会对理解这个过程有所帮助。

事务处理

得益于LSM轻量化写机制&＃xff0c;写入操作固然是其明显的优势&＃xff0c;但是事务处理远不只是把更新的数据写入系统那么简单&＃xff0c;这里要保证ACID&＃xff0c;涉及到一整套复杂的流程。X-Engine将整个事务处理过程分为两个阶段&＃xff1a;读写阶段和提交阶段。读写阶段需要校验事务的写写冲突&＃xff0c;读写冲突&＃xff0c;判断事务是否可以执行或回滚重试&＃xff0c;或是等锁。如果事务冲突校验通过&＃xff0c;则把修改的所有数据写入"Transaction Buffer", 提交阶段包括写WAL&＃xff0c;写内存表&＃xff0c;以及提交并返回给用户结果的整个过程&＃xff0c;这里面既有I/O操作(写日志,返回消息)&＃xff0c;也有CPU操作(拷贝日志,写内存表)。

为了提高事务处理吞吐&＃xff0c;系统内会有大量事务并发执行&＃xff0c;单个I/O操作比较昂贵&＃xff0c;大部分存储引擎会倾向于聚集一批事务一起提交&＃xff0c;称为"Group Commit"&＃xff0c;能够合并I/O操作&＃xff0c;但是一组事务提交的过程中&＃xff0c;还是有大量等待过程的&＃xff0c;比如写入日志到磁盘过程中&＃xff0c;除了等待落盘无所事事。

X-Engine为了进一步提升事务处理的吞吐&＃xff0c;采用了一种流水线的技术&＃xff1a;把提交阶段分为四个独立的更细的阶段&＃xff1a;拷贝日志到缓冲区(Log Buffer), 日志落盘(Log Flush), 写内存表(Write memtable), 提交返回(Commit)。我们的事务提交线程到了处理阶段&＃xff0c;都可以自由选择执行流水线中任意一个阶段&＃xff0c;这样每个阶段都可以并行起来&＃xff0c;只要流水线任务的大小划分得当&＃xff0c;就能充分并行起来&＃xff0c;流水线处于接近满载状态。另外&＃xff0c;利用的是事务处理的线程&＃xff0c;而非后台线程&＃xff0c;每个线程在执行的时候&＃xff0c;要么选择了流水线中的一个阶段干活&＃xff0c;要么逛了一圈发现无事可做&＃xff0c;干脆回去接收更多的请求&＃xff0c;这里没有等待&＃xff0c;也无需切换&＃xff0c;充分的调动了每个线程的能力。

读操作

LSM在处理多版本数据的方式是新版本数据记录会追加在老版本数据后面&＃xff0c;从物理上看&＃xff0c;一条记录不同的版本可能存放在不同的层&＃xff0c;在查询的时候需要找到合适的版本(根据事务的隔离级别定义的可见性规则)&＃xff0c;一般查询都是查找最新的数据&＃xff0c;总是由新的层次(最新写入)往老的层次方向找。

对于单条记录的查找而言&＃xff0c;一旦找到便可终止&＃xff0c;如果记录还在比较靠上的层次&＃xff0c;比如memtable&＃xff0c;很快便返回&＃xff1b;如果记录不幸已经落入了很低的层次(可能是很随机的读)&＃xff0c;那就得经历逐层查找的漫漫旅途&＃xff0c;也许bloomfilter可以跳过某些层次加快这个旅程&＃xff0c;但毕竟还是有更多的I/O操作。X-Engine针对单记录查询引入了Row Cache&＃xff0c;在所有持久化的层次的数据之上做了一个缓存&＃xff0c;在memtable中没有命中的单行查询&＃xff0c;在Row Cache之中也会被捕获。Row Cache需要保证缓存了所有持久化层次中最新版本的记录&＃xff0c;而这个记录是可能发生变化的&＃xff0c;比如每次flush将只读的memtable写入持久化层次时&＃xff0c;就需要恰当的更新Row Cache中的缓存记录&＃xff0c;这个操作比较微妙&＃xff0c;需要小心的设计。

范围扫描的操作就没这么幸运了。因为没法确定一个范围的key在哪个层次中有数据&＃xff0c;也许是每层都有&＃xff0c;只能扫描所有的层次做合并之后才能返回最终的结果。X-Engine同样采用了一系列的手段&＃xff1a;比如Surf(SIGMOD&＃39;18 best paper)提供range scan filter减少扫描层数&＃xff1b;还有异步I/O与预取对大范围扫描也有显著的提升。

读操作中最核心的是缓存设计&＃xff0c;Row Cache来应付单行查询&＃xff0c;Block Cache负责Row Cache miss的漏网之鱼&＃xff0c;也用来应付scan&＃xff1b;由于LSM的compaction操作会一次大批量更新大量的Data Block&＃xff0c;导致Block Cache中大量数据短时间内失效&＃xff0c;带来性能的急剧抖动。X-Engine同样做了很多的处理&＃xff1a;1.减少Compaction的粒度, 2. 减少compaction过程中改动的数据(见稍后章节) 3. compaction过程中针对已有的cache数据做定点更新。由此可以基本将cache失效带来的抖动降到最低的水平。

X-Engine中的缓存比较多样&＃xff0c;memtable也可算做其中一种。以有限的内存&＃xff0c;如何恰当的分配给每一种缓存&＃xff0c;才能实现价值最大化&＃xff0c;是一个还未被妥善解决的问题&＃xff0c;X-Engine也在探索当中。

当然&＃xff0c;LSM对读带来的也并非全是坏处&＃xff0c;除了memtable以外的只读的结构&＃xff0c;在读取路径上可以做到完全无锁(memtable也可设计成读无锁)。

Compaction

compaction操作是比较重的。需要把相邻层次交叉的key range数据读出来&＃xff0c;合并&＃xff0c;然后写到新的位置。这是为前面简单的写入操作不得不付出的代价。X-Engine为优化这个操作重新设计了存储结构。

如前所述&＃xff0c;X-Engine将每一层的数据划分为固定大小的"Extent"&＃xff0c;一个Extent相当于一个小的完整的SSTable, 存储了一个层次中的一个连续片段&＃xff0c;其中又会被进一步划分一个个连续的更小的片段"Data Block"&＃xff0c;相当于传统数据库中的"Page"&＃xff0c;只不过是只读的&＃xff0c;而且是不定长的。

回看数据组织一节中"合并操作对元数据的改变", 对比"Metadata Snapshot2"和"Metadata Snapshot1"的区别&＃xff0c;可以发现Extent的设计意图。是的&＃xff0c;每次修改对结构的调整并不是全部来过&＃xff0c;而是只需要修改少部分有交叠的数据&＃xff0c;以及涉及到的"Meta Index"节点。两个"Metadata Snapshot"结构实际上共用了大量的数据结构。这个被称为数据复用技术(Data Reuse)&＃xff0c;而Extent大小正是影响数据复用率的关键&＃xff0c;Extent作为一个完整的被复用的物理结构&＃xff0c;需要尽可能的小&＃xff0c;这样与其他Extent数据交叉点会变少&＃xff0c;但又不能非常小&＃xff0c;否则需要索引过多&＃xff0c;管理成本太大。

X-Engine中compaction的数据复用是非常彻底的&＃xff0c;假设选取两个相邻层次(Level1, Level2)中的交叉的Key Range所涵盖的Extents进行合并&＃xff0c;合并算法会逐行进行扫描&＃xff0c;只要发现任意的"物理结构"(包括Data Block和Extent)与其他层中的数据没有交叠&＃xff0c;则可以进行复用。只不过&＃xff0c;Extent的复用可以修改Meta Index&＃xff0c;而Data Block的复用只能拷贝&＃xff0c;即便如此也可以节省大量的CPU.

一个典型的数据复用在compaction中的过程可以参考下图&＃xff1a;

可以看出&＃xff0c;对于数据复用的过程是在逐行迭代的过程中完成的&＃xff0c;不过这种精细的数据复用带来另一个副作用&＃xff0c;即数据的碎片化&＃xff0c;所以在实际操作的过程中也需要根据实际情况进行折中。

数据复用不仅给compaction操作本身带来了好处&＃xff0c;降低操作过程中的I/O与CPU消耗&＃xff0c;更对系统的综合性能产生了一系列的影响。比如compaction过程中数据不用完全重写&＃xff0c;大大减少了写入空间放大; 更因为大部分数据保持原样&＃xff0c;数据缓存不会因为数据更新而失效&＃xff0c;减少合并过程中因缓存失效带来的读性能抖动。

实际上&＃xff0c;优化compaction的过程只是X-Engine工作的一部分&＃xff0c;还有更重要的&＃xff0c;就是优化compaction调度的策略&＃xff0c;选什么样的Extent&＃xff0c;定义compaction任务的粒度&＃xff0c;执行的优先级&＃xff0c;都会对整个系统性能产生影响&＃xff0c;可惜并不存在什么完美的策略&＃xff0c;X-Engine积累了一些经验&＃xff0c;定义了很多规则&＃xff0c;而探索如何合理的调度策略是未来一个重要方向。

后记

X-Engine是阿里云智能事业群-数据库产品事业部的重要核心技术之一&＃xff0c;作为兼容MySQL的数据库POLARDB X的存储引擎&＃xff0c;之前是在服务阿里集团业务中逐渐打磨成熟&＃xff0c;今年下半年&＃xff0c;我们将在阿里云平台上推出MySQL(X-Engine)的RDS公有云服务&＃xff0c;为阿里云上的公有云客户提供低成本高性能的数据库服务。

附论文下载地址