一步一步理解Basic Paxos算法

背景 Paxos算法是Lamport於1990年提出的一種基於消息傳遞的一致性算法。由於算法難以理解起初並沒有引起人們的重視，使Lamport在八年後重新發表到TOCS上。即便如此paxos算法還是沒有得到重視，2001年Lamport用可讀性比較強的敘述性語言給出算法描述。可見Lamport對paxos算法情有獨鍾。近幾年paxos算法的普遍使用也證明它在分佈式一致性算法中的重要地位。06年go

>>阅读原文<<