[论文解读] Improved Bully Election Algorithm for Distributed Systems

P. Beaulah Soundarabai, Ritesh Sahai+3 more|arXiv (Cornell University)|Feb 28, 2014

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

一句话总结

本文提出了一种改进的Bully算法，通过减少冗余选举和消息传递，将消息复杂度从O(n²)降低至O(n)。通过将选举发起限制为单一进程，并优化协调者通知机制，改进后的算法减少了网络流量和选举阶段，同时保持了容错能力和领导一致性。

ABSTRACT

Electing a leader is a classical problem in distributed computing system. Synchronization between processes often requires one process acting as a coordinator. If an elected leader node fails, the other nodes of the system need to elect another leader without much wasting of time. The bully algorithm is a classical approach for electing a leader in a synchronous distributed computing system, which is used to determine the process with highest priority number as the coordinator. In this paper, we have discussed the limitations of Bully algorithm and proposed a simple and efficient method for the Bully algorithm which reduces the number of messages during the election. Our analytical simulation shows that, our proposed algorithm is more efficient than the Bully algorithm with fewer messages passing and fewer stages.

研究动机与目标

• 解决经典Bully算法中消息开销过高和选举阶段过多的问题。
• 减少领导选举期间因O(n²)消息复杂度导致的网络流量。
• 通过确保仅一个进程在领导失败后发起选举，最小化冗余选举过程。
• 在提升可扩展性和响应时间的同时，保持容错能力和领导一致性。
• 为分布式系统提出一种简单、高效且容错的Bully算法替代方案。

提出的方法

• 将选举发起限制为单一进程（即检测到故障的优先级最低的进程），以防止并行选举。
• 采用两阶段消息交换：向高优先级进程发送选举消息，并通过响应确认其可用性。
• 引入最终协调者通知阶段，仅使用两条消息：一条来自新领导的消息，一条用于确认领导权。
• 应用公式$ T_m = 3n - 1 $计算总消息数量，确保复杂度为O(n)。
• 通过单一集中式协调者公告通知所有进程，避免重复广播。
• 保留原始Bully算法的核心逻辑，但消除每个选举阶段中的冗余消息交换。

实验结果

研究问题

• RQ1 如何在领导选举中降低经典Bully算法的消息复杂度？
• RQ2 在分布式系统中，哪些机制可以防止并行选举并减少网络开销？
• RQ3 修改后的Bully算法是否能在减少消息传递次数的同时保持容错能力？
• RQ4 与原始算法相比，所提算法的理论和实测消息复杂度如何？
• RQ5 该修改算法是否减少了选举阶段数量并提升了系统收敛时间？

主要发现

• 改进后的算法将原始Bully算法中O(n²)的消息复杂度降低至O(n)，最坏情况下仅需$ 3n - 1 $条消息。
• 选举阶段数量显著减少，消除了多个重叠的选举周期。
• 仿真结果表明，消息数量呈线性增长（O(n)），而原始Bully算法则呈二次曲线增长（O(n²)）。
• 通过确保仅一个进程在故障后发起选举，该算法避免了并行选举。
• 分析模型证实，该方法在最坏情况下使消息传递量减少为与n成比例的因子。
• 改进后的算法在提升性能和可扩展性的同时，保持了安全性和一致性，适用于分布式系统。