vive la difference : paxos vs . viewstamped replication vs . zab .
Zab: High-performance broadcast for primary-backup systems