Abstract | ||
---|---|---|
In recent years, Raft has surpassed Paxos to become the more popular consensus protocol in the industry. While many researchers have observed the similarities between the two protocols, no one has shown how Raft and Paxos are formally related to each other. In this paper, we present a formal mapping between Raft and Paxos, and use this knowledge to port a certain class of optimizations from Paxos to Raft. In particular, our porting method can automatically generate an optimized protocol specification with guaranteed correctness. As case studies, we port and evaluate two optimizations, Mencius and Paxos Quorum Lease to Raft.
|
Year | DOI | Venue |
---|---|---|
2019 | 10.1145/3293611.3331595 | Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing |
Keywords | Field | DocType |
optimization porting, paxos, raft | Consensus algorithm,Parallels,Raft,Computer science,Correctness,Paxos,Distributed computing | Journal |
Volume | ISBN | Citations |
abs/1905.10786 | 978-1-4503-6217-7 | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
zhaoguo wang | 1 | 132 | 8.56 |
Changgeng Zhao | 2 | 0 | 0.68 |
Shuai Mu | 3 | 86 | 5.84 |
Haibo Chen | 4 | 1749 | 123.40 |
Jinyang Li | 5 | 3186 | 385.60 |