Paxos算法(参考).doc