[論文レビュー] Expressive Power of Broadcast Consensus Protocols

Michael Blondin, Javier Esparza+1 more|arXiv (Cornell University)|Jan 1, 2019

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

ひとこと要約

この論文は、人口プロトコルに信頼性のあるブロードキャスト通信を追加することで、NLという複雑性クラスの完全な表現力が達成されることを示している。これは、時計や欠如検出器といったより複雑な拡張と同等の表現力を達成する。1人のエージェントが信号をブロードキャストし、他の全エージェントが信頼性を持って受信し、それに反応できるようにすることで、モデルは非決定的対数空間で決定可能なすべての述語を計算できるようになる。これは、高コストなグローバル同期メカニズムに代わる、単純で実装可能な通信プリミティブを用いることによって達成される。

ABSTRACT

Population protocols are a formal model of computation by identical, anonymous mobile agents interacting in pairs. Their computational power is rather limited: Angluin et al. have shown that they can only compute the predicates over $\mathbb{N}^k$ expressible in Presburger arithmetic. For this reason, several extensions of the model have been proposed, including the addition of devices called cover-time services, absence detectors, and clocks. All these extensions increase the expressive power to the class of predicates over $\mathbb{N}^k$ lying in the complexity class NL when the input is given in unary. However, these devices are difficult to implement, since they require that an agent atomically receives messages from all other agents in a population of unknown size; moreover, the agent must know that they have all been received. Inspired by the work of the verification community on Emerson and Namjoshi's broadcast protocols, we show that NL-power is also achieved by extending population protocols with reliable broadcasts, a simpler, standard communication primitive.

研究の動機と目的

• 信頼性のあるブロードキャスト通信が、人口プロトコルにおいて時計や欠如検出器といった複雑なグローバルプリミティブと同等の表現力を達成できるかどうかを調査すること。
• 無名で移動可能なエージェントが、人口サイズの知識なしに限られたメモリでグローバル情報を実装する課題に取り組むこと。
• ブロードキャストプロトコルがNLに属するすべての述語を計算できることを示すこと。これは、より複雑な拡張と同等の表現力を示す。
• 計算パワーを損なわずに、単一エージェントによるブロードキャストや単一信号のブロードキャストといった最小限のブロードキャスト要件を同定すること。
• リセットメカニズムが表現力を高めるかどうかを分析し、ブロードキャストベースの計算と対比すること。

提案手法

• 信頼性のあるブロードキャストを全エージェントに送信でき、応答が保証されるという特徴を持つ、新たなモデル「ブロードキャストコンセンサスプロトコル」を導入する。
• エラーを検出すると再起動を許容する弱い計算形態「サイレントセミコンピュテーション」を定義し、非決定的環境での耐障害性を実現する。
• 再起動メカニズムを用いて予期しない状態に対処することで、すべてのNL述語がサイレントセミコンピュテーション可能であることを証明する。
• サイレントセミコンピュテーションがNLにおいて完全なコンピュテーションを意味することを示し、この文脈で両者の概念が同等であることを確立する。
• 制限されたブロードキャストモデル（例：1人のブロードキャスター、1つの信号）でも、完全なNL表現力が保持されることを示すシミュレーションを構築する。
• リセットベースのプロトコルの計算パワーを分析し、それがプレスバッカー定義可能（したがって、標準的人口プロトコルの表現力内）に留まることを証明する。これにより、リセットは計算パワーを向上させないことが示される。

実験結果

リサーチクエスチョン

• RQ1 信頼性のあるブロードキャスト通信は、人口プロトコルにおいて、時計や欠如検出器といった複雑なグローバルプリミティブと同等の表現力を達成できるか？
• RQ2 単一のブロードキャスターまたは単一のブロードキャスト信号といった最小限のブロードキャスト複雑性を持つプロトコルで、すべてのNL述語をシミュレートすることは可能か？
• RQ3 すべてのエージェントを再初期化するリセットメカニズムを追加すると、ブロードキャストコンセンサスプロトコルの計算パワーが向上するか？
• RQ4 サイレントセミコンピュテーションは、ブロードキャストプロトコルにおける完全な計算の基盤として利用可能か？また、NLにおいて両者の概念は同等か？
• RQ5 完全なNL表現力を維持するために必要な最小限の通信要件（例：ブロードキャスター数、信号の種類）は何か？

主な発見

• ブロードキャストコンセンサスプロトコルは、NLという複雑性クラスに属する述語を正確に計算でき、時計や欠如検出器といったより複雑な拡張と同等の表現力を有する。
• ブロードキャストプロトコルの表現力は、カバレージ時間サービスや時計を拡張した標準的人口プロトコルと同等であるが、ブロードキャストはより単純で実装可能なプリミティブである。
• 単一のブロードキャスターでも、任意のブロードキャストプロトコルをシミュレート可能であり、グローバルな調整は必要でないことが示された。
• 受信エージェントが信号の内容に関係なく同一に反応する単一信号ブロードキャストプロトコルでも、すべてのNL述語を計算可能である。これは、信号の内容が本質的ではないことを示している。
• リセット付きプロトコルは、プレスバッカー定義可能な部分集合に留まるため、標準的人口プロトコルの表現力を超えない。
• 本論文では、ブロードキャストコンセンサスプロトコルの文脈で、サイレントセミコンピュテーションと完全なコンピュテーションがNLにおいて一致することを確立し、再起動ベースの計算の有効性を裏付けた。