Optimizing Paxos with batching and pipelining
The part-time parliament