Abstract
we evaluate several variants of a standard election algorithm on a ring of processors. The performance measures of interest are the number of messages exchanged (communication complexity) and the execution time (time complexity). Classical models use a “synchronism assumption” according to which all processors start at the same time and message delays are constant.
We attempt to capture the essential asynchronism of this class of algorithms by using probabilistic models. Two such models are discussed, one in discrete and one in continuous time. In each case, both the uni- and the bidirectional cases are studied and compared. We obtain expressions for the distributions of the number of exchanged messages and derive their asymptotic behavior whenn, the number of processors in the ring, grows large. The results show how the communication complexity actually depends on the speed of communcations on the ring, and what is the interest of having bidirectional communications.
We also address in part the evaluation of the completion time of the algorithm. This time decomposes into astartup time and anexploration time. We show that the average of the startup time is of the order of logn.
Similar content being viewed by others
References
E. Chang and R. Roberts, An improved algorithm for decentralized extrema-finding in circular configurations of processors, Comm. ACM 22 (1979) 281–283.
A. Erdélyi (ed.),Higher Transcendental Functions, vol. 1 (McGraw-Hill, 1953).
W. Feller,An Introduction to Probability Theory and its Applications, vol 2 (Wiley, 1970).
P. Flajolet, Random tree models in the analysis of algorithms,Proc. PERFORMANCE '87 eds. P.-J. Courtois and G. Latouche (North-holland, 1988).
D.S. Hirschberg and J.B. Sinclair, Decentralized extrema-finding in circular configurations of processors, Comm. ACM 23 (1980) 627–628.
E.L. Ince,Ordinary Differential Equations (Dover, 1926).
C. Kaiser, Election sur un anneau par parcours de reconnaissance, T.S.I. 8 (1989) 241–257.
D. Rotem, E. Korach and N. Santoro, Analysis of a distributed algorithm for extrema-finding in a ring, J. Parallel Distr. Comput. 4 (1987) 575–591.
M. Laventiev and B. Chabat,Méthodes de la Théorie des Fonctions d'une Variable Complexe (MIR Editions, 1977).
G. Le Lann, Distributed systems. Towards a formal approach,IFIP Congress 1977 (North-Holland) pp. 185–187.
G.L. Peterson, AnO(n log n) unidirectional algorithm for the circular extrema problem, ACM Trans. Prog. Languages and Systems 4 no. 4 (1982).
D. Stoyan,Comparison Methods for Queues and Other Stochastic Models (Wiley, New York, 1983).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jean-Marie, A., Baccelli, F. Communication and time complexity of a distributed election protocol. Queueing Syst 9, 83–111 (1991). https://doi.org/10.1007/BF01158793
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01158793