On the parallels between paxos and raft, and how to port optimizations

Zhaoguo Wang; Changgeng Zhao; Shuai Mu; Haibo Chen; Jinyang Li

doi:10.1145/3293611.3331595

On the parallels between paxos and raft, and how to port optimizations

Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen, Jinyang Li

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English (US)
Title of host publication	PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing
Publisher	Association for Computing Machinery
Pages	445-454
Number of pages	10
ISBN (Electronic)	9781450362177
DOIs	https://doi.org/10.1145/3293611.3331595
State	Published - Jul 16 2019
Event	38th ACM Symposium on Principles of Distributed Computing, PODC 2019 - Toronto, Canada Duration: Jul 29 2019 → Aug 2 2019

Publication series

Name	Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Conference

Conference	38th ACM Symposium on Principles of Distributed Computing, PODC 2019
Country/Territory	Canada
City	Toronto
Period	7/29/19 → 8/2/19

Keywords

Optimization porting
Paxos
Raft

ASJC Scopus subject areas

Software
Hardware and Architecture
Computer Networks and Communications

Access to Document

10.1145/3293611.3331595

Cite this

Wang, Z., Zhao, C., Mu, S., Chen, H., & Li, J. (2019). On the parallels between paxos and raft, and how to port optimizations. In PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (pp. 445-454). (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing). Association for Computing Machinery. https://doi.org/10.1145/3293611.3331595

On the parallels between paxos and raft, and how to port optimizations. / Wang, Zhaoguo; Zhao, Changgeng; Mu, Shuai et al.
PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, 2019. p. 445-454 (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Wang, Z, Zhao, C, Mu, S, Chen, H & Li, J 2019, On the parallels between paxos and raft, and how to port optimizations. in PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, pp. 445-454, 38th ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, Canada, 7/29/19. https://doi.org/10.1145/3293611.3331595

@inproceedings{75bdace2414d4503ae4392b65aeea671,

title = "On the parallels between paxos and raft, and how to port optimizations",

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.",

keywords = "Optimization porting, Paxos, Raft",

author = "Zhaoguo Wang and Changgeng Zhao and Shuai Mu and Haibo Chen and Jinyang Li",

note = "Publisher Copyright: {\textcopyright} 2019 ACM.; 38th ACM Symposium on Principles of Distributed Computing, PODC 2019 ; Conference date: 29-07-2019 Through 02-08-2019",

year = "2019",

month = jul,

day = "16",

doi = "10.1145/3293611.3331595",

language = "English (US)",

series = "Proceedings of the Annual ACM Symposium on Principles of Distributed Computing",

publisher = "Association for Computing Machinery",

pages = "445--454",

booktitle = "PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing",

}

TY - GEN

T1 - On the parallels between paxos and raft, and how to port optimizations

AU - Wang, Zhaoguo

AU - Zhao, Changgeng

AU - Mu, Shuai

AU - Chen, Haibo

AU - Li, Jinyang

PY - 2019/7/16

Y1 - 2019/7/16

N2 - 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.

AB - 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.

KW - Optimization porting

KW - Paxos

KW - Raft

UR - http://www.scopus.com/inward/record.url?scp=85071048325&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85071048325&partnerID=8YFLogxK

U2 - 10.1145/3293611.3331595

DO - 10.1145/3293611.3331595

M3 - Conference contribution

AN - SCOPUS:85071048325

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 445

EP - 454

BT - PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing

PB - Association for Computing Machinery

T2 - 38th ACM Symposium on Principles of Distributed Computing, PODC 2019

Y2 - 29 July 2019 through 2 August 2019

ER -

On the parallels between paxos and raft, and how to port optimizations

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this