SELF-STABILIZING ANONYMOUS LEADER ELECTION IN A TREE

Abstract

We propose a new self-stabilizing anonymous leader election algorithm in a tree graph. We show the correctness of the protocol and show that the protocol terminates in O(n4) time starting from any arbitrary initial state. The protocol can elect either a leaf node or a non leaf node (starting from the same initial state) depending on the behavior of the daemon. The protocol generalizes the result in [1] and at the same time is much simpler and terminates in polynomial number of moves.