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