[論文レビュー] Abstract unordered and ordered trees CRDT

Stéphane Martin, Mehdi Ahmed-Nacer+1 more|arXiv (Cornell University)|Jan 9, 2012

Distributed systems and fault tolerance参考文献 12被引用数 10

ひとこと要約

この論文は、順序なしおよび順序付きツリーのための、コンフリクトフリーなレプリケートデータ型（CRDT）の族を提示しており、分散システムにおける最終的整合性を実現する。既存のセットCRDTを活用し、ツリー構造における並行処理のコンフリクトを解消するためのレイヤー型補正アルゴリズムを導入する。また、順序付きツリーにおける効率的で整合性のある位置指定を可能にする、新しいWOOTRシーケンスCRDTを提案する。

ABSTRACT

Trees are fundamental data structure for many areas of computer science and system engineering. In this report, we show how to ensure eventual consistency of optimistically replicated trees. In optimistic replication, the different replicas of a distributed system are allowed to diverge but should eventually reach the same value if no more mutations occur. A new method to ensure eventual consistency is to design Conflict-free Replicated Data Types (CRDT). In this report, we design a collection of tree CRDT using existing set CRDTs. The remaining concurrency problems particular to tree data structure are resolved using one or two layers of correction algorithm. For each of these layer, we propose different and independent policies. Any combination of set CRDT and policies can be constructed, giving to the distributed application programmer the entire control of the behavior of the shared data in face of concurrent mutations. We also propose to order these trees by adding a positioning layer which is also independent to obtain a collection of ordered tree CRDTs.

研究の動機と目的

• 同期なしで最終的整合性を保証する分散ツリー用のコンフリクトフリーなレプリケートデータ型（CRDT）を設計すること。
• 並行処理の問題（例えば、挿入や削除の競合、パスの一意性）を、レイヤー型補正アルゴリズムを用いて解決すること。
• 新しいシーケンス編集CRDT「WOOTR」を用いて、CRDTツリーに兄弟ノードの順序付けを追加すること。
• セットCRDTと補正レイヤー用の合成可能なポリシーを通じて、アプリケーション開発者がコンフリクト解消の意味論を完全に制御できること。
• 高い並行処理下でのさまざまなCRDTツリー実装のスケーラビリティとパフォーマンスのトレードオフを評価すること。

提案手法

• グラフ理論（ノード集合およびエッジ集合）を用いて、既存のセットCRDT（例：LWW-Set、OR-Set）を基本的なペイロードとして使用して、順序なしツリーCRDTを構築する。
• 2段階の補正メカニズムを導入：1つ目の段階でグラフが根付きのままであることを保証し、2つ目の段階でサイクルを防ぐためにパスの一意性を強制する。
• 各補正レイヤーに対して独立的かつ合成可能なポリシーを適用し、柔軟なコンフリクト解消の意味論を可能にする。
• 語の理論に基づくツリー表現を用い、パスを一意な文字列として扱い、単一のセットCRDTと接続レイヤーを介して構築可能にする。
• 要素の再挿入をサポートし、同じ位置への並行挿入を同等の操作として扱うことができる、新しい可換性を持つシーケンスCRDT「WOOTR」を導入する。
• WOOTRによって生成された位置識別子をノードまたはエッジに関連付けることで、順序なしツリーCRDTを順序付きツリーCRDTに拡張し、レプリカ間で一貫した順序付けを保証する。

実験結果

リサーチクエスチョン

• RQ1 既存のセットCRDTのみを用いて、最終的整合性を保証するようにツリーCRDTを構築する方法は何か？
• RQ2 同期なしで、並行して行われる変更（例：挿入、削除）を解消するためのレイヤー型補正戦略は何か？
• RQ3 最終的整合性と並行更新をサポートするCRDTモデルで、順序付きツリーの意味論をどのように実現できるか？
• RQ4 特に高並行処理下において、さまざまなCRDTツリー実装のパフォーマンスとスケーラビリティのトレードオフは何か？
• RQ5 効率的でコンフリクトフリーな再挿入と一貫性のある位置指定をサポートする新しいシーケンスCRDT（WOOTR）を設計できるか？

主な発見

• 提案されたCRDTツリー族は、合成可能なポリシーと既存のセットCRDTを活用することで、調整なしにコンフリクトフリーなレプリケーションを実現し、最終的整合性を保証する。
• 2段階の補正メカニズム（ルート維持とパスの一意性）は、グラフベースおよびエッジベースのツリー表現における並行処理の問題を効果的に解消する。
• 新しいシーケンスCRDT「WOOTR」は、削除された要素の再挿入を可能にし、同じ位置への並行挿入を同等の操作として扱うため、整合性と効率性が向上する。
• 順序付きツリーCRDTは、WOOTRに基づく位置識別子を用いて順序なしツリーCRDTを拡張することで構築され、レプリカ間で一貫した兄弟ノードの順序付けが可能になる。
• セットCRDTとポリシーの異なる組み合わせにより、異なるコンフリクト解消の挙動が得られ、アプリケーション開発者が意味論を完全に制御できる。
• パフォーマンスは顕著に異なる：2P-Setに基づく実装は効率的であるが、一部のグラフおよびエッジツリーのポリシーは、複雑なコンフリクト解消論理のため計算コストが高くなる。