【转载】分布式系列文章——Paxos算法原理与推导