Skip to main content
Erschienen in: The Journal of Supercomputing 4/2023

07.09.2022

A randomized algorithm for the wait-free consensus problem

verfasst von: Radha Rani, Dharmendra Prasad Mahato

Erschienen in: The Journal of Supercomputing | Ausgabe 4/2023

Einloggen

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

search-config
loading …

Abstract

A wait-free consensus technique is provided with endless processes utilizing a shared memory model. When a powerful adversary is allowed to view and destroy infinite number of votes, the approach weighted voting can be used to reach consensus with at least constant probability. In asynchronous system, there is no known upper bound to transmit the message from source to destination processor. This paper presents a resilient and message-efficient algorithm by aggregating the votes of individual processors to solve the wait-free consensus in asynchronous systems. We considered an adaptive adversary and message-passing communication system. Our aim is to construct a message-passing algorithm equivalent to a weak shared coin and to provide a message-efficient algorithm for aggregating the votes of individual processors. A processor announces votes to smaller groups before propagating them to larger ones. To limit generated, received, or sent, vote weights are gradually increased. The wait-free consensus problem is optimally solved by our algorithm, which demonstrates an effective message-passing execution of the shared coin. When less than n/2 processes are faulty or crashed, the predicted message complexity of this randomized consensus procedure is O (n2 (log log n)2). This is a linear improvement over the previous best protocol and is close to a message lower bound.

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

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!

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+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!

