S-Paxos: Offloading the Leader for High Throughput State Machine Replication
Zab: High-performance broadcast for primary-backup systems