Paxos made code Implementing a high throughput Atomic Broadcast