两党 Paxos：一种模块化的状态机复制协议
分布式、并行与集群计算
2020-03-03 v1
摘要
状态机复制协议并不匮乏。从 Generalized Paxos 到 EPaxos，已提出大量实现高吞吐量与低延迟的复制协议。然而，这些协议都存在两个问题。第一，它们无法扩展。许多协议在扩展时实际上变慢而非变快。例如，增加 MultiPaxos 的 acceptor 数量会增大 quorum 规模并拖慢协议。第二，它们过于复杂。这并非秘密；状态机复制以难以理解而著称。在本文中，我们以单一方案解决这两个问题：模块化。我们提出 Bipartisan Paxos（BPaxos），一种模块化的状态机复制协议。模块化通过扩展获得高吞吐量。我们注意到，尽管许多复制协议组件无法扩展，但有些可以。通过对 BPaxos 模块化，我们得以将二者解耦，并扩展瓶颈组件以提升协议吞吐量。模块化也带来简洁性。BPaxos 被划分为若干独立模块，可单独理解并证明正确。
引用
@article{arxiv.2003.00331,
title = {Bipartisan Paxos: A Modular State Machine Replication Protocol},
author = {Michael Whittaker and Neil Giridharan and Adriana Szekeres and Joseph M. Hellerstein and Ion Stoica},
journal= {arXiv preprint arXiv:2003.00331},
year = {2020}
}