Paxos 与分布式强一致性

Paxos 有着”难以理解”的恶劣名声, 事实确实如此. 它用大段内容来做证明, 却对现实问题缺少涉及. 例如最简单(常见)的问题: 怎么实现一致性读功能?
因为 Paxos 太难以理解, 所以无数人用各自不同的角度去理解 Paxos, 而且实现上千差万别和漏洞百出. 这觉得这种现象和一句名言类似: 不幸的家庭各有各的不幸. 但是, 学习 Raft 的人都很开心, 而且大家在实现(implement) Raft 协议时, 代码基本是一样的. 正如名言所说: 幸福的家庭都是相似的.
我也用我自己的角度去理解 Paxos, 这认为它最大的特点是不区别读和写. 简单说, Paxos 的读过程就是写操作, 就是在做数据同步.
接下来继续补充…