10.6 Paxos算法与复制状态机