[論文レビュー] Lower Bounds and Algorithm for Partially Replicated Causally Consistent Shared Memory.

Zhuolun Xiang, Nitin H. Vaidya|arXiv (Cornell University)|Mar 15, 2017

Distributed systems and fault tolerance被引用数 3

ひとこと要約

この論文は、共有グラフに基づくタイムスタンプメカニズムを導入することで、部分的レプリケーションされた分散共有メモリシステムにおける因果的整合性の必要十分条件を確立する。効率的なアルゴリズムを提示し、タイムスタンプサイズのタイトな下界を導出し、重要なケースにおいて最適性を証明する。

ABSTRACT

The focus of this paper is on causal consistency in a {\em partially replicated} distributed shared memory (DSM) system that provides the abstraction of shared read/write registers. Maintaining causal consistency in distributed shared memory systems has received significant attention in the past, mostly on {\em full replication} wherein each replica stores a copy of all the registers in the shared memory. To ensure causal consistency, all causally preceding updates must be performed before an update is performed at any given replica. Therefore, some mechanism for tracking causal dependencies is required, such as vector timestamps with the number of vector elements being equal to the number of replicas in the context of full replication. In this paper, we investigate causal consistency in {\em partially replicated systems}, wherein each replica may store only a subset of the shared registers. Building on the past work, this paper makes three key contributions: 1. We present a necessary condition on the metadata (which we refer as a {\em timestamp}) that must be maintained by each replica to be able to track causality accurately. The necessary condition identifies a set of directed edges in a {\em share graph} that a replica's timestamp must keep track of. 2. We present an algorithm for achieving causal consistency using a timestamp that matches the above necessary condition, thus showing that the condition is necessary and sufficient. 3. We define a measurement of timestamp space size and present a lower bound (in bits) on the size of the timestamps. The lower bound matches our algorithm in several special cases.

研究の動機と目的

• 部分的レプリケーションされた分散共有メモリシステムにおいて、レプリカが共有レジスタの部分集合のみを格納する状況で、因果的整合性を維持する課題に対処すること。
• レプリカ間で因果的依存関係を正確に追跡するために必要な最小限のメタデータ（タイムスタンプ）の要件を特定すること。
• 導出された必要条件を満たすタイムスタンプを用いて因果的整合性を達成するアルゴリズムを設計すること。
• このようなシステムにおける因果的整合性を保証するための、タイムスタンプサイズの理論的下界を確立することにより、重要なシステム構成における効率性と最適性を保証すること。

提案手法

• 更新間の因果的関係をモデル化するための共有グラフを導入し、ノードがレプリカを表し、有向辺が因果的依存関係を表す。
• タイムスタンプを、因果的順序を保持するために共有グラフ内の特定の有向辺を追跡しなければならないデータ構造として定義する。
• 共有グラフに特化したタイムスタンプを用いて、読み取りおよび書き込み操作中に因果的整合性を強制するアルゴリズムを提案する。
• 因果的依存関係のパターンが区別されなければならない数を分析することで、タイムスタンプサイズ（ビット単位）の下界を導出する。
• 提案されたアルゴリズムのタイムスタンプサイズが、特別なケースにおいて導出された下界と一致することを証明し、最適性を示す。
• 部分的レプリケーションに適応されたベクトルタイムスタンプ技術を用い、要素数が全レプリカ数に依存するのではなく、因果的関係に依存する。

実験結果

リサーチクエスチョン

• RQ1 部分的レプリケーションされた共有メモリシステムにおいて、因果的依存関係を正しく追跡するために必要な最小限のメタデータ構造は何か？
• RQ2 必要条件によって特定された最小限のメタデータのみを用いて、因果的整合性を達成するアルゴリズムを設計できるか？
• RQ3 このようなシステムにおける因果的整合性を保証するために必要な、タイムスタンプの理論的最小サイズ（ビット単位）は何か？
• RQ4 提案されたアルゴリズムは、システム構成の意味のある特別なケースにおいて、この下界に達しているか？

主な発見

• 部分的レプリケーションされたシステムにおける因果的整合性のための必要条件は、各レプリカのタイムスタンプが共有グラフ内の特定の有向辺のセットを追跡しなければならないことである。
• 必要条件を満たすアルゴリズムが提示され、因果的整合性が保証されることを示し、必要条件が十分条件でもあることを証明する。
• タイムスタンプサイズの下界（ビット単位）が確立され、因果的整合性に必要な最小限のメタデータオーバーヘッドが定量的に評価される。
• 下界が、いくつかの重要な特別なケースにおいて、提案されたアルゴリズムが使用するタイムスタンプサイズと一致するため、その構成においてアルゴリズムが最適であることが示される。
• 共有グラフの抽象化により、完全レプリケーションやグローバルな調整を必要とせずに、因果的依存関係を正確にモデル化できる。
• 結果として、正しいタイムスタンプ構造が用いられる限り、部分的レプリケーションされたシステムにおける因果的整合性は、最小限のメタデータオーバーヘッドで実現可能であることが示された。