Paxos 与 Raft 的相似性及优化移植方法
分布式、并行与集群计算
2019-05-28 v1
摘要
近年来，Raft 已超越 Paxos 成为首选的共识算法。[53] 尽管许多人指出了这两种协议之间的相似性，但尚无人对它们的关系进行形式化梳理。在本文中，我们展示了 Raft 与 Paxos 尽管表面存在差异，却在形式上是相关的。基于两种协议之间的形式化映射，我们展示了如何以保证正确性地将某类优化从 Paxos 自动移植到 Raft。作为案例研究，我们将 Mencius 和 Paxos Quorum Lease 两项优化移植到 Raft 并进行了评估。
引用
@article{arxiv.1905.10786,
title = {On the parallels between Paxos and Raft, and how to port optimizations},
author = {Zhaoguo Wang and Changgeng Zhao and Shuai Mu and Haibo Chen and Jinyang Li},
journal= {arXiv preprint arXiv:1905.10786},
year = {2019}
}