分布式共识灵活Paxos英文参考资料目录


灵活Paxos是比Paxos更宽松灵活的算法,它是一个简单的观察,不需要要求 Paxos 中的所有群体都参与,要求领导选举阶段(阶段 1)使用的仲裁与之前复制阶段(阶段 2)使用的仲裁能重叠就足够了。大多数法定人数仲裁都是满足这一要求,但还有更多。因此,Paxos 只是安全达成分布式共识的广泛可能性中的一个点。
下面的论文、演讲和开源项目涉及如何使用Paxos来构建更具弹性的分布式系统:
文件


文章和博客文章

会谈

代码
  • 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 的(天真)实现