Vive la Différence：Paxos 与 Viewstamped Replication 与 Zab
分布式、并行与集群计算
2014-03-03 v3
摘要
Paxos、Viewstamped Replication 和 Zab 是复制协议，旨在确保在具有崩溃故障的异步环境中实现高可用性。关于这些协议之间的相似性和差异性已有各种说法。但是，如何确定两个协议是否相同，如果不同，其差异又有何显著意义？我们建议使用精化映射 (refinement mappings) 来解决这些问题，其中协议被表达为简洁的规范，并逐步精化为可执行的实现。这样做能够原则性地理解实施各种协议时所做出的不同设计决策的正确性。此外，它使我们能够识别对性能有重大影响的关键差异。
引用
@article{arxiv.1309.5671,
title = {Vive la Diff\'erence: Paxos vs. Viewstamped Replication vs. Zab},
author = {Robbert Van Renesse and Nicolas Schiper and Fred B. Schneider},
journal= {arXiv preprint arXiv:1309.5671},
year = {2014}
}
备注
16 pages