Zookeeper's ZAB Protocol

As mentioned previously, the Zookeeper atomic broadcast protocol (ZAB) is used to agree on a leader in the ensemble, synchronize the replicas, manage the broadcast of update transactions, and recover from a crashed state to a valid state.

This protocol shares a lot of characteristics with other consensus protocols, such as Paxos or Raft.

In ZAB, transactions are identified by a specific type of identifier, called zxid. This identifier consists of two parts $<e, c>$ ...