it is a implement of FastPaxos protocol