[論文レビュー] Global Stabilization for Causally Consistent Partial Replication

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

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

ひとこと要約

本稿では、分散キー値ストアにおける因果的整合性を保つ部分複製のためのグローバル安定化技術を提案し、クライアントが任意のサーバーにアクセスし、自由に移行可能であることを可能にするとともに、因果関係を維持する。本稿では、一般の部分複製におけるリモート更新可視化遅延を最小化するためのグローバル安定時刻（GST）計算の最適性を証明している。

ABSTRACT

Causally consistent distributed storage systems have received significant attention recently due to the potential for providing high throughput and causality guarantees. {\em Global stabilization} is a technique established for achieving causal consistency in distributed multi-version key-value store systems, adopted by the previous work such as GentleRain \cite{Du2014GentleRainCA} and Cure \cite{akkoorath2016cure}. Intuitively, this approach serializes all updates by their physical time and computes the ``Global Stable Time'' which is a time point $t$ such that versions with timestamp $\leq t$ can be returned to the client without violating causality. However, all previous designs with global stabilization assume {\em full replication}, where each data center stores a full copy of data, and each client is restricted to access servers within one data center. In this paper, we propose a theoretical framework to support {\em general partial replication} with causal consistency via global stabilization, where each server can store an arbitrary subset of the data, and each client is allowed to communicate with any subset of the servers and migrate among them without extra delays. We propose an algorithm that implements causal consistency for distributed multi-version key-value stores with general partially replication. We prove the optimality of the Global Stable Time computation in our algorithm regarding the remote update visibility latency, i.e. how fast update from a remote server is visible to the client, under general partial replication. We also provide trade-offs to further optimize the remote update visibility by introducing extra delays during client's migration. Simulation results on the performance of our algorithm compared to the previous work are also provided.

研究の動機と目的

• サーバーがデータの任意の部分集合を格納する部分複製分散ストレージシステムにおいて、因果的整合性のサポートが不足している問題に対処する。
• クライアントが任意のサーバーのサブセットと通信でき、追加の遅延を伴わず、因果関係を破壊せずに移行可能であるようにする。
• 従来は完全複製に限定されていたグローバル安定化技術を、一般の部分複製に拡張する。
• リモート更新可視化遅延を最小化するためのグローバル安定時刻（GST）計算の最適性を証明する。
• 制御された遅延を導入することで、クライアント移行中にさらに遅延を低減する実用的最適化を提供する。

提案手法

• 物理時刻を用いて、FIFO通信チャネルを介して時刻の単調増加を保証することで、すべての更新をサーバー間で全順序に並び替える。
• グローバル安定時刻（GST）を、すべての時刻 ≤ GST の更新が、サーバーに確実に受信されているという最新の時刻として定義する。
• 他のサーバーから受信した最大時刻に基づいて、各サーバーでGSTを計算し、保留中または欠落している更新を除外することで、因果関係を保証する。
• クライアントが任意のサーバーから読み取り可能であり、自由に移行可能であり、GSTを用いて因果的に整合するバージョンを特定する。
• システムの動的変化（例：サーバーまたはキーの追加・削除）の間でも、GSTが非減少になるように維持するメカニズムを導入し、整合性を保証する。
• クライアント移行中に制御された遅延を導入することで、リモート更新可視化遅延を低減する性能最適化を実施する。

実験結果

リサーチクエスチョン

• RQ1 因果的整合性を保つ一般の部分複製、すなわち各サーバーがデータの任意の部分集合を格納する状況において、グローバル安定化を拡張可能か？
• RQ2 一般の部分複製における因果的整合性を保ちながら、リモート更新可視化遅延を最小化できる最適な遅延は何か？
• RQ3 部分複製システムにおいてクライアントがサーバー間を移行する際、因果的整合性をどのように維持できるか？
• RQ4 クライアント移行時に制御された遅延を導入する場合、遅延と整合性の間にはどのようなトレードオフが存在するか？
• RQ5 部分複製下で、提案されたGST計算は、GentleRainなどの先行研究と比較して性能面でどのように差をつけるか？

主な発見

• 本稿で提案されたGST計算は、一般の部分複製下でリモート更新可視化遅延を最小化する最適性を、論文で証明している。
• アルゴリズムは、各サーバーが任意のキーのサブセットを格納する任意の部分複製をサポートしており、クライアントが追加の調整なしに任意のサーバーにアクセス可能である。
• メタデータサイズは、サーバー数、クライアント数、キー数に依存せず一定であり、先行手法が要求する超線形メタデータとは異なり、優れたスケーラビリティを有する。
• シミュレーション結果から、本稿で提案されたGST計算は、部分複製下でGentleRainを上回るリモート更新可視化遅延性能を示している。
• クライアント移行中に制御された遅延を導入することで、さらにリモート更新可視化遅延を低減でき、遅延と整合性の間のチューナブルなトレードオフを提供する。
• システムの動的変化（例：サーバーまたはキーの変更）の間でも、GSTが非減少になるように保証することで、因果的整合性を維持する。