[論文レビュー] Locally Solvable Tasks and the Limitations of Valency Arguments

Hagit Attiya, Armando Castañeda+1 more|arXiv (Cornell University)|Jan 1, 2021

Distributed systems and fault tolerance被引用数 3

ひとこと要約

本稿では、集合同意とリネームの不可能性を、コンSENSUSのFLP証明に類似した局所的不可能性証明では証明できないことを示している。本稿は、バリエンシー・タスクの概念を導入し、両方のタスクにおいて、いかなるプロトコルでも1ラウンドで局所的にバリエンシー・タスクを解けることを示している。これは、バリエンシーにコミットした後でも誤りを隠すことができるということであり、したがってFLP風の局所的証明は不可能であることを示している。

ABSTRACT

An elegant strategy for proving impossibility results in distributed computing was introduced in the celebrated FLP consensus impossibility proof. This strategy is local in nature as at each stage, one configuration of a hypothetical protocol for consensus is considered, together with future valencies of possible extensions. This proof strategy has been used in numerous situations related to consensus, leading one to wonder why it has not been used in impossibility results of two other well-known tasks: set agreement and renaming. This paper provides an explanation of why impossibility proofs of these tasks have been of a global nature. It shows that a protocol can always solve such tasks locally, in the following sense. Given a configuration and all its future valencies, if a single successor configuration is selected, then the protocol can reveal all decisions in this branch of executions, satisfying the task specification. This result is shown for both set agreement and renaming, implying that there are no local impossibility proofs for these tasks.

研究の動機と目的

• 集合同意とリネームの不可能性証明が、なぜ歴史的にグローバルな位相的議論に依存してきたのかを説明すること。
• 集合同意とリネームのバリエンシー・タスクの概念を形式化し、現在のバリエンシーに基づく将来の意思決定を捉えること。
• このようなバリエンシー・タスクが待ち合わせモデルにおいて1ラウンドで局所的に解けることを示し、したがって局所的不可能性証明が存在しないことを示すこと。
• プロトコルが、コンセンサスとは異なり、高次元の意思決定空間において誤りを「隠す」ことができることを確立すること。
• 弱い対称性打破への分析を拡張し、還元を用いてリネームに関する結果を導出すること。

提案手法

• 配置とその後続配置（それぞれにバリエンシーが割り当てられている）によって定義されるバリエンシー・タスクの概念を導入する。
• 局所的解法可能性を、任意の後続配置から1ラウンド内で一貫性があり完全な意思決定を生成できる能力として定義する。
• 組合せ的位相論を用いて、配置およびラウンドを跨いでバリエンシー集合の包含関係と縮小を分析する。
• 既知のリネームと弱い対称性打破の間の還元を活用し、局所的解法可能性の結果を拡張する。
• 任意の配置とそのバリエンシー割り当てに対して、すべての拡張において一貫性を持って意思決定を明らかにできることを証明する。この際、タスク仕様を保持する。
• バリエンシーの有効性、包含関係、縮小性が、単体複体のすべての単体レベルにわたり成り立つことを確立する。

実験結果

リサーチクエスチョン

• RQ1 なぜ集合同意とリネームの不可能性証明は、局所的議論ではなく、グローバルな位相的不変量に依存してきたのか？
• RQ2 バリエンシー割り当てが与えられた場合、集合同意またはリネームのプロトコルは、任意の選択された後続配置から一貫性のある意思決定を局所的に明らかにできるか？
• RQ3 このようなタスクに対して、局所的不可能性証明の形式的定義は存在するか？もし存在するならば、それを排除できるか？
• RQ4 集合同意とリネームにおける意思決定空間の高次元構造は、コンセンサスとは異なり、誤りを「隠す」ためにどのように機能するか？
• RQ5 特にリネームと弱い対称性打破の間の還元において、バリエンシー・タスクの局所的解法可能性は保持されるか？

主な発見

• 任意の配置とその後続配置（バリエンシーが割り当てられている）に対して、待ち合わせモデルにおいて1ラウンドで集合同意のバリエンシー・タスクを局所的に解ける。
• 同様に、リネームと同等のタスクである弱い対称性打破に対しても、局所的解法可能性が成り立つ。これは、リネームに対しても局所的不可能性証明が存在しないことを示している。
• 集合同意とリネームのバリエンシー・タスクは、単体複体のすべての単体レベルで有効性、包含関係、縮小性を満たす。
• バリエンシーにコミットした後でも、意思決定は常にバリエンシーおよびタスク仕様と一貫性を持つように明らかにできる。
• 集合同意とリネームの局所的証明の不可能性は、位相的に説明できる。誤りは高次元空間を移動させることができ、コーナーに追いやられない。
• すべてのプロセスが同じラウンドで意思決定するという仮定のもとでも、結果は成り立つ。これは待ち合わせ同等性のため、一般性を制限しない。