Basic Paxos

1. 基本的推导
2. leaner的学习（共三种）
3. 通过选取主proposer保证算法可活性

参考

一步一步理解Paxos算法
Paxos原理（一）：Basic Paxos
《从Paxos到zookeeper分布式一致性原理与实践》

Multi Paxos

proposer leader在Multi Paxos中还有助于提升性能，常态下统一由leader发起提议，可节省prepare步骤(leader不用问询acceptor曾接受过的ID最大的提议、只有leader提议也不需要acceptor进行promise)直至发生leader宕机、重新选主。

参考

http://www.cnblogs.com/bangerlee/p/5655754.html