4.2 Paxos算法