[論文レビュー] Self-Stabilizing Byzantine Pulse Synchronization

Ariel Daliot, Danny Dolev|ArXiv.org|Aug 24, 2006

Nonlinear Dynamics and Pattern Formation参考文献 6被引用数 16

ひとこと要約

この論文は、n > 3f 個のノードからなるネットワークにおいて、一時的障害および最大f 個のバシルトイン障害が発生しても、すべての正常ノードが3d の時間ウィンドウ内でパルスを生成することを保証する自己安定型バシルトインパルス同期アルゴリズムを提示する。アルゴリズムは、制限されたメッセージ配信遅延（d）と耐障害性のあるコンセンサスメカニズムを用いて、一定数のパルスサイクル内で収束を達成し、過酷な障害環境下での信頼性の高い協調を可能にする。

ABSTRACT

The ``Pulse Synchronization'' problem can be loosely described as targeting to invoke a recurring distributed event as simultaneously as possible at the different nodes and with a frequency that is as regular as possible. This target becomes surprisingly subtle and difficult to achieve when facing both transient and permanent failures. In this paper we present an algorithm for pulse synchronization that self-stabilizes while at the same time tolerating a permanent presence of Byzantine faults. The Byzantine nodes might incessantly try to de-synchronize the correct nodes. Transient failures might throw the system into an arbitrary state in which correct nodes have no common notion what-so-ever, such as time or round numbers, and can thus not infer anything from their own local states upon the state of other correct nodes. The presented algorithm grants nodes the ability to infer that eventually all correct nodes will invoke their pulses within a very short time interval of each other and will do so regularly. Pulse synchronization has previously been shown to be a powerful tool for designing general self-stabilizing Byzantine algorithms and is hitherto the only method that provides for the general design of efficient practical protocols in the confluence of these two fault models. The difficulty, in general, to design any algorithm in this fault model may be indicated by the remarkably few algorithms resilient to both fault models. The few published self-stabilizing Byzantine algorithms are typically complicated and sometimes converge from an arbitrary initial state only after exponential or super exponential time.

研究の動機と目的

• 一時的および恒久的バシルトイン障害が発生する分散システムにおけるパルス同期問題を解決すること。
• 初期同期化や共通の初期化に依存しないようにし、任意の状態からの自己安定性を実現すること。
• バシルトイン障害の影響を受けても、正常ノードが最終的に狭い時間窓内でパルスイベントを同期することを保証すること。
• 効率的で汎用的な自己安定型バシルトインプロトコルを構築する基盤を提供すること。

提案手法

• パルスイベントを調整するための周期的「提案-パルス」「支援-パルス」「リセット」メッセージを用いたサイクルベースの構造を採用する。
• 制限されたメッセージ配信遅延（d）を用いて時間制約を強制し、矛盾した合意を防ぐために少なくとも5d の意思決定分離を確保する。
• 正常ノードからの十分な支持が得られた後でのみパルスを発行する閾値ベースのメカニズムを導入し、一時的状態からの誤ったパルスを防止する。
• タイミングの一貫性を維持し、ずれを検出するためにサイクルカウンタダウン機構を用いる。
• 同じ送信者からの同時意思決定を回避するため、タイムリネス分離特性を活用する。
• 回復中のノードは、古い状態をクリアし正常ノードのサイクルカウンタダウンに合わせることで、Δ_node 時間以内に再初期化および同期する。

実験結果

リサーチクエスチョン

• RQ1 初期グローバル整合性を仮定しない自己安定型アルゴリズムが、バシルトイン耐性を持つパルス同期を達成できるか？
• RQ2 一時的およびバシルトイン障害が発生する状況下で、パルス同期の最小収束時間は何か？
• RQ3 局所状態が一時的障害によって損傷している場合、ノードはどのようにグローバル進捗を推定し、パルスを同期できるか？
• RQ4 バシルトインノードと制限されたメッセージ遅延が存在する状況で、達成可能な最もタイトなパルス同期ウィンドウは何か？
• RQ5 収束後も、障害のあるノードがタイミングを乱そうとしても、システムは同期を永遠に維持できるか？

主な発見

• アルゴリズムは、すべての正常ノードが互いに3d の時間ウィンドウ内でパルスを発行することを達成し、3d のタイトな同期を実現する。
• システムが整合的になると、4つのサイクル期間以内に収束し、必要なパルスサイクル数が一定である。
• 最小パルス間隔は cycle_min = Cycle - 11d であり、最大は cycle_max = Cycle + 9d である。
• 収束後、任意の cycle_min 間には、正常ノードが1回を超えてパルスを発行しない。また、cycle_max 間には少なくとも1回のパルスが発行される。
• 回復中のノードは、Δ_node 時間以内に正常ノードと同期し、シームレスな統合が可能である。
• 収束後、システムは無限に同期を維持でき、収束性および閉包性の両方を満たす。