4.6 Paxos算法与Raft算法