Multi-Paxos: An Implementation and Evaluation