10.8 Paxos算法与原子广播