[论文解读] Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms

Bernadette Charron-Bost, Matthias Függer+1 more|Max Planck Digital Library|Aug 4, 2014

Distributed systems and fault tolerance参考文献 28被引用 6

一句话总结

该论文证明，在高度动态的网络中，近似一致性是可解的，当且仅当每一回合的通信图都包含一个有根生成树，即使根（协调者）任意变化。它表明，无记忆平均算法——无需标识符——完全刻画了可解性，并在 $ O(n^{n+1}"log\frac{1}{\varepsilon}) $ 个同步轮次内或在延迟 $ \Delta $ 下的 $ O(\Delta n^{n\Delta+1}\log\frac{1}{\varepsilon}) $ 轮次内实现 $ \varepsilon $-精度，且在结构化模型中具有多项式界。

ABSTRACT

In this paper, we investigate the approximate consensus problem in highly dynamic networks in which topology may change continually and unpredictably. We prove that in both synchronous and partially synchronous systems, approximate consensus is solvable if and only if the communication graph in each round has a rooted spanning tree, i.e., there is a coordinator at each time. The striking point in this result is that the coordinator is not required to be unique and can change arbitrarily from round to round. Interestingly, the class of averaging algorithms, which are memoryless and require no process identifiers, entirely captures the solvability issue of approximate consensus in that the problem is solvable if and only if it can be solved using any averaging algorithm. Concerning the time complexity of averaging algorithms, we show that approximate consensus can be achieved with precision of $\varepsilon$ in a coordinated network model in $O(n^{n+1} \log\frac{1}{\varepsilon})$ synchronous rounds, and in $O(Δn^{nΔ+1} \log\frac{1}{\varepsilon})$ rounds when the maximum round delay for a message to be delivered is $Δ$. While in general, an upper bound on the time complexity of averaging algorithms has to be exponential, we investigate various network models in which this exponential bound in the number of nodes reduces to a polynomial bound. We apply our results to networked systems with a fixed topology and classical benign fault models, and deduce both known and new results for approximate consensus in these systems. In particular, we show that for solving approximate consensus, a complete network can tolerate up to 2n-3 arbitrarily located link faults at every round, in contrast with the impossibility result established by Santoro and Widmayer (STACS '89) showing that exact consensus is not solvable with n-1 link faults per round originating from the same node.

研究动机与目标

• 确定在高度动态网络中，拓扑结构不可预测变化时，近似一致性可计算的最小网络条件。
• 研究匿名、无记忆平均算法是否能完全刻画此类环境中近似一致性的可解性。
• 在具有有界消息延迟的同步和部分同步模型中，建立平均算法的时间复杂度界。
• 探索在何种结构化网络模型中，平均算法的指数时间复杂度可降低为多项式时间。
• 推导静态网络中在瞬态链路故障下的容错新结果，特别是针对完全图。

提出的方法

• 证明在同步和部分同步系统中，近似一致性可解当且仅当每一回合的通信图都包含一个有根生成树，无论根的身份或随时间变化如何。
• 提出一种新颖的通信图变换方法，将其在 $ \Delta $ 轮内转换为分层图 $ \tilde{G} $，以建模消息延迟并分析根的可达性。
• 定义集合 $ T_a(k) $ 和 $ T_b(k) $，以追踪在给定时间窗口内可到达根的节点集合，利用单调性和闭包性质。
• 应用归纳推理和反证法，证明在 $ n\Delta $ 轮后，集合 $ T_a(k+n\Delta-1) $ 和 $ T_b(k+n\Delta-1) $ 必须相交，从而暗示达成一致。
• 利用平均算法无记忆且无需进程标识符的特性，使其适用于匿名动态网络。
• 通过关于可能状态转移数量和有根图结构的组合论证，推导收敛时间的上界。

实验结果

研究问题

• RQ1 在高度动态网络中，使近似一致性可解的通信图的最小结构条件是什么？
• RQ2 平均算法——无记忆且无标识符——是否能完全刻画动态网络中近似一致性的可解性？
• RQ3 在具有有界消息延迟的动态网络中，平均算法实现 $ \varepsilon $-精度的时间复杂度是多少？
• RQ4 在哪些结构化网络模型中，平均算法的指数时间复杂度可降低为多项式时间？
• RQ5 完全网络在仍能实现近似一致性的情况下，可容忍多少次瞬态链路故障？与已知的精确一致性不可能结果相比如何？

主要发现

• 在高度动态网络中，近似一致性可解当且仅当每一回合的通信图都包含一个有根生成树，即使根任意变化。
• 平均算法类——无记忆且匿名——完全刻画了近似一致性的可解性，即问题可解当且仅当可通过任意此类算法求解。
• 在同步网络中，近似一致性在 $ O(n^{n+1}\log\frac{1}{\varepsilon}) $ 轮次内达成 $ \varepsilon $-精度。
• 在有界消息延迟 $ \Delta $ 下，时间复杂度增加至 $ O(\Delta n^{n\Delta+1}\log\frac{1}{\varepsilon}) $ 轮次。
• 在结构化网络模型（如完全图）中，指数界可降低为多项式时间，从而在动态变化下仍能高效达成一致。
• 完全网络每轮可容忍最多 $ 2n-3 $ 个任意位置的链路故障，相较于 Satorito 和 Widmayer (1989) 所述的破坏精确一致性的 $ n-1 $ 故障限制，有显著改进。