[論文レビュー] Self-Stabilizing Paxos

Peva Blanchard, Shlomi Dolev+2 more|arXiv (Cornell University)|May 18, 2013

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

ひとこと要約

この論文は、任意の一時的故障からの自動回復を可能にする非同期メッセージパッシングシステム向けの最初の自己安定Paxosアルゴリズムを提示している。事前に定義された初期構成が不要である。自己安定なバウンデッドタイムスタンプと耐障害性のあるメッセージ処理を統合することで、最終的に合意形成と状態マシンの整合性が保証され、任意の一時的故障後に安全かつ活性性が回復する実用的な安定化を達成する。

ABSTRACT

We present the first self-stabilizing consensus and replicated state machine for asynchronous message passing systems. The scheme does not require that all participants make a certain number of steps prior to reaching a practically infinite execution where the replicated state machine exhibits the desired behavior. In other words, the system reaches a configuration from which it operates according to the specified requirements of the replicated state-machine, for a long enough execution regarding all practical considerations.

研究の動機と目的

• 古典的なPaxosに自己安定性が欠如していること、特に破損したタイムスタンプなどの任意の一時的故障から回復できないことに対処すること。
• 初期構成の一貫性を仮定しない非同期メッセージパッシングシステム向けに、自己安定な合意形成およびレプリカ状態マシンを設計すること。
• 任意の初期構成から出発しても、一時的故障後に最終的に正しく動作するよう保証し、安全かつ活性性が回復することを確実にすること。
• 従来の自己安定共有メモリ合意形成の制限を克服し、任意のメッセージ集合およびラベル値を想定したメッセージパッシング環境に適応させること。
• 実際の目的で正しい安定状態に到達する実用的な安定化モデルを提供すること。一時的故障後でも、実用的観点から正しく安定した状態に到達可能である。

提案手法

• 初期値が任意であっても、一貫した順序付けを保証する自己安定バウンデッドタイムスタンプ機構を統合する。
• 2段階プロトコル（段階1：準備、段階2：受容）を用い、メッセージタグ付けと状態追跡により安全かつ活性性を確保する。
• 受信したメッセージに基づいて、命令履歴と提案順序の管理に関数 ν^s と ν^t を用いた動的状態更新メカニズムを採用する。
• 現在のステップ値に合わせて命令シーケンスを調整するための切断ルーチンを実装し、レプリカ間の整合性を保証する。
• 提案者がその提案が取り消された場合、または状態変更が検出された場合に再び段階1に復帰する予防的決定メカニズムを採用する。
• 一貫性と順序付けに基づき、受信した提案を受容するか拒否するかを判断するためのメッセージフィルタリングと条件チェック（C+ および C−）に依存する。

実験結果

リサーチクエスチョン

• RQ1 初期構成が仮定されない非同期メッセージパッシングシステムにおいて、自己安定合意アルゴリズムを設計できるか？
• RQ2 複数のプロポーザーにまたがる自己安定バウンデッドタイムスタンプをどのように組み合わせれば、最終的に厳密なイベント順序付けが保証されるか？
• RQ3 破損したタイムスタンプ値やメッセージの一貫性欠如などの任意の一時的故障から、システムがどのように回復できるか？
• RQ4 初期構成の一貫性が保証されないメッセージパッシングの文脈下で、自己安定的にレプリケートされた状態マシンを実装するにはどのようなメカニズムが必要か？
• RQ5 この文脈において「実用的安定化」とは何を意味するのか？また、実世界のシステムにおいて、古典的自己安定性とどのように異なるか？

主な発見

• 提案されたアルゴリズムは実用的安定化を達成しており、任意の初期状態から出発しても、安全かつ活性性が実用的観点で保証される正しい安定状態に到達する。
• 再起動や事前定義された初期状態が不要な状態で、破損したタイムスタンプ値やメッセージの一貫性欠如などの一時的故障からも回復可能である。
• 自己安定バウンデッドタイムスタンプの統合により、初期ラベルが任意または一貫性がなくても、正しい提案順序付けが保証される。
• すべての正常なレプリカが最終的に同じ命令シーケンスに合意するよう保証され、Paxosの安全・活性性特性が維持される。
• 動的命令シーケンスをサポートする一般化Paxosを実現し、状態の是正と切断によりメッセージの再順序化や損失に対処する。
• 一時的故障が有限時間で終了するという仮定の下で正しさが証明されており、最終的に正しい動作に収束することが保証される。