增加paxos算法文献