[論文レビュー] Termination Detection of Local Computations

Emmanuel Godard, Yves Métivier+1 more|arXiv (Cornell University)|Jan 18, 2010

Distributed systems and fault tolerance参考文献 41被引用数 6

ひとこと要約

本稿は、分散局所計算における4種類の終了検出（暗黙的、局所的、観察的、グローバル）の形式的特徴付けを提示する。グラフ被覆と準被覆を用いて、厳密な階層を確立し、グローバル終了検出が特別に構造化されたネットワークでのみ可能であることを示している。一方、局所的検出は一様なタスクに限られる。主な貢献は、終了検出をグラフ論的性質と結びつける統一的枠組みを提供することであり、選挙問題への応用や分散アルゴリズム設計における広範な意味を持つ。

ABSTRACT

Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the problem of the detection of the termination of local computations. We define four types of termination detection: no detection, detection of the local termination, detection by a distributed observer, detection of the global termination. We give a complete characterisation (except in the local termination detection case where a partial one is given) for each of this termination detection and show that they define a strict hierarchy. These results emphasise the difference between computability of a distributed task and termination detection. Furthermore, these characterisations encompass all standard criteria that are usually formulated : topological restriction (tree, rings, or triangu- lated networks ...), topological knowledge (size, diameter ...), and local knowledge to distinguish nodes (identities, sense of direction). These results are now presented as corollaries of generalising theorems. As a very special and important case, the techniques are also applied to the election problem. Though given in the model of local computations, these results can give qualitative insight for similar results in other standard models. The necessary conditions involve graphs covering and quasi-covering; the sufficient conditions (constructive local computations) are based upon an enumeration algorithm of Mazurkiewicz and a stable properties detection algorithm of Szymanski, Shi and Prywes.

研究の動機と目的

• 分散局所計算における異なる種類の終了検出が可能となる条件を形式的に特徴付けること。
• 分散タスクの計算可能性とその終了検出可能性の違いを明確にすること。
• グラフ論的ツールを用いて、分散システムにおける終了検出および選挙に関する既知の結果を統一的かつ一般化すること。
• 構造的知識（例：トポロジ、識別子、方向感覚）が終了検出の可能性に根本的に影響することを示すこと。
• グローバル終了検出が、故障のないシステムでさえも特別なネットワーク制約を要することを示すこと。

提案手法

• 終了検出の能力を特徴付ける中心的数学的道具として、グラフ被覆と準被覆を用いる。
• 暗黙的終了を達成するために、Mazurkiewicz列挙アルゴリズムを適用し、すべての可能な局所的状態を生成する。
• 安定性の性質を検出するために一般化されたSzymanski-Shi-Prywes（GSSP）アルゴリズムを用い、観察的またはグローバルな終了検出を可能にする。
• MazurkiewiczとGSSPアルゴリズムを組み合わせた構成的局所計算モデルを導入し、普遍的な終了検出を達成する。
• 対称的かつ曖昧なネットワーク構造を分析するために、普遍被覆の概念を活用する。
• 複雑な終了検出問題を、有界な準被覆半径やk枚の被覆といったグラフ論的性質に還元する。

実験結果

リサーチクエスチョン

• RQ1 分散システムにおける局所計算の終了検出が可能となるために必要な十分条件は何か？
• RQ2 暗黙的、局所的、観察的、グローバルな終了検出という異なる種類の検出は、計算能力の観点からどのように関係しているか？
• RQ3 ネットワークの構造的性質（例：トポロジ、ラベル付け、対称性）が、特定の種類の終了検出が可能かどうかをどのように決定するか？
• RQ4 匿名ネットワークにおいて選挙問題は解けるか？どのような条件下で可能か？
• RQ5 グローバル知識（例：サイズ、直径、識別子）の欠如が、終了検出の可能性およびタスクの計算可能性にどのように影響するか？

主な発見

• 4種類の終了検出の間には厳密な階層が存在する：暗黙的 ≤ 局所的 ≤ 観察的 ≤ グローバルであり、各レベルは直前のレベルよりも厳密に多くの構造的知識を要する。
• グローバル終了検出は、準被覆の半径が一様に有界であるネットワーク族に限って可能であり、これは対称性が制限された最小のグラフを特徴付ける。
• 一様なタスクに対しては、局所的終了検出はk枚の被覆が存在することによって特徴付けられるが、一般の場合の特徴付けは未解決のままである。
• 選挙問題は、匿名木構造において識別子の重複度が有界であれば解けるし、完全グラフにおいて識別子が一意であれば解ける。
• Mazurkiewiczアルゴリズム（列挙用）と一般化されたSSPアルゴリズム（安定性検出用）の組み合わせにより、事前の境界に依存しない真正に分散された終了検出が可能になる。
• 障害だけでなく、構造的知識の欠如（例：一意な識別子や直径の推定値の欠如）からも不可能性の結果が生じる。これは、構造的無知が分散システムにおける根本的障壁であることを示している。