SDPaxos在Strong Leader和Leaderless中间做了一个优雅的折中，使得协议远比EPaxos清晰，但又支持了损失很小的多点并发复制。
本篇博文主要描述了EPaxos command commit的过程，并且解释了为什么fast quorum的值如此奇怪。
相比Multi Paxos和Raft,EPaxos有着自己的优势，但是缺点也非常明显，EPaxos协议非常复杂，接口行为也不见得适应现在的软件栈，比如commit和execution的阶段划分更加的明确，execution逻辑很复杂，读取操作也很复杂。我个人认为EPaxos协议的一些想法还是比较有意思的，但是不太适合生产场合使用，毕竟能实现一个高效正确的Multi Paxos协议已属不易，而且EPaxos协议虽然吞吐量能有比较大的提高，但是容易发现协议中各种操作真正在实现时，会出现大量非常耗费CPU的代码，整体性能能提高到多少，我想并不太乐观。
Flexible Paxos: Quorum intersection revisited 这篇论文重新审视了Paxos中关于Quorum的问题。在Basic Paxos中，要求任何quorum都有交集（通常选择多数派作为quorum）。事实上，这个要求可以放宽到Paxos的两个阶段prepare/accept阶段的quorum有交集即可。文中描述了majority, simple, grid三种quorum system。
Raft论文解读，本文根据Raft会议论文，参考Raft博士论文，解读了部分内容。Raft跟(Multi)Paxos差别较大，相比Paxos加强了很多约束，尤其是strong leader，直接影响了Raft协议的架构。
Basic Paxos协议的证明过程
Google Spanner是google在2012年公开的存储系统，它的最大特点就是数据分布在全球范围内，支持外部一致性的分布式事务。本文依据论文解读了该系统的设计和实现。