4

All the consensus algorithms that I've seen always depend on having a leader elected with all queries directed at the leader (assuming that we're not OK with getting back stale data). Are there any efficient algorithms that are completely symmetric, i.e. which do not elect a leader and therefore allows querying any server in the cluster?

Since a given server doesn't crash very often, from an engineering perspective it would seem like electing a leader is simpler because you can worry separately about what to do when the leader goes down, which would seem to allow for more modular protocol design. On the other hand, if all the queries are directed at one sever, then this server will get hammered, since in addition to all queries, it will have to send updates to all other servers in the cluster.

My questions can be phrased as follows: is dependence on a leader seen as a problem? Are there some fundamental issues with this approach in addition to problems with load? Do we have some fundamental problems when running a leaderless protocol? Do we know if there exists efficient leaderless protocols?

Raphael
  • 73,212
  • 30
  • 182
  • 400
eof
  • 121
  • 2

1 Answers1

2

This paper [1] provides a consensus algorithm in a model where, in each round, each node can query 2 randomly chosen nodes and update its own value accordingly. As this is essentially a balls-into-bins scenario, the load balancing will be very good. It is shown that this "converges" to a consensus within $O(\log n)$ rounds even if an omniscient adversary corrupts up to $O(\sqrt{n})$ values of the nodes in each round.

I would say the main reason why many protocols have a leader is for having a coordinator that orchestrates the progress of the protocol. Note that most classic work on consensus focuses on achieving the best possible fault-tolerance, whereas load balancing as not always a primary concern.

[1] Benjamin Doerr, Leslie Ann Goldberg, Lorenz Minder, Thomas Sauerwald, Christian Scheideler: Stabilizing consensus with the power of two choices. SPAA 2011: 149-158 http://www.cs.ox.ac.uk/people/leslieann.goldberg/papers/SelfStabilizing.pdf

Peter
  • 1,028
  • 7
  • 10