[論文レビュー] Iterative Approximate Consensus in the presence of Byzantine Link Failures

Lewis Tseng, Nitin H. Vaidya|arXiv (Cornell University)|Jan 26, 2014

Distributed systems and fault tolerance参考文献 20被引用数 4

ひとこと要約

本稿は、無知な敵が通信リンクを一時的に改ざんする可能性がある任意の有向グラフにおいて、反復的近似コンSENSUSを解くためのタイトな必要十分条件を提示する。手法は有界メモリを用いた反復的平均化であり、行列解析とエルゴドリシティの上限を活用して、故障したリンクがあっても$ε$-同意に到達することを保証し、グラフに依存する有限回の反復内で収束することを証明する。

ABSTRACT

This paper explores the problem of reaching approximate consensus in synchronous point-to-point networks, where each directed link of the underlying communication graph represents a communication channel between a pair of nodes. We adopt the transient Byzantine link failure model [15, 16], where an omniscient adversary controls a subset of the directed communication links, but the nodes are assumed to be fault-free. Recent work has addressed the problem of reaching approximate consen- sus in incomplete graphs with Byzantine nodes using a restricted class of iterative algorithms that maintain only a small amount of memory across iterations [22, 21, 23, 12]. However, to the best of our knowledge, we are the first to consider approximate consensus in the presence of Byzan- tine links. We extend our past work that provided exact characterization of graphs in which the iterative approximate consensus problem in the presence of Byzantine node failures is solvable [22, 21]. In particular, we prove a tight necessary and sufficient condition on the underlying com- munication graph for the existence of iterative approximate consensus algorithms under transient Byzantine link model. The condition answers (part of) the open problem stated in [16].

研究の動機と目的

• 通信リンクがByzantine敵に一時的に改ざんされる可能性がある有向ネットワークにおいて、近似コンセンサスを達成する問題に対処すること。
• 従来のByzantineノード障害の研究を、現実世界のネットワークでますます一般的になっているより一般的なByzantineリンク障害のケースに拡張すること。
• 反復的近似コンセンサスが、一時的Byzantineリンク障害モデル下で達成可能となるための、通信グラフに関する必要十分条件を同定すること。
• グローバルネットワーク構造の知識を必要とせず、有界メモリと軽量な反復的アルゴリズムを設計し、妥当性を保ちながら$ε$-同意を達成すること。
• [16]で提示された、この障害モデル下での可解グラフの特徴付けに関する未解決問題の一部を解決すること。

提案手法

• ネットワークを、各有向リンクが一時的Byzantine障害にさらされる通信チャネルを表す有向グラフとしてモデル化する。
• グローバルトポロジーの知識を必要とせず、局所状態のみを維持する制限付きの反復的アルゴリズムのクラスを採用する。
• 状態遷移を表すために行確率行列を用い、凸包の保存により妥当性を保証する。
• 行列積解析を用いてエルゴドリシティ係数の上限を導出し、$\delta(\Pi_{u=1}^{t} \mathbf{M}[u]) \leq (1 - \beta^{rn})^{\lfloor t/rn \rfloor}$を介して収束を証明する。
• 長期的挙動を分析し、スクランブル性を確立するために、ブロック構造を持つ行列積$\mathbf{Q}(i) = \prod_{t=(i-1)rn+1}^{irn} \mathbf{M}[t]$を導入する。
• 各ブロック行列$\mathbf{Q}(i)$がスクランブルであり、スペクトルギャップ$\lambda(\mathbf{Q}(i)) \leq 1 - \beta^{rn}$を満たすという事実を活用し、不一致をバインドして有限時間$t_{\text{end}}$以内に$\u03b5$-同意を保証する。

実験結果

リサーチクエスチョン

• RQ1 一時的Byzantineリンク障害下で反復的近似コンセンサスを達成可能とするための、通信グラフに関する必要十分条件は何か？
• RQ2 有界メモリとグローバルトポロジー知識なしに、反復的アルゴリズムがリンクがByzantineに改ざんされる状況でも近似コンセンサスを達成可能か？
• RQ3 Byzantineリンクの存在が、反復的コンセンサスプロトコルの収束時間と同意境界に与える影響は何か？
• RQ4 既存のByzantineノード障害に関する結果が、より複雑なByzantineリンク障害のケースにどの程度一般化可能か？
• RQ5 一時的Byzantineリンクモデル下で反復的コンセンサスの可解性を、タイトなグラフ理論的特徴付けで導出可能か？

主な発見

• 本稿は、一時的Byzantineリンク障害モデル下で反復的近似コンセンサスアルゴリズムの存在について、タイトな必要十分条件を確立した。
• 収束時間$t_{\text{end}}$は有限であり、グラフ構造、障害バウンド$\beta$、および所望の$\u03b5$-同意しきい値にのみ依存する。
• エルゴドリシティ係数$\delta(\Pi_{u=1}^{t} \mathbf{M}[u])$は、$\left(1 - \beta^{rn}\right)^{\lfloor t/rn \rfloor}$として指数的に減少し、迅速な収束を保証する。
• アルゴリズムは$t_{\text{end}}$反復後に$\u03b5$-同意を保証し、最終的な不一致は$|v_j[t_{\text{end}}] - v_k[t_{\text{end}}]| < \u03b5$でバインドされる。
• 証明は、各ブロック行列$\mathbf{Q}(i)$がスクランブルであり、スレッドギャップ$\lambda(\mathbf{Q}(i)) \leq 1 - \beta^{rn}$を満たすことを示すことに依存し、収縮を保証する。
• 結果として、[16]における未解決問題の一部が、Byzantineリンクが存在する状況での可解性の正確なグラフ理論的特徴付けを提供することで解決された。