On the computational power needed to elect a leader
Consider a ring of identical processors that wish to elect a leader. Itai and Rodeh have shown that if n, the size of the ring, is not known then there exists no algorithm in which the processors can sense termination. However, for all ε>0 there exist leader election algorithms which terminate when all messages arrive. These algorithms elect a leader with error probability ≤ ε. They and most subsequent authors have concentrated on the message complexity, and have disregarded the amount of local memory required.
Here we consider a ring in which the amount of local memory in each processor is bounded by a number which is independent of the size of the ring, and depends only on the allowed error rate. We present three algorithms, one in which the probability of error is O(1/n α ), the memory is O(log α) bits and the communication complexity is O(n2 log n) bits, where α>1 is an arbitrary parameter. In the second algorithm, for each ε>0 the probability of error is ≤ ε, O(logloglog(1/ε)) bits of memory are required and the communication complexity is O((n/ε)log n log(1/ε)(loglog n+log(1/ε))) bits. The third algorithm always terminates though its communication complexity may be larger. Since the computation for each message is at most exponential in the number of bits of local memory, the amount of computation is also independent of the size of the ring.
These results are extended to additional topologies.
KeywordsBasic Algorithm Local Memory Communication Complexity Finite Automaton Leader State
Unable to display preview. Download preview PDF.
- K. Abrahamson, A. Adler, L. Higham, and D. Kirkpatrick. Probabilistic solitude verification on a ring. In 5th PODC, pages 161–173, August 1986.Google Scholar
- D. Angluin. Local and global properties in networks of processes. In 12th STOC, pages 82–93, ACM, April 1980. Los Angeles, California.Google Scholar
- J.E. Burns. A formal model for message passing system. Technical Report TR-91, Indiana University, September 1980.Google Scholar
- E. Chang and R. Roberts. An improved algorithm for decentralized extrema-finding in circular configurations of processes. Communications of the ACM, 22:281–283, 1979.Google Scholar
- D. Dolev, M. Klawe, and M. Rodeh. An O(n log n) unidirectional distributed algorithm for extrema finding in a circle. Journal of Algorithms, 3:245–260, 1982.Google Scholar
- P. Duris and Z. Galil. Two lower bounds in asynchronous distributed computation. In 28 FOCS, pages 326–330, 1987.Google Scholar
- P. Flajolet.Google Scholar
- R. Franklin. On an improved algorithm for decentralized extrema-finding in circular configuration of processes. Communications of the ACM, 25:336–337, 1982.Google Scholar
- A.G. Greenberg and R.E. Ladner. Estimating the multiplicities of conflicts in multiple access channels. In 24th FOCS, pages 383–392, 1983.Google Scholar
- M. A. Golberg. An Introduction to Probability Theory with Statistical Applications, Plenum Press, 1984.Google Scholar
- D.S. Hirschberg and J.B. Sinclair. Decentralized extrema-finding in circular configurations of processes. Communications of the ACM, 23, November 1980.Google Scholar
- A. Itai, S. Moran, and N. Navoni. — in preparation.Google Scholar
- A. Itai and M. Rodeh. Symmetry breaking in distributed network. In 22nd FOCS, pages 245–260, 1981. To appear in Inf. and Comp. Google Scholar
- G. LeLann. Distributed systems — toward a formal approach. Information Processing Letters, 77:155–160.Google Scholar
- Y. Matias and Y. Afek. Simple and efficient election algorithms for anonymous networks. In 3rd Intl. Workshop on Distributed Algorithms, pages 183–194, Lecture Notes in Computer Science, Springer-Verlag, Nice, France, September 1989.Google Scholar
- G.L. Peterson. An O(n log n) unidirectional algorithm for the circular extrema problem. IEEE Transactions on Programming Languages and Systems, 4:758–762, 1982.Google Scholar
- B. Schieber and M. Snir. Calling names on nameless networks. In ACM Symp. on the Principles of Distributed Computing, Edmonton, Canada, 1989.Google Scholar