Deconstructing paxos