[論文レビュー] The Impact of Topology on Byzantine Containment in Stabilization

Swan Dubois, Toshimitsu Masuzawa+1 more|arXiv (Cornell University)|May 7, 2010

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

ひとこと要約

本稿では、自己安定化システムにおけるByzantine故障のための、トポロジーに依存する厳密安定化の緩和された包含モデルであるトポロジーに配慮した厳密安定化を導入し、最大メトリック木構築のための最適プロトコルを提示する。厳密安定化とは異なり、この問題ではグローバルな問題として不可能であるが、提案されたプロトコルは、Byzantine影響をネットワークトポロジーに依存する包含領域に限定することで、新しいモデルの不可能性境界に対して最適な包含を達成する。

ABSTRACT

Self-stabilization is an 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 system that permits to cope with arbitrary malicious behaviors. We consider the well known problem of constructing a maximum metric tree in this context. Combining these two properties prove difficult: we demonstrate that it is impossible to contain the impact of Byzantine nodes in a self-stabilizing context for maximum metric tree construction (strict stabilization). We propose a weaker containment scheme called topology-aware strict stabilization, and present a protocol for computing maximum metric trees that is optimal for this scheme with respect to impossibility result.

研究の動機と目的

• 最大メトリック木構築といったグローバル問題において、Byzantine故障下での厳密安定化が不可能であることを解決すること。
• ネットワークトポロジーに基づいて制限されるByzantine影響を許容する、より弱い包含モデル—トポロジーに配慮した厳密安定化—を提案すること。
• この新しいモデル下で最大メトリック木構築を解くプロトコルを設計し、最小の包含領域を達成すること。
• この問題において厳密安定化が不可能であることを示し、新たな包含フレームワークの必要性を正当化すること。

提案手法

• ネットワークトポロジーおよびByzantineノードの位置に依存する包含領域を有する、トポロジーに配慮した厳密安定化の概念を導入する。
• 包含領域を、Byzantineプロセスによって無限に妨害される可能性がある正しく動作するプロセスの集合として定義する。
• 局所的なメトリクスと隣接プロセスの情報に基づくガardedアクションを用いて、最大メトリック木を計算する分散プロトコルSSMAXを設計する。
• メトリクスの伝搬とレベルベースの状態管理を用いて、有効な最大メトリック木への収束を保証する。
• 有限時間内に正しい構成に到達可能であることを示す補題を用いて、閉包性および収束性を証明する。
• 新しいモデル下での理論的下限値と一致することを示すことにより、最適性を確立する。

実験結果

リサーチクエスチョン

• RQ1 Byzantine故障が存在する状況下で、最大メトリック木構築に対して厳密安定化は可能か？
• RQ2 固定半径ではなく、ネットワークトポロジーに依存して制限されるByzantine影響を許容する、より弱い包含モデルを定義できるか？
• RQ3 Byzantine故障下で最大メトリック木構築を解く自己安定化プロトコルの最小可能な包含領域は何か？
• RQ4 新しい包含モデル下で、この最小包含領域を達成するプロトコルを設計できるか？
• RQ5 グローバル問題が、トポロジーに配慮した厳密安定化解を許容するための条件は何か？

主な発見

• グローバルな因果関係の鎖が存在するため、事前に示された研究および本稿で再確認されたように、最大メトリック木構築に対して厳密安定化は不可能である。
• 提案されたトポロジーに配慮した厳密安定化モデルは、包含半径をトポロジーに依存する包含領域に緩和することで、新たな可能結果を可能にする。
• SSMAXプロトコルは、任意の初期構成から有限時間内に正しい最大メトリック木に収束する。
• SSMAXプロトコルの包含領域は最適であり、本稿で確立された理論的下限値と一致する。
• プロトコルは、Byzantineノードによって無限に妨害される可能性があるのは包含領域内のプロセスに限定され、この集合は新しいモデル下で最小化されている。
• SSMAXのすべての実行は、最終的かつ永続的に正しい構成に到達するため、自己安定性および新しい包含モデルの正しさが証明される。