Paxos implementation based on PASC library