[論文レビュー] Designing a commutative replicated data type

Marc Shapiro, Nuno Preguiça|ArXiv.org|Oct 9, 2007

Distributed systems and fault tolerance参考文献 23被引用数 33

ひとこと要約

この論文は、分散システムにおける最終的整合性を保証する設計パラダイムとして、可換なレプリケートデータ型（CRDT）を紹介している。これは、レプリケートされたデータに対する同時操作が可換であることを保証することで、自動的な収束を可能にする。著者らは、非破壊的更新、不変の識別子、バックグラウンドでの合意形成を用いることで、メタデータのオーバーヘッドとレイテンシを最小限に抑えた、空間効率的で応答性の高いCRDT「treedoc」を提示している。これにより、最小限の調整コストで強力な整合性を達成している。

ABSTRACT

Commuting operations greatly simplify consistency in distributed systems. This paper focuses on designing for commutativity, a topic neglected previously. We show that the replicas of \emph{any} data type for which concurrent operations commute converges to a correct value, under some simple and standard assumptions. We also show that such a data type supports transactions with very low cost. We identify a number of approaches and techniques to ensure commutativity. We re-use some existing ideas (non-destructive updates coupled with invariant identification), but propose a much more efficient implementation. Furthermore, we propose a new technique, background consensus. We illustrate these ideas with a shared edit buffer data type.

研究の動機と目的

• レプリケートされたデータ型における可換操作のための体系的な設計原則の欠如に取り組むこと。
• 共有テキストエディタのような共同編集システムにおけるスケーラビリティと整合性の課題を解決すること。
• ブロック操作（例：カット＆ペースト）をサポートしつつ、メモリ使用量とレイテンシのオーバーヘッドを最小限に抑えるCRDTを設計すること。
• 最小限の調整コストで効率的なトランザクションを実現すること。
• ブロッキングを避ける新しいバックグラウンド合意形成メカニズムを提案すること。

提案手法

• 標準的な仮定の下で収束を保証するため、同時操作が可換であることを保証するという原則に基づいてCRDTを設計すること。
• 非破壊的更新と不変の識別子を組み合わせることで、同時編集においても可換性を維持すること。
• パフォーマンスと空間効率を最適化するために、フラットバッファとバイナリツリーの間でハイブリッドデータ構造を切り替えること。
• 構造的変更（例：ツリーへの挿入）に対してバックグラウンド合意形成を導入し、非同期に実行し、競合する編集が検出された場合は中止すること。
• ユーザが編集する際のクリティカルパスをブロッキングしないように、合意形成を必須でない操作に制限すること。
• 内在する収束保証を活用して、実装コストを最小限に抑えたCRDT上でのトランザクションの実装をすること。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、同時操作が可換であることを保証するレプリケートデータ型を体系的に設計できるか？
• RQ2 カット＆ペーストのような複雑な操作をサポートしつつ、可換性を維持するにはどのような技術が使えるか？
• RQ3 ユーザの操作のクリティカルパスにレイテンシを導入せずに、CRDTで合意形成を効率的に使用できるか？
• RQ4 バックグラウンド合意形成を用いることで、CRDTにおける構造的変更を安全に管理でき、整合性を損なわないか？
• RQ5 従来のオptimistic replication手法と比較して、CRDTのパフォーマンスと空間効率のトレードオフはどのようなものか？

主な発見

• 標準的な信頼できる通信と全操作の配信の仮定のもとで、可換な操作を持つ任意のCRDTは、すべてのレプリカで同じ最終状態に収束する。
• treedoc CRDTは、WOOTが効率的に処理できなかったようなブロック操作（例：カット＆ペースト）をサポートしている。
• メモリ使用量のオーバーヘッドが最小限に抑えられている：削除されたコンテンツは忘れられ、識別子も短く保たれるため、WOOTで見られるボトルネックの肥大化を回避できる。
• バックグラウンド合意形成メカニズムにより、ユーザの編集がブロッキングされず、競合する編集が検出された場合は中止されるため、応答性が保たれる。
• 収束が設計上保証されているため、CRDT上にトランザクションを非常に低コストで実装できる。
• ハイブリッドツリー・バッファ構造により、局所的な応答性とスケーラブルなレプリケーションが実現され、フラット構造や純粋なツリー構造よりもパフォーマンスが向上する。