ZooKeeper's Atomic Broadcast & Leader Election Algorithms

[Jason Dusek]

  I'd like to know more about how these things are implemented
  and how message loss and leader failure affect their
  correctness.

--
Jason Dusek