paxos算法楼主有做过总结吗