[论文解读] Communication Efficient Self-Stabilizing Leader Election

Xavier Défago, Yuval Emek+3 more|arXiv (Cornell University)|Jan 1, 2020

Distributed systems and fault tolerance参考文献 69被引用 1

一句话总结

本文提出了一种针对一般无向图的随机化、自稳定领导者选举算法，通过仅在期望情况下发送 ˜O(n) 条消息并在 ˜O(n) 轮内完成稳定，实现了通信效率。该算法构建了一棵以选举出的领导者为根的生成树，并将稳定带宽保持在 ˜O(n)，在稳定后每轮仅发送一条常数大小的消息，显著优于以往的确定性算法。

ABSTRACT

This paper presents a randomized self-stabilizing algorithm that elects a leader $r$ in a general $n$-node undirected graph and constructs a spanning tree $T$ rooted at $r$. The algorithm works under the synchronous message passing network model, assuming that the nodes know a linear upper bound on $n$ and that each edge has a unique ID known to both its endpoints (or, alternatively, assuming the $KT_{1}$ model). The highlight of this algorithm is its superior communication efficiency: It is guaranteed to send a total of $ ilde{O} (n)$ messages, each of constant size, till stabilization, while stabilizing in $ ilde{O} (n)$ rounds, in expectation and with high probability. After stabilization, the algorithm sends at most one constant size message per round while communicating only over the ($n - 1$) edges of $T$. In all these aspects, the communication overhead of the new algorithm is far smaller than that of the existing (mostly deterministic) self-stabilizing leader election algorithms. The algorithm is relatively simple and relies mostly on known modules that are common in the fault free leader election literature; these modules are enhanced in various subtle ways in order to assemble them into a communication efficient self-stabilizing algorithm.

研究动机与目标

• 设计一种自稳定领导者选举算法，以最小化一般无向图中的通信开销。
• 与现有确定性自稳定领导者选举算法相比，实现更优的消息复杂度。
• 确保低稳定带宽，在稳定后每轮最多发送一条常数大小的消息。
• 在 KT1 模型下（具有唯一边ID和已知的 n 上界）运行时，保持通信效率。
• 在消息复杂度和位复杂度方面，达到与无故障领导者选举算法相当的通信效率。

提出的方法

• 该算法使用带有阶段（提议和接受）的随机化令牌传递机制，以选举领导者并构建生成树。
• 采用阶段长度机制，其中 L+ph = Θ(log n) 且 CtrN = Θ(log n)，以控制令牌传播并减少消息突发。
• 通过 pass tkn 消息传播令牌，同时使用发现与撤回机制来检测并处理过早的节点发现。
• 通过概率性阶段接受与重传逻辑，确保随时间推移仅有一条令牌存活。
• 消息复杂度通过将未被忽略的 pass tkn 消息按时间区间（长度为 CtrN）分配给节点来限制，使每个节点在每个区间内最多发送 O(1) 条消息。
• 该算法利用了无故障领导者选举中的已知模块，并通过增强自稳定机制以确保收敛性和通信效率。

实验结果

研究问题

• RQ1 自稳定领导者选举算法是否能在一般图中实现 ˜O(n) 消息复杂度和 ˜O(n) 稳定时间？
• RQ2 在任意初始配置下，是否可能将稳定带宽减少至 ˜O(n) 的同时保持正确性？
• RQ3 是否可以将通信效率提升至与无故障领导者选举算法在总消息数和位复杂度方面相当？
• RQ4 随机化技术如何用于减少自稳定系统中的消息开销，同时不牺牲收敛保证？
• RQ5 基于阶段的令牌管理对自稳定网络中的消息复杂度和稳定时间有何影响？

主要发现

• 该算法在期望和高概率下均能在 ˜O(n) 轮内完成稳定，实现了次线性稳定时间。
• 在稳定前总共仅发送 ˜O(n) 条消息，显著优于以往确定性算法的 Ω(m) 下界。
• 稳定后，该算法每轮最多发送一条常数大小的消息，因此稳定带宽为 ˜O(n)。
• 稳定后，通信被限制在生成树 T 的 (n−1) 条边上，最大限度减少了持续通信。
• 预稳定阶段发送的消息总数受 O(N + t∗s) 限制，且由于 t∗s ≤ O(N log²N) 在期望和高概率下成立，因此整体消息复杂度为 ˜O(n)。
• 该算法在消息复杂度和位复杂度方面，与无故障领导者选举算法的最先进通信效率相当，仅在对数因子范围内存在差异。