[论文解读] The Performance of Paxos and Fast Paxos

Gustavo M. D. Vieira, Luiz Eduardo Buzato|arXiv (Cornell University)|Aug 6, 2013

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

一句话总结

本文通过在局域网环境中使用 Treplica 工具包对 Paxos 和 Fast Paxos 进行实验比较，发现由于网络负载更低且超时错误更少，而非碰撞问题，Paxos 在小规模副本数量下表现优于 Fast Paxos。Paxos 的单一协调者提供了稳定性，而 Fast Paxos 尽管理论设计具有低延迟优势，却因对时间敏感且协调开销更高而表现不佳。

ABSTRACT

Paxos and Fast Paxos are optimal consensus algorithms that are simple and elegant, while suitable for efficient implementation. In this paper, we compare the performance of both algorithms in failure-free and failure-prone runs using Treplica, a general replication toolkit that implements these algorithms in a modular and efficient manner. We have found that Paxos outperforms Fast Paxos for small number of replicas and that collisions are not the cause of this performance difference.

研究动机与目标

• 通过实证评估 Paxos 和 Fast Paxos 在真实局域网环境中的性能表现，突破理论假设的局限。
• 识别 Paxos 和 Fast Paxos 之间性能差异的根本原因，特别是在无故障和故障频发场景下的表现。
• 评估 Fast Paxos 的理论优势（如更低延迟）是否能在真实网络条件下转化为实际性能收益。
• 研究法定人数大小、消息碰撞以及协调者行为对共识性能的影响。
• 评估系统在副本故障情况下的弹性与恢复行为，特别是协调者角色的故障恢复。

提出的方法

• 在 Treplica（一个专为性能仪表化与测量设计的模块化复制工具包）中实现 Paxos 和 Fast Paxos。
• 设计实验以在受控条件下观察协议行为，重点关注消息顺序、延迟、法定人数大小和碰撞问题。
• 测量包括共识延迟、消息交换数量以及因超时导致的重试率在内的性能指标。
• 进行故障注入实验，以评估恢复时间与系统弹性，特别是对协调者和非协调者副本的影响。
• 使用基于局域网的测试平台模拟真实网络特征，并隔离性能瓶颈。
• 将实际观察到的行为与理论预期进行对比，识别理论与实践之间的差异。

实验结果

研究问题

• RQ1 理论预测 Fast Paxos 在真实局域网环境中应比 Paxos 具有更低的共识延迟，这一预测是否成立？
• RQ2 在实际应用中，导致 Paxos 和 Fast Paxos 性能差异的主要因素是什么？
• RQ3 网络时间波动和消息丢失对 Fast Paxos 的性能影响是否显著高于 Paxos？
• RQ4 法定人数大小和消息碰撞在多大程度上影响两种算法的相对性能？
• RQ5 协调者副本的故障与恢复行为在多大程度上影响 Paxos 和 Fast Paxos 的整体系统性能？

主要发现

• 当副本数量较小时，Paxos 的共识延迟低于 Fast Paxos，这与理论预期相反，后者更倾向于 Fast Paxos。
• Paxos 的性能优势并非源于消息碰撞，而是由于单一协调者带来的稳定性，从而减少了超时错误和重试率。
• Fast Paxos 受限于时间敏感性以及因无协调的提议者导致的更高网络负载，尽管其设计具有乐观特性，但消息量和延迟反而增加。
• Paxos 的协调者更不易因故障引发重试，且能保持一致的性能表现；而 Fast Paxos 在网络条件变化时表现出更高的不稳定性。
• 失败副本的恢复时间对协调者而言显著长于普通副本，因为协调者拥有更大的内存状态，导致恢复延迟更高。
• 尽管 Fast Paxos 需要更大的法定人数，但其在容错能力方面并未展现出实际优势，因为 Paxos 可以用更少的副本（例如 7 个 vs. 12 个）实现相同的容错能力（如容忍 3 个故障）。