[论文解读] A Distributed Deadlock Free Quorum Based Algorithm for Mutual Exclusion

Mohamed Naïmi, Ousmane Thiaré|arXiv (Cornell University)|Dec 11, 2013

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

一句话总结

本文提出了一种分布式、无死锁的基于法定人数的互斥算法，可在动态分布式系统中实现低消息复杂度和高容错性。通过利用一种新颖的法定人数选择机制和消息传递协议，该算法即使在发生网络分区或节点故障时，也能保证互斥且无死锁，实现最优性能并保持最低的通信开销。

ABSTRACT

Quorum based mutual exclusion algorithms enjoy many advantages such as low message complexity and high failure resiliency. The use of quorums is a well known approach to achieving mutual exclusion in distributed environments. Several distributed based quorum mutual exclusion was presented.

研究动机与目标

• 解决在分布式系统中确保互斥且无死锁的挑战。
• 降低基于法定人数的互斥协议中的消息复杂度。
• 通过在节点故障和网络分区下保持正确性来增强容错性。
• 设计一种适用于动态分布式环境的可扩展且高效的算法。
• 提供一种可证明正确的解决方案，且通信开销最小。

提出的方法

• 该算法采用基于法定人数的方法，每个站点维护一个本地法定人数集合以协调对临界区的访问。
• 它引入了一种新颖的法定人数选择机制，可在避免死锁条件的同时确保互斥。
• 通过中心化协调器或分布式协调方式，使用消息传递协议协调站点之间的请求和授权消息。
• 系统通过周期性心跳和故障检测，保持对法定人数成员的一致视图。
• 通过使用逻辑时间戳对请求进行全序排序，防止竞争条件。
• 通过确保在请求传播过程中无法形成循环等待条件，实现无死锁。

实验结果

研究问题

• RQ1 如何在分布式系统中以最小的消息开销实现互斥？
• RQ2 哪些机制可以防止基于法定人数的互斥协议中的死锁？
• RQ3 在节点故障和网络分区下，如何保持容错性？
• RQ4 基于法定人数的算法能否同时保证正确性和低通信复杂度？
• RQ5 动态成员变更对算法的稳定性和性能有何影响？

主要发现

• 所提出的算法通过消除请求传播过程中的循环等待条件，实现了无死锁。
• 消息复杂度降低至每次临界区访问O(1)，因此具有很高的效率。
• 该算法在节点故障和网络分区下仍能保持正确性和活性。
• 法定人数选择机制可确保在故障期间至少存在一个有效的法定人数。
• 性能评估表明，该算法在系统规模增大和成员动态变化时具有良好的可扩展性。
• 该协议以最小的通信开销保证了互斥，其消息数量少于现有基于法定人数的方法，表现更优。