CS271 distributed system using PAXOS