A practical implementation of atomic broadcast using Paxos.