[論文レビュー] Maximum Metric Spanning Tree made Byzantine Tolerant

Swan Dubois, Toshimitsu Masuzawa+1 more|arXiv (Cornell University)|Apr 28, 2011

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

ひとこと要約

本稿では、任意の数のビザンチン障害に耐性のある分散システムにおいて、最大メトリック全域木を構築するための、初めてのトポロジーに配慮した強安定プロトコルを提示する。このようなプロトコルが存在するための必要十分条件を確立し、強安定性が、メトリックが強く最大可能であり、かつ包含半径が max{0, |M(S)|−2} 以上である場合に限り可能であることを証明。有限の収束時間で最適な障害包含を達成する。

ABSTRACT

Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of all memories in the system. Byzantine tolerance is an attractive feature of distributed systems that permits to cope with arbitrary malicious behaviors. This paper focus on systems that are both self-stabilizing and Byzantine tolerant. We consider the well known problem of constructing a maximum metric tree in this context. Combining these two properties is known to induce many impossibility results. In this paper, we provide first two impossibility results about the construction of maximum metric tree in presence of transients and (permanent) Byzantine faults. Then, we provide a new self-stabilizing protocol that provides optimal containment of an arbitrary number of Byzantine faults.

研究の動機と目的

• グローバル分散タスクにおいて自己安定性とビザンチン耐性を組み合わせることの可能性を調査すること。特に、最大メトリック全域木の構築を対象とする。
• 一時的障害とビザンチン障害が存在する状況下で、強安定性が達成できない根本的な不可能性を特定すること。
• ビザンチン障害の影響を最適に制限しつつ、有限の収束時間を保証するプロトコルを設計すること。
• この文脈における強安定プロトコルが存在するための必要十分条件を確立すること。

提案手法

• 著者らは、強安定性を可能にする鍵となる性質として、強く最大可能なメトリックを定義し、BFS や最短経路メトリックに関する先行研究を一般化する。
• ネットワークのトポロジーとメトリック構造に依存する包含半径を持つ、トポロジーに配慮した強安定化モデルを導入する。
• 局所的な意思決定を、メトリック値と隣接プロセスの状態に基づいて行う、新しい分散プロトコルを設計。このプロトコルは、最大メトリック全域木への収束を保証する。
• 固定点解析とメトリックの単調性を活用し、正常プロセスが最終的に正しい木構造に安定化することを保証する。
• プロトコルは、ネットワークの直径とメトリック特性に依存するパラメータを用いて、有限時間 t = nΠ(k,δ)ΔD で収束することが証明されている。
• プロトコルは、ビザンチン障害の影響を、任意の正常ノードから距離 max{0, |M(S)|−2} 以内のプロセスに限定することで、最適な包含を達成する。

実験結果

リサーチクエスチョン

• RQ1 ビザンチン障害が存在する状況下で、最大メトリック全域木の構築に対して強安定性を達成できる条件は何か？
• RQ2 ビザンチン障害による正常プロセスの中断が有限に制限されるために必要な最小の包含半径は何か？
• RQ3 包含領域を固定値や任意の値ではなく、トポロジーに配慮した最適なものにできるか？
• RQ4 この文脈における強安定プロトコルが存在するための必要十分条件は何か？
• RQ5 より弱いシステム仕様下でも、中断回数を有界にできるか？

主な発見

• （t,c,n−1）強安定プロトコルが存在するための必要十分条件は、メトリックが強く最大可能であること、かつ包含半径 c が max{0, |M(S)|−2} 以上であることである。
• 提案されたプロトコルは、ビザンチン障害の影響を、任意の正常プロセスから距離 max{0, |M(S)|−2} 以内のプロセスに限定することで、最適な包含を達成する。
• プロトコルは、t = nΠ(k,δ)ΔD の有限時間で収束する。ここで ΔD はネットワークの直径、Π(k,δ) はメトリック構造に依存する関数である。
• 本稿では2つの不可能性結果を証明している：非強く最大可能なメトリックでは強安定性は不可能であり、導出された下界未満の包含半径でも同様に不可能である。
• トポロジーに配慮した強安定化は、包含領域が S_B^*、つまり少なくとも1つのビザンチンノードからの距離 c 以内にあるノードの集合である場合にのみ可能であり、これは最適である。
• 本稿の結果は、一般の最大メトリック木に対するトポロジーに配慮した安定化に関する先行研究の未解決課題を解消する。