Non-blocking asynchronous byzantine quorum systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Quorum systems have been used to implement many coordination problems in distributed systems. In this paper, we propose a reformulation of the definition of Byzantine quorum systems. Our reformulation captures the requirement for non-blocking access to quorums in asynchronous systems. We formally define the asynchronous access cost of quorum systems and we show that the asynchronous access cost and not the size of a quorum is the right measure of message complexity of protocols using quorums in asynchronous systems. We also show that previous quorum systems proposed in the literature have a very high asynchronous access cost. We present new quorum systems with low asynchronous access cost and whose other performance parameters match those of the best Byzantine quorum systems proposed in the literature. In particular, we present a construction for the disjoint failure pattern that outperforms previously proposed systems for that pattern.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages109-122
Number of pages14
Volume1693
ISBN (Print)3540665315, 9783540665311
StatePublished - 1999
Event13th International Symposium on Distributed Computing, DISC 1999 - Bratislava, Slovakia
Duration: Sep 27 1999Sep 29 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1693
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other13th International Symposium on Distributed Computing, DISC 1999
CountrySlovakia
CityBratislava
Period9/27/999/29/99

Fingerprint

Quorum
Costs
Asynchronous Systems
Reformulation
Message Complexity
Distributed Systems
Disjoint

Keywords

  • Access cost
  • Asynchronous
  • Byzantine
  • Distributed
  • Failures
  • Quorum
  • Tolerance

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Bazzi, R. (1999). Non-blocking asynchronous byzantine quorum systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1693, pp. 109-122). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1693). Springer Verlag.

Non-blocking asynchronous byzantine quorum systems. / Bazzi, Rida.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1693 Springer Verlag, 1999. p. 109-122 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1693).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bazzi, R 1999, Non-blocking asynchronous byzantine quorum systems. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 1693, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1693, Springer Verlag, pp. 109-122, 13th International Symposium on Distributed Computing, DISC 1999, Bratislava, Slovakia, 9/27/99.
Bazzi R. Non-blocking asynchronous byzantine quorum systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1693. Springer Verlag. 1999. p. 109-122. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Bazzi, Rida. / Non-blocking asynchronous byzantine quorum systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1693 Springer Verlag, 1999. pp. 109-122 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{48b3760df58d46e99f23baef63884682,
title = "Non-blocking asynchronous byzantine quorum systems",
abstract = "Quorum systems have been used to implement many coordination problems in distributed systems. In this paper, we propose a reformulation of the definition of Byzantine quorum systems. Our reformulation captures the requirement for non-blocking access to quorums in asynchronous systems. We formally define the asynchronous access cost of quorum systems and we show that the asynchronous access cost and not the size of a quorum is the right measure of message complexity of protocols using quorums in asynchronous systems. We also show that previous quorum systems proposed in the literature have a very high asynchronous access cost. We present new quorum systems with low asynchronous access cost and whose other performance parameters match those of the best Byzantine quorum systems proposed in the literature. In particular, we present a construction for the disjoint failure pattern that outperforms previously proposed systems for that pattern.",
keywords = "Access cost, Asynchronous, Byzantine, Distributed, Failures, Quorum, Tolerance",
author = "Rida Bazzi",
year = "1999",
language = "English (US)",
isbn = "3540665315",
volume = "1693",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "109--122",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Non-blocking asynchronous byzantine quorum systems

AU - Bazzi, Rida

PY - 1999

Y1 - 1999

N2 - Quorum systems have been used to implement many coordination problems in distributed systems. In this paper, we propose a reformulation of the definition of Byzantine quorum systems. Our reformulation captures the requirement for non-blocking access to quorums in asynchronous systems. We formally define the asynchronous access cost of quorum systems and we show that the asynchronous access cost and not the size of a quorum is the right measure of message complexity of protocols using quorums in asynchronous systems. We also show that previous quorum systems proposed in the literature have a very high asynchronous access cost. We present new quorum systems with low asynchronous access cost and whose other performance parameters match those of the best Byzantine quorum systems proposed in the literature. In particular, we present a construction for the disjoint failure pattern that outperforms previously proposed systems for that pattern.

AB - Quorum systems have been used to implement many coordination problems in distributed systems. In this paper, we propose a reformulation of the definition of Byzantine quorum systems. Our reformulation captures the requirement for non-blocking access to quorums in asynchronous systems. We formally define the asynchronous access cost of quorum systems and we show that the asynchronous access cost and not the size of a quorum is the right measure of message complexity of protocols using quorums in asynchronous systems. We also show that previous quorum systems proposed in the literature have a very high asynchronous access cost. We present new quorum systems with low asynchronous access cost and whose other performance parameters match those of the best Byzantine quorum systems proposed in the literature. In particular, we present a construction for the disjoint failure pattern that outperforms previously proposed systems for that pattern.

KW - Access cost

KW - Asynchronous

KW - Byzantine

KW - Distributed

KW - Failures

KW - Quorum

KW - Tolerance

UR - http://www.scopus.com/inward/record.url?scp=84947927424&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947927424&partnerID=8YFLogxK

M3 - Conference contribution

SN - 3540665315

SN - 9783540665311

VL - 1693

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 109

EP - 122

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -