[論文レビュー] 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ディスク上ですでに1秒間に最大100,000件の更新が可能であり、CoW Bツリーの2桁以上速い。

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を回避するため、順序付き書き込みを採用し、新しいデータの可視化を最終的なアトミックな更新まで延期することで、クラッシュの整合性を確保する。
• この設計は本質的にキャッシュ・オブリビアスであり、ブロックサイズのチューニングを必要としないため、I/O特性が非対称なSSDに非常に適している。

実験結果

リサーチクエスチョン

• RQ1 バージョニングBツリーは、CoW Bツリーと同等のクエリおよび更新I/Oバウンズを達成しながら、線形空間のみを用いることができるか？
• RQ2 クエリパフォーマンスをわずかに緩和することで、線形空間を用いてo(1) I/Oで更新が可能なバージョニング辞書を実現できるか？
• RQ3 ランダムI/Oではなく順序付きI/Oを用いることで、HDDおよびSSD上で効率的にスケーリング可能なバージョニングデータ構造を実現できるか？
• RQ4 一貫性があり、クラッシュに安全で、ロックフリーな並列バージョニング辞書を設計することは可能か？

主な発見

• 階層的Bツリーは、CoW Bツリーと同等のO(logB N) I/Oで最適なクエリパフォーマンスを達成するが、空間効率が著しく優れている。
• 線形空間を用いて更新をo(1) I/Oで実現でき、標準のSATAディスク上では1秒間に最大100,000件の更新が可能であり、CoW Bツリーの2桁以上速い。
• 実験結果では、SDAベースの実装が、単一スレッドのOCaml環境において、範囲クエリスループットでCoW Bツリーを10倍以上上回っている。
• 非常に並列なカーネル内プロトタイプでは、16コアで1秒間に500,000件を超えるバージョニング更新が可能であり、優れた水平スケーリングの可能性を示している。
• 設計は本質的に一貫性があり、クラッシュに安全で、新しいデータは1回のアトミックな更新後にのみ可視化されるため、追加作業なしに回復が可能である。
• 構造は本質的にキャッシュ・オブリビアスであり、ブロックサイズのチューニングを必要としないため、I/O特性が非対称な現代のストレージデバイス（SSDなど）に非常に適している。