[論文レビュー] Asynchronous Bounded Expected Delay Networks

Rena Bakhshi, Jörg Endrullis+2 more|arXiv (Cornell University)|Mar 10, 2010

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

ひとこと要約

本稿では、非同期で信頼性の低い環境（センサーネットワークやアドホックネットワークなど）において効率的なアルゴリズム設計を可能にするために、メッセージ遅延の期待値に既知の上限があると仮定する、非同期的で期待遅延が有界な（ABE）ネットワークモデルを導入する。本稿では、匿名で単方向のリングに対して、最適なO(n)平均時間およびメッセージ量の確率的選挙アルゴリズムを提示し、解析とPRISMモデル検査によって検証している。

ABSTRACT

The commonly used asynchronous bounded delay (ABD) network models assume a fixed bound on message delay. We propose a probabilistic network model, called asynchronous bounded expected delay (ABE) model. Instead of a strict bound, the ABE model requires only a bound on the expected message delay. While the conditions of ABD networks restrict the set of possible executions, in ABE networks all asynchronous executions are possible, but executions with extremely long delays are less probable. In contrast to ABD networks, ABE networks cannot be synchronised efficiently. At the example of an election algorithm, we show that the minimal assumptions of ABE networks are sufficient for the development of efficient algorithms. For anonymous, unidirectional ABE rings of known size N we devise a probabilistic leader election algorithm having average message and time complexity O(N).

研究の動機と目的

• 同期的および完全非同期ネットワークモデルの限界を克服するため、実用性と理論的厳密性の両立を図る確率的モデルを導入すること。
• メッセージ遅延が予測不能ではあるが、期待値が既知であるような現実世界のネットワークにおいて、効率的な分散アルゴリズムの設計を可能にすること。
• 特に、期待遅延の上限が既知であるという最小限の仮定のみで、匿名で単方向のリングにおいて最適なアルゴリズムを開発できることを示すこと。
• PRISMを用いた確率的モデル検査により、提案された選挙アルゴリズムの正しさと効率性を検証すること。

提案手法

• 期待遅延に既知の上限があると仮定するABEネットワークモデルを提案し、メッセージ送信時間に関する確率的推論を可能にする。
• 最適な活性化パラメータ$\mathcal{A}_0$を用いた確率的活性化メカニズムを用いて、匿名で単方向のリング向けの確率的選挙アルゴリズムを設計する。
• 期待時間およびメッセージ量の複雑さを最小化するため、最適な活性化パラメータ$\mathcal{A}_0 = 1 - \sqrt[n]{(n-1)/(n+1)}$を導出する。
• 離散時間マルコフ連鎖を用いてアルゴリズムの挙動をモデル化し、リーダー選挙までの期待時間を計算する。
• PCTL性質を用いてPRISMモデルチェッカーを用いて正しさを形式的に検証し、ほぼ確実に1人のリーダーが選ばれることを保証する。
• リングサイズが620ノードまでを想定したシミュレーションとモデル検査を実施し、線形時間およびメッセージ量の複雑さが維持されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 期待遅延が有界であるという最小限の確率的仮定が、非同期ネットワークにおける効率的な分散アルゴリズムの設計を可能にするか。
• RQ2 ABEモデル下で、匿名で単方向のリングにおいて、O(n)の平均時間およびメッセージ量の複雑さを達成することは可能か。
• RQ3 ABEモデルにおいて、期待時間およびメッセージコストを最小化するための活性化パラメータをどのように最適化できるか。
• RQ4 確率的モデル検査を用いた形式的検証により、提案されたアルゴリズムの正しさと効率性を確認できるか。

主な発見

• 提案された選挙アルゴリズムは、匿名で単方向のABEリングにおいて、同期リングの最良の既知の結果と同等のO(n)平均時間およびメッセージ量の複雑さを達成する。
• 最適な活性化パラメータ$\mathcal{A}_0 = 1 - \sqrt[n]{(n-1)/(n+1)}$は、任意のリングサイズ$n$に対して線形複雑さを保証する。
• 最大620ノードまでのシミュレーションにより、解析的に導出された$\mathcal{A}_0$を用いることで、アルゴリズムが線形時間およびメッセージ量の複雑さを維持することが確認された。
• PRISMモデル検査により、リングサイズが7までで、アルゴリズムが確率1.0で正確に1人のリーダーを選挙することが検証された。
• $n=6$の場合、期待リーダー選挙時間は理論的予測と一致し、最適な$\mathcal{A}_0 \approx 0.0545$が得られた。
• ABEモデルは、タイムアウトベースのプロトコルの実用的分析を可能にする。これに対して、ABDモデルは固定された遅延上限を持つため、意味のあるタイムアウト分析が不可能である。