The implementation of Paxos protocol