A practice for paxos