[论文解读] Stratified B-trees and versioning dictionaries

Andy Twigg, Andrew Byde+4 more|arXiv (Cornell University)|Mar 22, 2011

Advanced Data Storage Technologies参考文献 7被引用 4

一句话总结

本文提出分层B树（stratified B-tree），一种新型的版本化字典数据结构，可在空间、查询和更新性能之间实现最优权衡，全面超越写时复制（CoW）B树。该结构使用线性空间实现 o(1) I/O 的完全版本化更新，实验结果表明在SATA磁盘上每秒可支持高达100,000次更新，比CoW B树快两个数量级。

ABSTRACT

A classic versioned data structure in storage and computer science is the copy-on-write (CoW) B-tree -- it underlies many of today's file systems and databases, including WAFL, ZFS, Btrfs and more. Unfortunately, it doesn't inherit the B-tree's optimality properties; it has poor space utilization, cannot offer fast updates, and relies on random IO to scale. Yet, nothing better has been developed since. We describe the `stratified B-tree', which beats all known semi-external memory versioned B-trees, including the CoW B-tree. In particular, it is the first versioned dictionary to achieve optimal tradeoffs between space, query and update performance.

研究动机与目标

• 为解决写时复制（CoW）B树存在的空间效率低下、因随机I/O导致更新缓慢以及依赖随机访问进行扩展的局限性。
• 设计一种版本化字典，实现空间、查询时间和更新性能之间的最优权衡，涵盖现有CoW B树设计。
• 通过顺序I/O和线性空间实现快速可扩展的更新，适用于现代存储系统（如SSD和日志结构文件系统）。
• 提供一致、崩溃安全且无锁的并发设计，适用于多核环境和生产部署。

提出的方法

• 分层B树使用倍增数组层级结构（SDA）表示版本化数据，其中每一层维护一个键值对的有序数组，支持增量更新。
• 通过将新条目追加到对应层级的数组中执行更新，并定期将更新向上提升至更高层级以维持平衡并减少空间膨胀。
• 通过自顶向下的方式遍历数组支持高效范围查询，利用有序性和前缀和快速定位相关条目。
• 采用逆后序深度优先搜索（DFS）顺序，确保节点仅在子节点写入后才被写入，从而实现无锁并发构建和一致的状态管理。
• 通过使用顺序写入避免随机I/O，并通过延迟新数据的可见性直到原子更新完成，实现崩溃一致性。
• 该设计天然具备缓存无关性，无需针对块大小进行调优，因此非常适合具有非对称读写性能的SSD。

实验结果

研究问题

• RQ1 能否在仅使用线性空间的前提下，使版本化B树在查询和更新I/O开销上与CoW B树保持一致？
• RQ2 能否在仅使用线性空间的前提下，使版本化字典实现 o(1) I/O 的更新操作，即使查询性能略有放宽？
• RQ3 能否通过使用顺序I/O而非随机I/O，使版本化数据结构在HDD和SSD上实现高效扩展？
• RQ4 能否设计一种一致、崩溃安全且无锁的并发版本化字典，支持高吞吐量更新？

主要发现

• 分层B树在O(logB N) I/O内实现最优查询性能，与CoW B树相当，但空间效率显著更优。
• 该结构使用线性空间实现 o(1) I/O 的更新操作，在标准SATA磁盘上每秒可支持高达100,000次更新——比CoW B树快两个数量级。
• 实验结果表明，基于SDA的实现单线程OCaml环境下范围查询吞吐量超过CoW B树10倍，性能瓶颈仅受CPU限制。
• 高度并发的内核原型表明，在16核环境下每秒可支持超过500,000次版本化更新，展现出强大的水平扩展能力。
• 该设计天然具备一致性和崩溃安全性，新数据仅在单次原子更新后才可见，确保恢复无需额外工作。
• 该结构天然具备缓存无关性，无需块大小调优，因此非常适合具有非对称I/O特性的现代存储设备（如SSD）。