[論文レビュー] On Byzantine Containment Properties of the $min+1$ Protocol

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

Distributed systems and fault tolerance参考文献 15被引用数 8

ひとこと要約

本稿は、分散システムにおける幅優先探索スパニングツリー（BFS）構築の自己安定化$min+1$プロトコルにおけるバシルタイン包含を調査する。BFSのようなグローバルタスクに対しては、厳密または強自己安定化が不可能であるにもかかわらず、著者らはトポロジーアウェアな自己安定化モデルを導入し、$min+1$プロトコルがトポロジーアウェアな厳密および強自己安定化の両条件下で最適な包含領域を達成することを証明した。これは、これらの緩和された基準下での最良の可能な解決策である。

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. We consider the well known problem of constructing a breadth-first spanning tree in this context. Combining these two properties proves difficult: we demonstrate that it is impossible to contain the impact of Byzantine nodes in a strictly or strongly stabilizing manner. We then adopt the weaker scheme of topology-aware strict stabilization and we present a similar weakening of strong stabilization. We prove that the classical $min+1$ protocol has optimal Byzantine containment properties with respect to these criteria.

研究の動機と目的

• BFSツリー構築のようなグローバルタスクに対する自己安定化分散システムにおけるバシルタイン包含の可能性を分析すること。
• バシルタイン故障が存在する状況下で、グローバル問題に対する厳密および強自己安定化が不可能であることを扱うこと。
• グローバルタスクに適した緩和された自己安定化モデルとして、トポロジーアウェアな厳密および強自己安定化を導入し、形式化すること。
• これらの新しいモデル下での$min+1$プロトコルのバシルタイン包含特性を評価すること。
• トポロジーアウェアな自己安定化モデルの両方の下で、$min+1$プロトコルが最適な包含領域を達成することを示すこと。

提案手法

• 固定された包含半径に代えて、トポロジーに依存する包含領域を用いるトポロジーアウェアな厳密自己安定化の概念を導入する。
• 固定半径ではなく包含領域を用いることで、強自己安定化基準を弱めたことにより、トポロジーアウェアな強自己安定化を定義する。
• $min+1$プロトコルを形式化する：各プロセスは、最小のレベルを持つ隣接プロセスを親として選択し、自身のレベルを1つ増加させる。
• 対称性と収束の議論を用いて、さまざまなバシルタイン行動下での包含の破壊を露呈する実行トレースを構築する。
• 対称な構成と無限の破壊を用いた背理による、標準的厳密および強自己安定化の不可能性を証明する。
• 両方のトポロジーアウェアモデル下で最小の包含領域を達成できることを示すことにより、$min+1$の最適性を確立する。

実験結果

リサーチクエスチョン

• RQ1 バシルタイン故障が存在する状況下で、BFSツリー構築に対して標準的厳密自己安定化を達成することは可能か？
• RQ2 バシルタイン故障が存在する状況下で、BFSツリー構築問題に対して強自己安定化を達成することは可能か？
• RQ3 $min+1$プロトコルは、トポロジーアウェアな厳密自己安定化下で最適な包含領域を達成するか？
• RQ4 $min+1$プロトコルは、トポロジーアウェアな強自己安定化下で最適な包含領域を達成するか？
• RQ5 リーダー選出や最大マッチングのような代替のグローバル静的タスクは、トポロジーアウェアな自己安定化解を許容するか？

主な発見

• 任意の固定された包含半径でさえも、バシルタイン故障下での標準的厳密自己安定化はBFSツリー構築に対して不可能である。
• 安定化時間や故障バウンドにかかわらず、バシルタイン故障下での標準的強自己安定化はBFSツリー構築に対して不可能である。
• トポロジーアウェアな厳密自己安定化下で、$min+1$プロトコルは最適な包含領域を達成し、包含領域はバシルタインノードから到達可能なプロセスの集合に丁度一致する。
• トポロジーアウェアな強自己安定化下で、$min+1$プロトコルは最適な包含領域を達成し、最悪ケースではシステム全体が包含領域となるが、それ以上大きくはならない。
• トポロジーアウェアな自己安定化モデル下では、$min+1$の包含領域は最小であり、これ以上改善できない。
• これらの結果は、r-オペレータを用いた深さ優先探索や信頼性スパニングツリーなど、他のグローバル静的問題へと拡張可能である。