2015
DOI: 10.1109/tdsc.2014.2355848
|View full text |Cite
|
Sign up to set email alerts
|

Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab

Abstract: Paxos, Viewstamped Replication, and Zab are replication protocols for high-availability in asynchronous environments with crash failures. Claims have been made about their similarities and differences. But how does one determine whether two protocols are the same, and if not, how significant are the differences? We address these questions using refinement mappings. Protocols are expressed as succinct specifications that are progressively refined to executable implementations. Doing so enables a principled unde… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

1
24
0
1

Year Published

2015
2015
2023
2023

Publication Types

Select...
4
4
1

Relationship

1
8

Authors

Journals

citations
Cited by 36 publications
(26 citation statements)
references
References 30 publications
1
24
0
1
Order By: Relevance
“…The term view change is used in the Viewstamped Replication protocol[Oki and Liskov 1988], which is similar to the Paxos protocol[Van Renesse et al 2014]. …”
mentioning
confidence: 99%
“…The term view change is used in the Viewstamped Replication protocol[Oki and Liskov 1988], which is similar to the Paxos protocol[Van Renesse et al 2014]. …”
mentioning
confidence: 99%
“…By marking a faulty node as nonvoting, safety violations such as the one in Figure 2 are avoided. However, MarkNonVoting can sometimes violate safety as noted by prior work [74]. The underlying reason for unsafety is that a corrupted node deletes all its state including the promises 2 given to leaders.…”
Section: Truncatementioning
confidence: 99%
“…MarkNonVoting approach [18] can violate safety because important metainfo such as promises can be lost on a storage fault [74]. Ctrl avoids such safety violations by storing two copies of metainfo on each node.…”
Section: :25mentioning
confidence: 99%
“…In comparing protocols, van Renesse et al state that Paxos, VR and Zab "seem to rely on many of the same principles" [13]. They suggest that C-T is a refinement of Paxos.…”
Section: Introductionmentioning
confidence: 99%