[論文レビュー] CRDTs: Consistency without concurrency control

Mihai Leţia, Nuno Preguiça+1 more|ArXiv.org|Jul 6, 2009

Distributed systems and fault tolerance参考文献 13被引用数 36

ひとこと要約

この論文は、分散システムにおける伝統的な排他制御の代替手段として、コンmutative Replicated Data Types (CRDT) を導入し、コンSENSUS を必要とせずに最終的整合性を実現するスケーラブルな手法を提示する。Treedoc は、名前付きツリーを用いて可換な操作、コンactな識別子、効率的な因果順序付けを実現する実用的な CRDT であり、最小限の協調的オーバーヘッドで大規模かつ動的な環境において高いパフォーマンスとスケーラビリティを達成する。

ABSTRACT

A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, we exhibit a non-trivial CRDT: a shared edit buffer called Treedoc. We outline the design, implementation and performance of Treedoc. We discuss how the CRDT concept can be generalised, and its limitations.

研究の動機と目的

• 大規模な分散システムにおける変更可能な共有データのスケーラビリティと整合性の課題に対処すること。
• レプリケートされたデータ型におけるコンセンサスやベクタクロックといった複雑な排他制御メカニズムの必要性を排除すること。
• 順序付きシーケンスにおける同時挿入・削除をサポートする実用的で効率的かつスケーラブルな CRDT を設計すること。
• CRDT における無限大の成長、識別子の肥大化、ガベージコレクションといった実用的制限を克服すること。
• CRDT が実世界のシステム（例：共同編集）で使用可能であり、生産システムと同等のパフォーマンスを示すことを実証すること。

提案手法

• 一意で安定した識別子を用いて、位置指定挿入および削除操作を備えた順序付き集合のための CRDT 抽象を設計する。
• 名前付きツリー構造を用いて、原子的要素にコンパクトでグローバルに一意の識別子を割り当て、レプリカ間で可換性を保証する。
• コアとネビュラサイトの二段階アーキテクチャを実装：コアはグローバルな状態を維持し、ネビュラサイトはローカルな更新を処理し、信頼性の高いブロードキャストプロトコルでそれを伝搬する。
• 必要に応じて部分木をメジャーノードに変換することで、可換性を保持するツリー再構築アルゴリズムを適用する。
• 最終的なツリーにおける黒ノードおよびトゥームストーンに対してのみ更新操作（挿入/削除）を生成し、恒等的かつ可換な伝搬を保証する。
• ツリー構造に埋め込まれた暗黙的な因果順序付けを用いて、正確なベクタクロックの必要性を回避し、スケーラブルな近似因果追跡を可能にする。

実験結果

リサーチクエスチョン

• RQ1 順序付きシーケンスの同時編集に適した、非自明で実用的かつ効率的な CRDT を設計できるか？
• RQ2 動的かつ変動する書き込みレプリカ数を有するシステムにおいて、CRDT はどのようにスケーラブルにできるか？
• RQ3 コンセンサスやベクタクロックに依存せずに、操作の可換性を保証するメカニズムは何か？
• RQ4 正しさを保持しつつ、CRDT における識別子サイズとデータ構造の肥大化を最小限に抑えるにはどうすればよいか？
• RQ5 CRDT においてガベージコレクションをアプリケーション更新のクリティカルパスから分離できるか？

主な発見

• Treedoc は、コンセンサスや複雑な競合解決を必要とせず、レプリカ間で最終的に収束する共同文書編集のための CRDT を実装した。
• 名前付きツリーの使用により、フラット化操作に対しても安定したコンパクトでグローバルに一意の識別子が得られ、識別子の爆発的増加を防ぐ。
• 可換性を保持する形でツリー再構築が行われるため、動的スケーリングが可能であり、一貫性が保たれる。
• 因果順序がツリー構造に暗黙的に埋め込まれており、高コストなベクタクロックに依存せず、スケーラブルな近似因果追跡が可能である。
• ガベージコレクションは実行可能で非ブロッキングであり、アプリケーション更新のクリティカルパスとは分離されているが、コンセンサスを必要とする。
• Wikipedia のトレースを用いたパフォーマンス評価では、Treedoc が高負荷下でも生産システムと同等にスケーリングし、優れたパフォーマンスを示した。