Optimizing Paxos with batching and pipelining
Mencius: Building Efficient Replicated State Machine for WANs