Optimizing Paxos with batching and pipelining
Throughput optimal total order broadcast for cluster environments