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?


-Flavio

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
available?

Regards,
Andrey

Reply via email to