理解Paxos-分布式系统一致性算法 (一)

简介 Paxos是一个分布式系统一致性算法,用于在分布式系统中的多个节点之间,就某个值达成一致。为便于理解Paxos,本文首先会解释一些背景概念,以及一些上下文关系。然后给出正确性推导的简单介绍,以及最终的两阶段协议。最后会给出一些重要补充,关于演进和具体实现(状态机)。后续如果有机会,会补充一些Paxos实践相关的内容。 本文主要的参考是: Leslie Lamport的论文 Paxos Made Simple »