灵活Paxos是比Paxos更宽松灵活的算法,它是一个简单的观察,不需要要求 Paxos 中的所有群体都参与,要求领导选举阶段(阶段 1)使用的仲裁与之前复制阶段(阶段 2)使用的仲裁能重叠就足够了。大多数法定人数仲裁都是满足这一要求,但还有更多。因此,Paxos 只是安全达成分布式共识的广泛可能性中的一个点。
下面的论文、演讲和开源项目涉及如何使用Paxos来构建更具弹性的分布式系统:
文件
- 灵活的 Paxos:重新访问仲裁交叉- 描述灵活 Paxos 的原始论文
- Fast Flexible Paxos: 放宽快速Paxos的群体交集——将Flexible Paxos扩展到Fast Paxos
- Paxos Made EPR:关于分布式协议的可判定推理
- DPaxos:为低延迟和移动应用程序更接近用户地管理数据
- Multileader WAN Paxos:以快速共识统治群岛
- 分布式共识的通用解决方案
- 剖析强一致性复制协议的性能
- 地理分布式存储中近乎最优的延迟与成本权衡
- Paxos 和 Raft 之间的相似之处,以及如何进行端口优化
- WPaxos:广域网灵活共识
- Bipartisan Paxos:模块化状态机复制协议
- 灵活的 Paxos:行业视角
- 统一共识和原子承诺以实现有效的云数据管理
- Paxos 中可线性化的仲裁读取
- Matchmaker Paxos:一种可重新配置的共识协议
- FleetDB:全球跨数据库的跟踪工作负载数据迁移
- 论Paxos中连续投票的意义
- 具有保证写入的低延迟异地复制状态机
- 行星规模系统的状态机复制
- 动态可重构 Paxos 集群中的无界流水线
- 重温 Paxos 基础:VMware Research 暑期实习工作回顾
- Odyssey:现代硬件对强一致性复制协议的影响
文章和博客文章
- A More Flexible Paxos - 系统社区对灵活 Paxos 的简要介绍,由Sugu Sougoumarane在Tech [url=https://twitter.com/ssougou]musings 上发布[/url]
- 多数同意不是达成共识所必需的- 灵活 Paxos 论文的主要结果摘要,由Heidi Howard发表在Read、Write 和 Execute
- 灵活的 Paxos:一种新型的可扩展、有弹性和高性能的共识算法成为可能- Dahlia Malkhi在VMware Research描述了 Flexible Paxos 的故事
- MySQL 中的分布式持久性- 修改 MySQL 半同步复制过程以提高整体一致性的提议,由Sugu Sougoumarane在Tech [url=https://twitter.com/ssougou]musings 上发布[/url]
- 灵活的 Paxos:Quorum 交叉点重新审视- 流行的研究博客,晨报,涵盖了灵活的 Paxos 预印本,由Adrian Colyer发布在晨报上
- 法定人数系统的负载、容量和可用性- 继灵活 Paxos 中的引文之后,晨报涵盖了 Naor & Wool,由Adrian Colyer发布在晨报上
- 在 Pluscal 和 TLA+ 中对 Paxos 和灵活 Paxos 建模- Murat Demirbas详细介绍了他如何使用 Pluscal 对检查 Paxos 和灵活 Paxos 进行建模,发布在元数据上
- 灵活 Paxos 总结:放宽法定人数限制
- Paul Cavallaro 关于灵活的 Paxos
- UPaxos 和主备复制
- 改进了 Raft 的多数仲裁
- Paxosmon: Gotta Consensus Them - 各种 Paxos 变体的很好的总结
会谈
- 分布式共识:使不可能成为可能- 分布式共识领域主要成果的概述。海蒂·霍华德 (Heidi Howard)于 2016 年在伦敦 OSCON 上的演讲。[幻灯片]
- 灵活的 Paxos:使用 TLA+ 重新审视群体交集- Microsoft Research 的 Dr TLA+ 系列的一部分
- 使用灵活的 Paxos 构建可扩展、弹性和一致的系统- Heidi Howard 在 Dockercon 2017 上的演讲
代码
- LibFPaxos - LibPaxos3的补丁,它将仲裁大小作为配置参数公开。根据 3 条款 BSD 获得许可。
- LibFPaxos Benchmarks - 使用Mininet从 Flexible Paxos 论文中重现 LibFPaxos 实验的脚本。在麻省理工学院获得许可。
- 灵活 Paxos TLA+ - 单值灵活 Paxos 的 TLA+ 规范。在麻省理工学院获得许可。
- 灵活的 Raft TLA+ - Raft 的 TLA+规范,针对灵活的法定人数进行了修改。在麻省理工学院获得许可。
- LogDevice - 来自 Facebook 的分布式日志存储系统
- Paxi - 分布式共识算法的模拟框架,其中包括各种算法的原型,包括 Flexible Paxos 和 Fast Flexible Paxos
- FrankenPaxos - 另一个分布式共识模拟器,其中包括各种共识算法的原型,包括 Flexible Paxos
- FlexibleZoo - Max Meldrum 的Zookeeper fork
- FPaxosPython - 灵活 Paxos 的(天真)实现