[論文レビュー] Agreement in Directed Dynamic Networks

Martin Biely, Peter Robinson+1 more|arXiv (Cornell University)|Apr 3, 2012

Distributed systems and fault tolerance参考文献 25被引用数 11

ひとこと要約

この論文は、悪意ある敵対者によって一方向リンクが制御される同期的有向動的ネットワークにおけるコンセンサスを研究する。敵対的リンク制御のもとで、一時的に強い連結性と安定した参加ノードを要する『頂点安定ルートコンポーネント仮定』を導入し、この条件下で動作するコンセンサスアルゴリズムを提示する。このアルゴリズムが4Dの安定性ウィンドウを用いて漸近的に最適であることを証明し、Dの事前知識がなければ不可能であることを示している。

ABSTRACT

We study distributed computation in synchronous dynamic networks where an omniscient adversary controls the unidirectional communication links. Its behavior is modeled as a sequence of directed graphs representing the active (i.e. timely) communication links per round. We prove that consensus is impossible under some natural weak connectivity assumptions, and introduce vertex-stable root components as a means for circumventing this impossibility. Essentially, we assume that there is a short period of time during which an arbitrary part of the network remains strongly connected, while its interconnect topology may keep changing continuously. We present a consensus algorithm that works under this assumption, and prove its correctness. Our algorithm maintains a local estimate of the communication graphs, and applies techniques for detecting stable network properties and univalent system configurations. Our possibility results are complemented by several impossibility results and lower bounds for consensus and other distributed computing problems like leader election, revealing that our algorithm is asymptotically optimal.

研究の動機と目的

• 悪意ある敵対者によって通信リンクが制御される動的で有向なネットワークにおけるコンセンサスを達成する課題に対処すること。
• このようなシステムにおいてコンセンサスが可能となる最小限の接続性仮定を同定すること。
• 特に頂点安定ルートコンポーネントを仮定して、弱いが十分な接続性条件下で動作するコンセンサスアルゴリズムを設計すること。
• このモデルにおけるコンセンサスおよびリーダー選出の類似問題に対する不可能性結果と下界を確立すること。

提案手法

• 各ラウンドごとに有向グラフの列としてネットワークをモデル化し、有効な一方向通信リンクを表す。
• 頂点安定ルートコンポーネント仮定を導入する：すべての他のコンポーネントに外出りエッジを持つ強連結成分であり、4Dラウンドのウィンドウにわたりメンバーが安定している。
• 局所的な通信グラフの推定を維持し、一様なシステム構成の検出メカニズムを用いて安定したネットワーク特性を検出する。
• エッジの追加・削除がE''に属さない場合の不変性を示すために、帰納法とグラフ変換列を用いる。
• 二値性と一値性に基づく妥当性の議論を適用し、ルートコンポーネントが変化しない場合、1つのプロセスの状態のみが異なる2つの構成は異なる値を持つことはないという補題を活用する。
• 背理法による不可能性の証明を行う：あるラウンドのすべての構成が一値的であると仮定すると、1つのプロセスの状態のみが異なる2つの構成がある場合に矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 悪意あるリンク制御者が存在する有向動的ネットワークにおいて、どの弱い接続性仮定のもとでコンセンサスが解けるか？
• RQ2 トポロジーが連続的に変化する中で、ルートコンポーネントの安定性ウィンドウが存在する場合、コンセンサスアルゴリズムを設計できるか？
• RQ3 コンセンサスに必要な最小の安定性ウィンドウサイズは何か？ そしてそれはタイトか？
• RQ4 コンセンサスに必要なD（直径）の事前知識に下限があるか？ これはアルゴリズムの非一様性を示唆するか？
• RQ5 同じ仮定のもとで、信頼性のあるまたは因果順序ブロードキャストも不可能か？

主な発見

• 弱い接続性だけではコンセンサスは不可能であり、各ラウンドで弱連結であっても同様である。
• 頂点安定ルートコンポーネント仮定——強連結成分がメンバーとして4Dラウンドにわたり安定している——があることで、コンセンサスが可能になる。
• 提案されたコンセンサスアルゴリズムは、Dがルートコンポーネント内の任意のノードからすべてのノードに到達するのに必要な最大ラウンド数である4Dの安定性ウィンドウを必要とする。
• コンセンサスまたはリーダー選出アルゴリズムは、Dの事前境界を知る必要があるため、このモデルでは一様なアルゴリズムは存在しない。
• 安定性ウィンドウに必要な下限としてDが示され、アルゴリズムが漸近的に最適であることが証明された。
• このフレームワークはクラッシュ故障をモデル化可能であり、論文は、同様の接続性仮定が動的ネットワークにおけるByzantine耐性に十分かどうかという未解決の問題を提起している。