10.3 Basic Paxos算法