A leader election protocol for timed asynchronous distributed systems

Abstract

A leader election protocol for timed asynchronous distributed systems is presented. The proposed scheme is based on reliable multicast where all participating processes of the group will receive protocol messages. In this protocol, the group members do not need to know each other's addresses to communicate. Also, they (to not have to make any reconfiguration if some members crash, join or leave the group. The paper describes the proposed protocol, estimates its performance in simulation and compares this simulation with an analytical model. It is found that the communication complexity of the protocol is of O(N). As simulation formalism, a class of extended Petri nets was used.