[论文解读] 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

一句话总结

本文证明，无法使用类似于FLP证明共识的局部不可能性论证来证明集合一致性和重命名是不可能的。它引入了‘可取值任务’（valency tasks）的概念，并表明对于这两类任务，任何协议都能在一回合内局部解决可取值任务，这意味着即使在承诺了可取值之后，错误也能被隐藏，从而排除了类似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.

研究动机与目标

• 解释为何集合一致性和重命名的不可能性证明历史上依赖于全局拓扑论证而非局部FLP风格推理。
• 形式化集合一致性与重命名的可取值任务概念，捕捉基于当前可取值对未来决策的约束。
• 表明此类可取值任务在无等待模型下一回合内可局部求解，意味着不存在局部不可能性证明。
• 建立协议可在高维决策空间中‘隐藏’错误，与共识中错误被‘困在角落’的情况不同。
• 将分析扩展至弱对称性破坏问题，并通过归约推导出重命名的相关结果。

提出的方法

• 引入可取值任务的概念，其由一个配置及其后续配置（附带可取值）定义。
• 将局部可解性定义为：从任意后续配置出发，能在一回合内产生一致且完整的决策。
• 使用组合拓扑分析配置与轮次之间可取值集合的包含关系与收缩性质。
• 利用已知的重命名与弱对称性破坏之间的归约关系，将局部可解性结果扩展至其他问题。
• 证明：对于任意配置及其可取值分配，所有扩展中均可一致地揭示决策，且保持任务规范。
• 建立可取值的合法性、包含性与收缩性在单纯复形所有单形层级上均成立。

实验结果

研究问题

• RQ1 为何集合一致性和重命名的不可能性证明依赖于全局拓扑不变量而非局部论证？
• RQ2 在给定可取值分配的前提下，集合一致性或重命名的协议能否从任意选定的后续配置中局部揭示一致的决策？
• RQ3 是否存在这些任务的局部不可能性证明的正式概念？若存在，能否被排除？
• RQ4 集合一致性与重命名中决策空间的高维结构如何使协议相较于共识能‘隐藏’错误？
• RQ5 在归约下（特别是重命名与弱对称性破坏之间），可取值任务的局部可解性是否得以保持？

主要发现

• 在无等待模型下，对于任意配置及其带有可取值的后续配置，协议可在一回合内局部求解集合一致性的可取值任务。
• 相同结论对弱对称性破坏也成立（该问题与重命名等价），意味着重命名同样不存在局部不可能性证明。
• 集合一致性和重命名的可取值任务在单纯复形的所有单形层级上均满足合法性、包含性与收缩性。
• 协议总能揭示与可取值及任务规范一致的决策，即使在比终止早一回合就已承诺可取值的情况下亦然。
• 集合一致性和重命名不存在局部证明的根源在于拓扑结构：错误可在高维空间中移动而不会被‘困住’。
• 即使假设所有进程在同一回合内决定，该结果依然成立，且此假设不损失一般性，因与无等待等价性成立。