Skip to main content

2016 | OriginalPaper | Buchkapitel

Deterministic Leader Election in \(O(D+\log n)\) Time with Messages of Size O(1)

verfasst von : Arnaud Casteigts, Yves Métivier, John Michael Robson, Akka Zemmari

Erschienen in: Distributed Computing

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper presents a distributed algorithm, called \(\mathcal{STT}\), for electing deterministically a leader in an arbitrary network, assuming processors have unique identifiers of size \(O(\log n)\), where n is the number of processors. It elects a leader in \(O(D +\log n)\) rounds, where D is the diameter of the network, with messages of size O(1). Thus it has a bit round complexity of \(O(D +\log n)\). This substantially improves upon the best known algorithm whose bit round complexity is \(O(D\log n)\). In fact, using the lower bound by Kutten et al. [13] and a result of Dinitz and Solomon [8], we show that the bit round complexity of \(\mathcal{STT}\) is optimal (up to a constant factor), which is a step forward in understanding the interplay between time and message optimality for the election problem. Our algorithm requires no knowledge on the graph such as n or D.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Angluin, D.: Local and global properties in networks of processors. In: Proceedings of the 12th Symposium on Theory of Computing, pp. 82–93 (1980) Angluin, D.: Local and global properties in networks of processors. In: Proceedings of the 12th Symposium on Theory of Computing, pp. 82–93 (1980)
2.
Zurück zum Zitat Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics. Wiley, Hoboken (2004)CrossRefMATH Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics. Wiley, Hoboken (2004)CrossRefMATH
3.
Zurück zum Zitat Awerbuch, B.: Optimal distributed algorithms for minimum weight spanning tree, counting, leader election and related problems (detailed summary). In: Proceedings of 19th Symposium on Theory of Computing, New York, USA, pp. 230–240 (1987) Awerbuch, B.: Optimal distributed algorithms for minimum weight spanning tree, counting, leader election and related problems (detailed summary). In: Proceedings of 19th Symposium on Theory of Computing, New York, USA, pp. 230–240 (1987)
5.
Zurück zum Zitat Bodlaender, H.L., Moran, S., Warmuth, M.K.: The distributed bit complexity of the ring: from the anonymous case to the non-anonymous case. Inf. Comput. 114(2), 34–50 (1994)MathSciNetCrossRefMATH Bodlaender, H.L., Moran, S., Warmuth, M.K.: The distributed bit complexity of the ring: from the anonymous case to the non-anonymous case. Inf. Comput. 114(2), 34–50 (1994)MathSciNetCrossRefMATH
6.
Zurück zum Zitat Bodlaender, H.L., Tel, G.: Bit-optimal election in synchronous rings. Inf. Process. Lett. 36(1), 53–56 (1990)CrossRefMATH Bodlaender, H.L., Tel, G.: Bit-optimal election in synchronous rings. Inf. Process. Lett. 36(1), 53–56 (1990)CrossRefMATH
7.
Zurück zum Zitat Dinitz, Y., Moran, S., Rajsbaum, S.: Bit complexity of breaking and achieving symmetry in chains and rings. J. ACM 55(1), 167–183 (2008)MathSciNetCrossRefMATH Dinitz, Y., Moran, S., Rajsbaum, S.: Bit complexity of breaking and achieving symmetry in chains and rings. J. ACM 55(1), 167–183 (2008)MathSciNetCrossRefMATH
8.
Zurück zum Zitat Dinitz, Y., Solomon, N.: Two absolute bounds for distributed bit complexity. Theor. Comput. Sci. 384(2–3), 168–183 (2007)MathSciNetCrossRefMATH Dinitz, Y., Solomon, N.: Two absolute bounds for distributed bit complexity. Theor. Comput. Sci. 384(2–3), 168–183 (2007)MathSciNetCrossRefMATH
9.
10.
Zurück zum Zitat Gallager, R.G.: Finding a leader in a network with \(o(e\, {+}\, n\log n)\) messages. Technical Report Internal Memo., M.I.T., Cambridge, MA (1979) Gallager, R.G.: Finding a leader in a network with \(o(e\, {+}\, n\log n)\) messages. Technical Report Internal Memo., M.I.T., Cambridge, MA (1979)
11.
Zurück zum Zitat Kothapalli, K., Onus, M., Scheideler, C., Schindelhauer, C.: Distributed coloring in \({O}(\sqrt{\log n})\) bit rounds. In: 20th International Parallel and Distributed Processing Symposium (IPDPS), Rhodes Island, Greece. IEEE (2006) Kothapalli, K., Onus, M., Scheideler, C., Schindelhauer, C.: Distributed coloring in \({O}(\sqrt{\log n})\) bit rounds. In: 20th International Parallel and Distributed Processing Symposium (IPDPS), Rhodes Island, Greece. IEEE (2006)
12.
Zurück zum Zitat Kushilevitz, E., Nisan, N.: Communication complexity. Cambridge University Press, New York (1999)MATH Kushilevitz, E., Nisan, N.: Communication complexity. Cambridge University Press, New York (1999)MATH
13.
Zurück zum Zitat Kutten, S., Pandurangan, G., Peleg, D., Robinson, P., Trehan, A.: On the complexity of universal leader election. J. ACM 7, 7: 1–7: 27 (2015)MathSciNetMATH Kutten, S., Pandurangan, G., Peleg, D., Robinson, P., Trehan, A.: On the complexity of universal leader election. J. ACM 7, 7: 1–7: 27 (2015)MathSciNetMATH
14.
Zurück zum Zitat LeLann, G.: Distributed systems: Towards a formal approach. In: Gilchrist, B. (ed.), Information processing 1977, pp. 155–160. North-Holland (1977) LeLann, G.: Distributed systems: Towards a formal approach. In: Gilchrist, B. (ed.), Information processing 1977, pp. 155–160. North-Holland (1977)
15.
Zurück zum Zitat Lynch, N.A.: Distributed algorithms. Morgan Kaufman, San Francisco (1996)MATH Lynch, N.A.: Distributed algorithms. Morgan Kaufman, San Francisco (1996)MATH
16.
Zurück zum Zitat Peleg, D.: Time-optimal leader election in general networks. J. Parallel Distrib. Comput. 8(1), 96–99 (1990)MathSciNetCrossRef Peleg, D.: Time-optimal leader election in general networks. J. Parallel Distrib. Comput. 8(1), 96–99 (1990)MathSciNetCrossRef
17.
Zurück zum Zitat Rosen, K.H. (ed.): Handbook of Discrete and Combinatorial Mathematics. CRC Press, Boca Raton (2000)MATH Rosen, K.H. (ed.): Handbook of Discrete and Combinatorial Mathematics. CRC Press, Boca Raton (2000)MATH
18.
Zurück zum Zitat Santoro, N.: On the message complexity of distributed problems. Int. J. Parallel Program. 13(3), 131–147 (1984)MathSciNetMATH Santoro, N.: On the message complexity of distributed problems. Int. J. Parallel Program. 13(3), 131–147 (1984)MathSciNetMATH
19.
Zurück zum Zitat Santoro, N.: Design and analysis of distributed algorithm. Wiley, New York (2007)MATH Santoro, N.: Design and analysis of distributed algorithm. Wiley, New York (2007)MATH
20.
Zurück zum Zitat Schneider, J., Wattenhofer, R.: Trading bit, message, and time complexity of distributed algorithms. In: Peleg, D. (ed.) Distributed Computing. LNCS, vol. 6950, pp. 51–65. Springer, Heidelberg (2011)CrossRef Schneider, J., Wattenhofer, R.: Trading bit, message, and time complexity of distributed algorithms. In: Peleg, D. (ed.) Distributed Computing. LNCS, vol. 6950, pp. 51–65. Springer, Heidelberg (2011)CrossRef
22.
Zurück zum Zitat Tanenbaum, A., van Steen, M.: Distributed Systems - Principles and Paradigms. Prentice Hall, Upper Saddle River (2002)MATH Tanenbaum, A., van Steen, M.: Distributed Systems - Principles and Paradigms. Prentice Hall, Upper Saddle River (2002)MATH
23.
Zurück zum Zitat Tel, G.: Introduction to distributed algorithms. Cambridge University Press, Cambridge (2000)CrossRefMATH Tel, G.: Introduction to distributed algorithms. Cambridge University Press, Cambridge (2000)CrossRefMATH
24.
Zurück zum Zitat Yao, A.C.: Some complexity questions related to distributed computing. In: Proceedings of 11th Symposium on Theory of Computing (STOC), pp. 209–213. ACM Press (1979) Yao, A.C.: Some complexity questions related to distributed computing. In: Proceedings of 11th Symposium on Theory of Computing (STOC), pp. 209–213. ACM Press (1979)
Metadaten
Titel
Deterministic Leader Election in Time with Messages of Size O(1)
verfasst von
Arnaud Casteigts
Yves Métivier
John Michael Robson
Akka Zemmari
Copyright-Jahr
2016
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-53426-7_2

Premium Partner