Andrey, We can't use bully because we have to determine the server with highest zxid, and servers do not know it beforehand. They know each others' ids, but not the last zxid each one processed.

Could you be more explicit on what you mean with a more formal description? What kind of information are you after?


On Apr 13, 2009, at 10:17 PM, Andrey Kuzmin wrote:

I'd like to take a look at formal description of the leader election
algorithm ZooKeeper implements (if it's not standard 'bully'). Is it


Reply via email to