[论文解读] Agreement in Directed Dynamic Networks

Martin Biely, Peter Robinson+1 more|arXiv (Cornell University)|Apr 3, 2012

Distributed systems and fault tolerance参考文献 25被引用 11

一句话总结

本文研究了在同步有向动态网络中达成共识的问题，其中对手控制单向链路。它提出了顶点稳定根组件假设——即在一段临时时期内，参与节点保持强连通性且稳定——并提出了一种在此条件下可行的共识算法，证明其在4D稳定窗口下渐近最优，并展示了在事先不知晓D的情况下共识的不可能性。

ABSTRACT

We study distributed computation in synchronous dynamic networks where an omniscient adversary controls the unidirectional communication links. Its behavior is modeled as a sequence of directed graphs representing the active (i.e. timely) communication links per round. We prove that consensus is impossible under some natural weak connectivity assumptions, and introduce vertex-stable root components as a means for circumventing this impossibility. Essentially, we assume that there is a short period of time during which an arbitrary part of the network remains strongly connected, while its interconnect topology may keep changing continuously. We present a consensus algorithm that works under this assumption, and prove its correctness. Our algorithm maintains a local estimate of the communication graphs, and applies techniques for detecting stable network properties and univalent system configurations. Our possibility results are complemented by several impossibility results and lower bounds for consensus and other distributed computing problems like leader election, revealing that our algorithm is asymptotically optimal.

研究动机与目标

• 解决在通信链路由全知对手控制的动态有向网络中实现共识的挑战。
• 识别使共识在该类系统中可行的最小连通性假设。
• 设计一种在弱但充分的连通性条件下运行的共识算法，特别是顶点稳定根组件条件。
• 建立共识及相关问题（如领导者选举）的不可能性结果与下界。

提出的方法

• 将网络建模为每轮一个有向图的序列，表示活跃的单向通信链路。
• 引入顶点稳定根组件假设：一个强连通分量，其所有节点均向其他分量有出边，并在4D轮次窗口内保持成员关系稳定。
• 维护通信图的本地估计，并通过检测机制识别单值系统配置中的稳定网络属性。
• 使用归纳法与图变换序列，证明在不涉及E''中边的增删操作下，根组件的不变性。
• 基于双值性与单值性进行有效性论证，利用一个引理：若两个配置仅在单个进程的状态上不同，则当根组件未改变时，其取值性不能不同。
• 通过反证法证明不可能性：假设某一轮中所有配置均为单值，当两个此类配置仅在单个进程状态上不同时，将导致矛盾。

实验结果

研究问题

• RQ1 在对手控制链路的有向动态网络中，何种弱连通性假设可使共识可解？
• RQ2 是否可设计一种共识算法，在根组件存在稳定窗口的情况下仍能运行，即使拓扑持续变化？
• RQ3 共识所需的最小稳定窗口大小是多少？该大小是否紧致？
• RQ4 共识是否需要对D（直径）的知识存在下界？这是否意味着算法的非统一性？
• RQ5 在相同假设下，可靠广播或因果顺序广播是否也不可行？

主要发现

• 仅靠弱连通性不足以实现共识，即使每轮网络均为弱连通。
• 顶点稳定根组件假设——即一个强连通分量在4D轮次窗口内保持成员关系稳定——可使共识成为可能。
• 所提出的共识算法需要大小为4D的稳定窗口，其中D为从根组件中任意节点到达所有其他节点所需的最大轮次数。
• 任何共识或领导者选举算法都必须事先知道D的上界，这意味着在此模型中不存在统一的算法。
• 证明了所需稳定窗口大小的下界为D，表明该算法渐近最优。
• 该框架可建模崩溃故障，本文提出一个开放问题：类似的连通性假设是否足以支持动态网络中的拜占庭容错？