Implementing linearizability at large scale and low latency
ZooKeeper: Wait-free Coordination for Internet-scale Systems