[論文レビュー] Anonymous Obstruction-free $(n,k)$-Set Agreement with $n-k+1$ Atomic Read/Write Registers

Zohir Bouzid, Michel Raynal+1 more|arXiv (Cornell University)|Jul 2, 2015

Distributed systems and fault tolerance参考文献 28被引用数 5

ひとこと要約

本稿では、n 個の匿名で非同期なプロセスが、n-k+1 個のアトミックな読み書きレジスタのみを用いて、障害がない $(n,k)$-集合同意アルゴリズムを提示する。このアルゴリズムは、プロセスのクラッシュに対しても、最大k個の異なる値が決定されることを保証する。アルゴリズムはラウンドベースの構造を採用し、競合検出と値集合の伝搬を用いることで、障害がない状態を達成する。

ABSTRACT

The $k$-set agreement problem is a generalization of the consensus problem. Namely, assuming each process proposes a value, each non-faulty process has to decide a value such that each decided value was proposed, and no more than $k$ different values are decided. This is a hard problem in the sense that it cannot be solved in asynchronous systems as soon as $k$ or more processes may crash. One way to circumvent this impossibility consists in weakening its termination property, requiring that a process terminates (decides) only if it executes alone during a long enough period. This is the well-known obstruction-freedom progress condition. Considering a system of $n$ {\it anonymous asynchronous} processes, which communicate through atomic {\it read/write registers only}, and where {\it any number of processes may crash}, this paper addresses and solves the challenging open problem of designing an obstruction-free $k$-set agreement algorithm with $(n-k+1)$ atomic registers only. From a shared memory cost point of view, this algorithm is the best algorithm known so far, thereby establishing a new upper bound on the number of registers needed to solve the problem (its gain is $(n-k)$ with respect to the previous upper bound). The algorithm is then extended to address the repeated version of $(n,k)$-set agreement. As it is optimal in the number of atomic read/write registers, this algorithm closes the gap on previously established lower/upper bounds for both the anonymous and non-anonymous versions of the repeated $(n,k)$-set agreement problem. Finally, for $1 \leq x\leq k extless{} n$, a generalization suited to $x$-obstruction-freedom is also described, which requires $(n-k+x)$ atomic registers only.

研究の動機と目的

• 匿名で非同期な $(n,k)$-集合同意における共有メモリコストの最小化という未解決問題に取り組む。
• プロセスが十分に長い間単独で実行すれば、終了を保証する障害がないアルゴリズムを設計する。
• アトミックレジスタの必要数に関する既知の下界と上界の差を埋める。
• 繰り返し $(n,k)$-集合同意および一般化された $x$-障害がない状態への拡張を行う。
• ワンショット版および繰り返し版の両方におけるレジスタ数の最適性を確立する。

提案手法

• プロセスが共有配列の $n-k+1$ 個のアトミックレジスタに対して繰り返しスナップショット操作を実行するラウンドベースのアルゴリズムを提案する。
• 各プロセスは、提案値、ラウンド番号、競合フラグ、値集合を含むローカルな四つ組を維持する。
• 競合検出メカニズムを用いる：プロセスが $\text{cf}_\ell = \text{true}$ を通じて競合を検出すると、値集合を単一要素にリセットし、新しいラウンドを開始する。
• 値集合の関係が、ある時点で共通の集合の部分集合または部分集合となることを保証する修正版の補題10を活用し、決定値が最大k個に制限されることを保証する。
• 繰り返し $(n,k)$-集合同意のため、各レジスタに追加の整数を用いて、呼び出し間で状態を保持するようにアルゴリズムを拡張する。
• レジスタ数を $n-k+x$ 個に調整することで、$x$-障害がない状態に一般化する。

実験結果

リサーチクエスチョン

• RQ1 匿名で非同期なシステムにおけるクラッシュ障害を想定した場合、$(n,k)$-集合同意を $n-k+1$ 個のアトミックレジスタでのみ解けるか？
• RQ2 匿名な環境において、最小の共有メモリで障害がない状態を達成することは可能か？
• RQ3 $x$-障害がない状態下で、繰り返し $(n,k)$-集合同意に必要な最適なアトミックレジスタ数は何か？
• RQ4 $x$-障害がない状態下で、アルゴリズムはどのようにスケーリングされ、それに応じたレジスタコストは何か？
• RQ5 SWMRレジスタのシミュレーションを一切行わずに、最適なレジスタ使用量を達成できるようにアルゴリズムを設計できるか？

主な発見

• 提案されたアルゴリズムは、実際に $n-k+1$ 個のアトミック読み書きレジスタを用いる。これは、匿名システムにおける障害がない $(n,k)$-集合同意の、これまでに知られている最小の上界である。
• 繰り返し $(n,k)$-集合同意問題においても、このアルゴリズムは事前に確立された下界 $n-k+1$ レジスタと一致するため、最適性を達成する。
• x-障害がない状態では、$n-k+x$ 個のレジスタを必要とし、より弱い進行条件に一般化された結果を提供する。
• アルゴリズムは、正当性、合意、障害がない状態のすべてを満たす $k$-集合同意を達成する。
• 基本的なアルゴリズムでは、提案値、ラウンド番号、および各レジスタあたり2ビットのローカル変数以外に、永続的なローカル変数は不要である。
• アルゴリズムの正しさは、実行中に $k$-合意性が保持されるように値集合の関係を保証する、補題10の洗練版に依存している。