[論文レビュー] Dotted Version Vectors: Logical Clocks for Optimistic Replication

Nuno Preguiça, Carlos Baquero+3 more|arXiv (Cornell University)|Nov 26, 2010

Distributed systems and fault tolerance参考文献 22被引用数 14

ひとこと要約

この論文は、分散システムにおける楽観的レプリケーションのための、因果関係追跡のための新しいメカニズムであるドット付きバージョンベクトルを導入する。クライアントレベルのエントリではなくサーバーレベルのエントリを用いて因果履歴を符号化することで、ストレージ成長がクライアント数ではなくレプリケーション度に比例するようになり、従来のバージョンベクトルと比較して大幅なスケーラビリティの向上を達成する。

ABSTRACT

In cloud computing environments, a large number of users access data stored in highly available storage systems. To provide good performance to geographically disperse users and allow operation even in the presence of failures or network partitions, these systems often rely on optimistic replication solutions that guarantee only eventual consistency. In this scenario, it is important to be able to accurately and efficiently identify updates executed concurrently. In this paper, first we review, and expose problems with current approaches to causality tracking in optimistic replication: these either lose information about causality or do not scale, as they require replicas to maintain information that grows linearly with the number of clients or updates. Then, we propose a novel solution that fully captures causality while being very concise in that it maintains information that grows linearly only with the number of servers that register updates for a given data element, bounded by the degree of replication.

研究の動機と目的

• 既存の因果関係追跡メカニズムのスケーラビリティの制限を解消すること。
• クライアント数に比例したメタデータ成長を排除することで、大規模なクラウドシステムにおけるパフォーマンスの制約を解消すること。
• 因果関係を失うことなく、同時に更新されたことを正確に検出する安全で正確な方法を提供すること。
• 因果関係の整合性を保ちながら、ストレージおよび通信オーバーヘッドを低減するメカニズムを設計すること。
• Riakのような既存のキー値ストアに最小限のコード変更で実用的に統合できること。

提案手法

• 従来のバージョンベクトルを拡張し、クライアントごとではなくサーバーごとに因果関係を表すドット表記を導入する。
• 各更新は、サーバー固有のイベントIDと、前の状態の因果履歴を捉えたバージョンベクトルでタグ付けされる。
• 因果関係は、ドット付きバージョンベクトルの比較によって決定され、同じサーバー上ですべての因果的先行要因を含み、かつ高いイベントIDを持つベクトルが大きいとみなされる。
• メカニズムは、サーバーレベルのエントリのみに基づいてベクトルを統合するマージ操作を用い、因果関係を保持する。
• 各キーごとのレプリカサーバー数が有限であることに基づき、古くなったエントリの効率的かつ安全な削除が可能になる。
• Riakへの統合は約100行のコード変更で実現され、実用的な導入可能性が示された。

実験結果

リサーチクエスチョン

• RQ1 楽観的レプリケーションシステムにおいて、正確性を損なわずに因果関係追跡をスケーラブルに実現する方法は何か？
• RQ2 従来のバージョンベクトルではクライアント数が増えるとメタデータ成長がどのように影響を受けるか？ これを緩和できるか？
• RQ3 クライアントごとのエントリではなく、サーバーレベルのエントリのみで因果関係を正確に捉えることができるか？
• RQ4 正確性を保ちながら、因果関係追跡のストレージおよび通信オーバーヘッドをどの程度低減できるか？
• RQ5 ドット付きバージョンベクトルは、既存の分散キー値ストアにどの程度効率的に統合できるか？

主な発見

• ドット付きバージョンベクトルは、クライアント数に比例するメタデータ成長を、キーごとのレプリカサーバー数に比例するものにまで削減し、これはレプリケーション度によって上限が定められている。
• このメカニズムは、因果関係を失うことなく、同時に更新されたことを正確に検出可能であり、安全でない空間畳み込み技術とは異なり、因果関係を保持する。
• 従来のバージョンベクトルと同等の因果関係の整合性を維持しつつ、大規模システムにおいては顕著に低いストレージオーバーヘッドを実現する。
• Riakへの統合は最小限の工数で成功しており、約100行のコード変更で実現された。
• 古くなったエントリの削除は、制限されたサーバーエントリに依存するため、効率的かつ安全である。
• 正しさとスケーラビリティの両面で、Roam やハッシュ履歴メカニズムといった既存のソリューションを上回っている。