S-Paxos: Offloading the Leader for High Throughput State Machine Replication
ZooKeeper: Wait-free Coordination for Internet-scale Systems