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

07-09-2022

A randomized algorithm for the wait-free consensus problem

Authors: Radha Rani, Dharmendra Prasad Mahato

Published in: The Journal of Supercomputing | Issue 4/2023

Log in

Activate our intelligent search to find suitable subject content or patents.

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
3.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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
Metadata
Title
A randomized algorithm for the wait-free consensus problem
Authors
Radha Rani
Dharmendra Prasad Mahato
Publication date
07-09-2022
Publisher
Springer US
Published in
The Journal of Supercomputing / Issue 4/2023
Print ISSN: 0920-8542
Electronic ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-022-04774-z

Other articles of this Issue 4/2023

The Journal of Supercomputing 4/2023 Go to the issue

Premium Partner