分布式一致性的基石---Paxos算法（1）