[论文解读] Rapid Asynchronous Plurality Consensus

Robert Elsässer⋆, Tom Friedetzky+3 more|arXiv (Cornell University)|Feb 15, 2016

Cooperative Communication and Network Coding参考文献 5被引用 8

一句话总结

该论文提出了一种针对完全图的新型异步多数共识协议，在初始多数意见相较于第二大意见具有 (1+ε) 的优势且 k = O(exp(log n / log log n)) 种意见时，实现了最优的 O(log n) 收敛时间。该协议采用两阶段设计——两选择采样后接位传播——通过一种新颖的“同步装置”强制实现弱同步性，从而允许通过 Pólya 红球模型分析，将同步协议高效适配至异步模型。

ABSTRACT

We consider distributed plurality consensus in a complete graph of size $n$ with $k$ initial opinions. We design an efficient and simple protocol in the asynchronous communication model that ensures that all nodes eventually agree on the initially most frequent opinion. In this model, each node is equipped with a random Poisson clock with parameter $λ=1$. Whenever a node's clock ticks, it samples some neighbors, uniformly at random and with replacement, and adjusts its opinion according to the sample. A prominent example is the so-called two-choices algorithm in the synchronous model, where in each round, every node chooses two neighbors uniformly at random, and if the two sampled opinions coincide, then that opinion is adopted. This protocol is very efficient and well-studied when $k=2$. If $k=O(n^\varepsilon)$ for some small $\varepsilon$, we show that it converges to the initial plurality opinion within $O(k \cdot \log{n})$ rounds, w.h.p., as long as the initial difference between the largest and second largest opinion is $Ω(\sqrt{n \log n})$. On the other side, we show that there are cases in which $Ω(k)$ rounds are needed, w.h.p. One can beat this lower bound in the synchronous model by combining the two-choices protocol with randomized broadcasting. Our main contribution is a non-trivial adaptation of this approach to the asynchronous model. If the support of the most frequent opinion is at least $(1+\varepsilon)$ times that of the second-most frequent one and $k=O(\exp(\log{n}/\log \log{n}))$, then our protocol achieves the best possible run time of $O(\log n)$, w.h.p. We relax full synchronicity by allowing $o(n)$ nodes to be poorly synchronized, and the well synchronized nodes are only required to be within a certain time difference from one another. We enforce this synchronicity by introducing a novel gadget into the protocol.

研究动机与目标

• 在异步模型中设计一种高效、简单且容错的共识协议，其中节点使用泊松时钟，并基于对随机邻居的采样进行更新。
• 解决将同步多数共识协议（如两选择算法）适配至缺乏全局同步的异步环境中的挑战。
• 在初始多数意见相较于第二意见具有常数倍优势且 k 相对于 log n 为次指数时，实现 O(log n) 的最优收敛时间。
• 引入一种新技术——通过同步装置实现的‘弱同步性’，以确保协议关键阶段在异步环境下仍能可靠运行。

提出的方法

• 协议分为两个主要阶段：在两选择子阶段中，每个节点采样两个邻居，若两者意见一致则采纳该意见；在位传播子阶段中，通过改进的推送-拉取机制传播共识位。
• 引入一种新颖的“同步装置”，以确保仅有 o(n) 个节点处于较差的同步状态，其余节点则保持在有界时间窗口内，从而实现可靠的协调。
• 分析利用 Pólya 红球模型追踪意见动态，特别是多数意见相对于其他意见的二次增长。
• 协议采用基于块的结构，自适应块长度 Δ = Θ(log k + log n / log log n)，以在各阶段维持弱同步性。
• 使用 Chernoff 不等式确保节点激活时间的高概率集中，并验证所有节点以同步方式完成关键阶段。
• 终局阶段确保一旦多数意见达到 19n/20 个节点，其余所有节点将在 O(log n) 额外时间内收敛至该意见。

实验结果

研究问题

• RQ1 两选择共识协议能否在不依赖全局同步的前提下有效适配至异步模型？
• RQ2 在异步环境中，为维持同步多数共识协议的效率，所需的最低同步水平是什么？
• RQ3 当 k = O(exp(log n / log log n)) 且多数意见具有 (1+ε) 的优势时，能否实现 O(log n) 的收敛时间？
• RQ4 如何设计一种‘同步装置’以强制实现弱同步性，并在异步系统中实现可靠的阶段转换？
• RQ5 该协议是否可扩展至处理 k = O(n^ε) 种意见并保持类似效率？

主要发现

• 当初始多数意见的支持度至少为第二大意见的 (1+ε) 倍，且 k = O(exp(log n / log log n)) 时，协议以高概率实现 O(log n) 的收敛时间。
• 通过结合两选择采样与位传播阶段，协议保持了最优的渐近运行时间，两者均通过 Pólya 红球模型进行分析。
• 同步装置确保仅有 o(n) 个节点处于较差的同步状态，使大多数节点能够以协调方式推进。
• 分析表明，在两选择阶段，多数意见相对于其他意见呈二次增长，从而迅速占据主导地位。
• 当 k = O(n^ε) 时，协议运行时间为 O(log k · log log n + log n)，与同步设置下的最优已知界一致。
• 以高概率，所有节点在 O(log n) 时间内收敛至初始多数意见，且此后无节点可发生偏离。