Simulation of Paxos in a Single Machine