vive la difference : paxos vs . viewstamped replication vs . zab .
The part-time parliament