Implementing linearizability at large scale and low latency
In search of an understandable consensus algorithm