[論文レビュー] PALE: Partially Asynchronous Agile Leader Election

Bronislav Sidik, Rami Puzis+2 more|arXiv (Cornell University)|Jan 11, 2018

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

ひとこと要約

PALE は、ネットワーク安定性やグローバル同期を必要とせず、限定的な仮定（メッセージ遅延と時計ジッタの上限）のもとで、動的で部分的に非同期な分散システムにおけるリーダー選挙アルゴリズムを提示する。ノードの継続的な参加・障害・ジッタを示す高ランクノードに対しても、有限時間内に終了し、一意性と合意を保証する。これは、アクティブなノードのランクを増加させることで達成され、安定状態では O(n) ラウンドおよび O(1) 時間平均メッセージ複雑性を達成する。

ABSTRACT

Many tasks executed in dynamic distributed systems, such as sensor networks or enterprise environments with bring-your-own-device policy, require central coordination by a leader node. In the past it has been proven that distributed leader election in dynamic environments with constant changes and asynchronous communication is not possible. Thus, state-of-the-art leader election algorithms are not applicable in asynchronous environments with constant network changes. Some algorithms converge only after the network stabilizes (an unrealistic requirement in many dynamic environments). Other algorithms reach consensus in the presence of network changes but require a global clock or some level of communication synchronization. Determining the weakest assumptions, under which leader election is possible, remains an unresolved problem. In this study we present a leader election algorithm that operates in the presence of changes and under weak (realistic) assumptions regarding message delays and regarding the clock drifts of the distributed nodes. The proposed algorithm is self-sufficient, easy to implement and can be extended to support multiple regions, self-stabilization, and wireless ad-hoc networks. We prove the algorithm's correctness and provide a complexity analysis of the time, space, and number of messages required to elect a leader.

研究の動機と目的

• 非常に動的で部分的に非同期な分散システムにおけるリーダー選挙の未解決問題に取り組むこと。
• ネットワーク安定性、グローバル時計、同期通信ラウンドに依存しないようにすること。
• 頻繁なノード参加、障害、ジッタを示す高ランクノードを伴う環境でもリーダー選挙を可能にすること。
• 弱い同期と安定性仮定のもとで正しさ（合意形成、一意性、有限時間内終了）を達成すること。
• マルチリージョン統合、自己安定化、無線アドホックネットワークといった実用的拡張をサポートすること。

提案手法

• ノードのランクを物理的特性（CPU速度、メモリ）に基づけ、同一の場合は固有IDを優先順位として使用する、改良版ブルー・アルゴリズムを採用する。
• メッセージ遅延が上限あり、任意のメッセージ順序を許容するが、グローバル同期なしの信頼性のあるブロードキャストを採用する。
• ローカルタイマーに基づく非同期ラウンドを定義し、時計ジッタには上限が存在するが、オフセットの仮定はしない。
• 自身がブロードキャストドメイン内で最も強いとみなすノードのみが 'BeepMsg' メッセージを送信することで通信負荷を低減する。
• リーダー障害を検出すると、ジッタのないノードに対してランクを増加させることで、競合する高ランクノードによる循環を解消する。
• 永続的ストレージなしで、一時的なメモリ内の優先度キューを用いて受信ノードの識別子とランクを格納する。

実験結果

リサーチクエスチョン

• RQ1 ノードの参加・退出が無制限に発生し、ネットワーク安定性がない部分的に非同期なネットワークでも、リーダー選挙が達成可能か？
• RQ2 有限時間内にリーダー選挙を可能にするために必要な、メッセージ遅延と時計ジッタに関する最も弱い仮定は何か？
• RQ3 2つの高ランクノードが継続的に障害・回復を繰り返し、お互いに交換される状況でも、リーダー選挙は正しく終了可能か？
• RQ4 最小限の同期と永続的メモリなしの状態でも、アルゴリズムは正しさと効率性を維持可能か？
• RQ5 マルチリージョン統合、自己安定化、無線アドホックネットワークへの適応といった拡張は可能か？

主な発見

• PALE は、少なくとも1つのノードが選挙可能になるまで十分に長く生存する限り、継続的なノードの参加・退出やジッタを示す高ランクノードが存在する状況でも、有限時間内に終了を保証する。
• アルゴリズムは、メッセージ遅延の上限とランク増加メカニズムにより、合意形成とリーダーの一意性を確保する。
• 最悪ケースでは、PALE は最も遅いノードの時計に基づいて O(n) ラウンドで終了する。ここで n はノード数である。
• 安定状態では、総メッセージ複雑性が O(n) であり、1ラウンドあたりの時間平均で O(1) のメッセージコストを達成する。
• 最も強いノードが安定している場合、参加者リストの維持と選択的ブロードキャストにより、リーダーの置き換えに必要な総メッセージ数は O(1) にとどまる。
• マルチリージョン統合、自己安定化、および調整された遅延上限を用いた多ホップ無線アドホックネットワークへの適応といった実用的拡張をサポートする。