Parallel and Distributed Processing, IEEE Symposium on (1993)
Dallas, TX, USA
Dec. 2, 1993 to Dec. 5, 1993
Alari , CRS4, Cagliari, Italy
This paper presents a solution to the (processor) group membership problem. The methodology followed in designing the algorithm is summarized by the option to optimize the performance of the algorithm under the assumption that no failure occurs during its run, and adding the appropriate level of fault tolerance by implementing the algorithm as periodic and self-stabilizing. The performance indicators we consider are the number of message exchanges (between neighbor units) and the time needed to reach the agreement. The algorithm relies on the existence of three basic distributed services: clock synchronization, reliable diffusion, and local agreement between two neighbors. We do not assume the presence of a reliable datagram service, which is more complex to implement than the previous. The presence of a privileged unit (initiator) is avoided, so elections are not needed.
perodic algorithm, algorithm design, algorithm performance, self-stabilising algorithm, synchronous distributed system, group membership problem, fault tolerance, performance indicators, message exchanges, distributed services, clock synchronization, reliable diffusion, local agreement, datagram service, privileged unit, initiator
Alari and Ciuffoletti, "Group membership in a synchronous distributed system," Parallel and Distributed Processing, IEEE Symposium on(SPDP), Dallas, TX, USA, 1993, pp. 490-493.