An Efficient Message Passing Election Algorithm based on Mazurkiewicz's Algorithm
Jérémie Chalopin, Yves Métivier · 2007
We study the election and the naming problems in the asynchronous message passing model. We present a necessary condition based on Angluin’s lifting lemma [Ang80] that must be satisfied by any network that admits a naming (or an election) algorithm. We then show that this necessary condition is also sufficient: we present an election and naming algorithm based on Mazurkiewicz’s algorithm [Maz97]. The algorithm we obtained is totally asynchronous and it needs a polynomial number of messages of polynomial size, whereas previous election algorithms in this model are pseudo-synchronous and use messages of exponential size.