Literatur
3.
Zurück zum Zitat Fischer MJ, Lynch NA, Paterson MS (1985) Impossibility of distributed consensus with one faulty process. J Assccktion Comput Mach 32(2):374–382CrossRefMATH Fischer MJ, Lynch NA, Paterson MS (1985) Impossibility of distributed consensus with one faulty process. J Assccktion Comput Mach 32(2):374–382CrossRefMATH
4.
Zurück zum Zitat Loui M, Abu-Amara H (1987) Memory requirements for agreement among unreliable asynchronous processes. Adv Comput Res 4:163–183 Loui M, Abu-Amara H (1987) Memory requirements for agreement among unreliable asynchronous processes. Adv Comput Res 4:163–183
7.
Zurück zum Zitat Aspnes J (1998) Lower bounds for distributed coin-flipping and randomized consensus.pdf. J ACM 45(3):415–450CrossRefMATH Aspnes J (1998) Lower bounds for distributed coin-flipping and randomized consensus.pdf. J ACM 45(3):415–450CrossRefMATH
13.
Zurück zum Zitat Aspnes J, Attiya H, Censor K (2012) Polylogarithmic concurrent data structures from monotone circuits. J ACM 59(1), 24 Aspnes J, Attiya H, Censor K (2012) Polylogarithmic concurrent data structures from monotone circuits. J ACM 59(1), 24
14.
Zurück zum Zitat Aspnes J, Herlihy M (1990) Fast randomized shared consensus memory * using. J Alg, vol 461 Aspnes J, Herlihy M (1990) Fast randomized shared consensus memory * using. J Alg, vol 461
15.
Zurück zum Zitat Aspnes J , Waarts O (1996) Randomized consensus in expected o(nlog2n) operations per processor* 25(5):1024–1044 Aspnes J , Waarts O (1996) Randomized consensus in expected o(nlog2n) operations per processor* 25(5):1024–1044
16.
Zurück zum Zitat Attiya H (2008) Tight bounds for asynchronous randomized consensus.pdf 55(5):26 Attiya H (2008) Tight bounds for asynchronous randomized consensus.pdf 55(5):26
17.
23.
Zurück zum Zitat Aspnes J, Censor K (2010) Approximate shared-memory counting despite a strong adversary. ACM Trans Algo 6(2):25 Aspnes J, Censor K (2010) Approximate shared-memory counting despite a strong adversary. ACM Trans Algo 6(2):25
26.
Zurück zum Zitat Saks M, Shavit N, Woll H (1991) Optimal time randomized consensus—Making resilient algorithms fast in practice. Proc Annu ACM-SIAM Symp Discret Algo, pp 351–362 Saks M, Shavit N, Woll H (1991) Optimal time randomized consensus—Making resilient algorithms fast in practice. Proc Annu ACM-SIAM Symp Discret Algo, pp 351–362
28.
Zurück zum Zitat Alistarh D, Ellen F, Rybicki J (2021) Wait-free approximate agreement on graphs. Lect Notes Comput Sci, 12810 Alistarh D, Ellen F, Rybicki J (2021) Wait-free approximate agreement on graphs. Lect Notes Comput Sci, 12810
30.
Zurück zum Zitat Lamport L, Shostak R, Pease M (1982) The byzantine generals problem. ACM Trans 4(3):382–401MATH Lamport L, Shostak R, Pease M (1982) The byzantine generals problem. ACM Trans 4(3):382–401MATH
31.
Zurück zum Zitat Raynal M, Taubenfeld G (2021) Fully anonymous consensus and set greement algorithms. Netw Syst. pp 314–328 Raynal M, Taubenfeld G (2021) Fully anonymous consensus and set greement algorithms. Netw Syst. pp 314–328
35.
Zurück zum Zitat Chlebus BS, Kowalski DR (2006) Time and communication efficient consensus for crash failures. Distrib Comput, vol 4167 Chlebus BS, Kowalski DR (2006) Time and communication efficient consensus for crash failures. Distrib Comput, vol 4167
37.
Zurück zum Zitat Chlebus BS, Kowalski DR (2009) Fast scalable deterministic consensus for crash failures categories and subject descriptors. Science(80):111–120 Chlebus BS, Kowalski DR (2009) Fast scalable deterministic consensus for crash failures categories and subject descriptors. Science(80):111–120
43.
Zurück zum Zitat Bojjagani S, Sastry VN, Chen CM, Kumari S, Khan MK (2021) Systematic survey of mobile payments, protocols, and security infrastructure. Springer, Berlin Heidelberg Bojjagani S, Sastry VN, Chen CM, Kumari S, Khan MK (2021) Systematic survey of mobile payments, protocols, and security infrastructure. Springer, Berlin Heidelberg
51.
Zurück zum Zitat Mubarakali A, Bose SC, Srinivasan K, Elsir A, Elsier O (2019) Design a secure and efficient health record transaction utilizing block chain (SEHRTB) algorithm for health record transaction in block chain. J Ambient Intell Humaniz Comput. Doi: https://doi.org/10.1007/s12652-019-01420-0 Mubarakali A, Bose SC, Srinivasan K, Elsir A, Elsier O (2019) Design a secure and efficient health record transaction utilizing block chain (SEHRTB) algorithm for health record transaction in block chain. J Ambient Intell Humaniz Comput. Doi: https://​doi.​org/​10.​1007/​s12652-019-01420-0
53.
Zurück zum Zitat De Luca P, Fiscale S, Landolfi L, Di Mauro A (2019) Distributed genomic compression in MapReduce paradigm. Internet Distrib Comput Syst 11874 LNCS:369–378 De Luca P, Fiscale S, Landolfi L, Di Mauro A (2019) Distributed genomic compression in MapReduce paradigm. Internet Distrib Comput Syst 11874 LNCS:369–378
57.
Zurück zum Zitat Kelkar M, Zhang F, Steven G, Juels A (2020) Order-fairness for byzantine consensus. Adv Cryptol CRYPTO 2020 LNCS 12172:451–480CrossRefMATH Kelkar M, Zhang F, Steven G, Juels A (2020) Order-fairness for byzantine consensus. Adv Cryptol CRYPTO 2020 LNCS 12172:451–480CrossRefMATH
58.
Zurück zum Zitat Cachin C, Guerraoui R, Rodrigues L (2011) Introduction to reliable and secure distributed programming. Springer Sci Bus Media Cachin C, Guerraoui R, Rodrigues L (2011) Introduction to reliable and secure distributed programming. Springer Sci Bus Media
59.
Zurück zum Zitat Hadzilacos V, Toueg S (1993) Reliable broadcast and related problems. Distrib Syst, pp 97–145 Hadzilacos V, Toueg S (1993) Reliable broadcast and related problems. Distrib Syst, pp 97–145
Metadaten
Titel
A randomized algorithm for the wait-free consensus problem
verfasst von
Radha Rani
Dharmendra Prasad Mahato
Publikationsdatum
07.09.2022
Verlag
Springer US
Erschienen in
The Journal of Supercomputing / Ausgabe 4/2023
Print ISSN: 0920-8542
Elektronische ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-022-04774-z

Weitere Artikel der Ausgabe 4/2023

The Journal of Supercomputing 4/2023 Zur Ausgabe

Premium Partner