[論文レビュー] Survey of Distributed Decision

Laurent Feuilloley, Pierre Fraigniaud|arXiv (Cornell University)|Jun 14, 2016

Distributed systems and fault tolerance被引用数 12

ひとこと要約

本稿は、分散コンピューティングのさまざまなモデルにおける分散的意思決定および検証を調査し、システムの構成がブール述語を満たすかどうかをチェックすることに焦点を当てている。決定および検証クラスの階層を導入し、論理および自動機械理論と接続し、局所性、匿名性、証明書サイズなどの制約下での分散チェックの限界を特徴づけている。

ABSTRACT

We survey the recent distributed computing literature on checking whether a given distributed system configuration satisfies a given boolean predicate, i.e., whether the configuration is legal or illegal w.r.t. that predicate. We consider classical distributed computing environments, including mostly synchronous fault-free network computing (LOCAL and CONGEST models), but also asynchronous crash-prone shared-memory computing (WAIT-FREE model), and mobile computing (FSYNC model).

研究の動機と目的

• 複数の分散コンピューティングモデルにわたる分散的意思決定および検証の理論を体系的に調査すること。
• 局所性、匿名性、耐故障性などの制約下で、どのブール述語を分散的にチェックできるかを特徴づけること。
• アイデンティティに依存する計算と依存しない計算を区別する、決定および検証クラスの正式な階層を確立すること。
• 特に対数サイズの証明書を用いた場合に、効率的な分散検証を可能にする証明書の役割を調査すること。
• 分散的意思決定と古典的計算複雑性理論との関係を探索し、多項式階層やMSO論理の類似物を含むこと。

提案手法

• 各ノードがその近傍に基づいてローカルな意見（例：受容／拒否）を計算する枠組みとして分散的意思決定を形式化し、グローバルな評決をすべての意見の論理積として定義すること。
• 異なる仮定下での決定クラス（例：LD, BPLD, LDO）およびそれらの検証対応クラス（例：Σ₁^LD, LCP, NLD）を導入し、分析すること。
• 証明書サイズが検証効率に与える影響を検討し、無制限サイズと対数サイズの証明書の違いを明確にすること。
• LOCALおよびCONGESTモデル、WAIT-FREEモデル、FSYNCモデル、量子強化モデルを含む、さまざまなモデルへのフレームワークの拡張。
• 通信複雑性および空間的／時間的議論を用いた還元により、意思決定および検証タスクにおける下界を導出すること。
• 分散グラフオートマトン（DGA）を有限状態モデルとして導入し、分散的意思決定階層を捉えること。DGAがグラフ上でのモノadic第二階論理（MSO）論理で表現可能な言語の集合を正確に表現することを示した。

実験結果

リサーチクエスチョン

• RQ1 局所性制約下で、分散システムの構成に関するどのブール述語を分散的に決定できるか？
• RQ2 ノードに一意な識別子が存在するか否かが、分散的意思決定問題の決定可能性および複雑性に与える影響は何か？
• RQ3 システムの性質を効率的に分散検証するための最小の証明書サイズは何か？
• RQ4 分散システムにおける意思決定および検証階層は、古典的複雑性階層（例：多項式階層）とどのように比較できるか？
• RQ5 分散的意思決定フレームワークは、故障に強いまたは量子強化されたモデルへ拡張可能か？その結果としての計算限界は何か？

主な発見

• LOCALおよびCONGESTモデルでは、無制限サイズの証明書を用いた分散的意思決定階層が崩壊する。これは、コンgested cliqueモデルにおいても同様に成り立つ。
• コンげストクライアントモデルにおいては、対数サイズの証明書を用いた階層も崩壊する。これは、通信制約下での表現力の本質的限界を示している。
• 分散グラフオートマトン（DGA）のクラスは、グラフ上でのモノアディック第二階論理（MSO）論理で表現可能な言語の集合を正確に表現する。これは、自動機械理論と分散論理との間に深い関係を確立している。
• ワイットフリー共有メモリコンピューティングにおいて、ワイットフリーで決定可能な言語のクラスは、射影閉じ性を満たす言語と一致する。これは、非同期環境における決定可能性の特徴づけを提供する。
• モバイルエージェントコンピューティングにおいて、クラス MAV（モバイルエージェント検証）は自然な還元の意味で完全言語を持つ。これは、明確な複雑性構造を持つことを示している。
• 分散的意思決定における下界は、多くの場合空間的または時間的制限に基づくが、共有リソースや複雑な調整メカニズムを持つモデルでは、このような議論は不十分である。