The Availability of Crumbling Wall Quorum Systems

Abstract A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mutual exclusion, data replication and dissemination of information. Crumbling walls are a general class of quorum systems. The elements (processors) of a wall are logically arranged in rows of varying widths. A quorum in a wall is the union of one full row and a representative from every row below the full row. This class considerably generalizes a number of known quorum system constructions. In this paper we study the availability of crumbling wall quorum systems. We show that if the row width is bounded, or if the number of rows is bounded, then the wall's failure probability Fp does not vanish as the number of elements tends to infinity (i.e., Fp is not Condorcet). If the wall may grow in both the row number and row width, we show that the behavior depends on the rate of growth of the row width. We establish a sharp threshold rate: when the row width ni ⩽ ⌊log2 2i⌋ then Fp is Condorcet, and when ni ⩾ (1 + e) log2 i then Fp is not Condorcet.

[1]  David K. Gifford,et al.  Weighted voting for replicated data , 1979, SOSP '79.

[2]  M. P. Herlihy.  REPLICATION METHODS FOR ABSTRACT DATA TYPES , 1984 .

[3]  Akhil Kumar,et al.  A High Availability \sqrt{N} Hierarchical Grid Algorithm for Replicated Data , 1991, Inf. Process. Lett..

[4]  Satish K. Tripathi,et al.  A fault-tolerant algorithm for replicated data management , 1992, [1992] Eighth International Conference on Data Engineering.

[5]  Robert H. Thomas,et al.  A Majority consensus approach to concurrency control for multiple copy databases , 1979, ACM Trans. Database Syst..

[6]  Michel Raynal,et al.  Algorithms for mutual exclusion , 1986 .

[7]  Bernard Mans,et al.  Optimal Coteries and Voting Schemes , 1994, Inf. Process. Lett..

[8]  Ichiro Suzuki,et al.  A distributed mutual exclusion algorithm , 1985, TOCS.

[9]  Michael Rabinovich,et al.  A performance study of general grid structures for replicated data , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[10]  Moni Naor,et al.  The Load, Capacity, and Availability of Quorum Systems , 1998, SIAM J. Comput..

[11]  Hector Garcia-Molina,et al.  Consistency in a partitioned network: a survey , 1985, CSUR.

[12]  Divyakant Agrawal,et al.  An efficient and fault-tolerant solution for distributed mutual exclusion , 1991, TOCS.

[13]  David Peleg,et al.  The Availability of Quorum Systems , 1995, Inf. Comput..

[14]  Hector Garcia-Molina,et al.  Distributed selective dissemination of information , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[15]  David Peleg,et al.  Load Balancing in Quorum Systems , 1997, SIAM J. Discret. Math..

[16]  David Peleg,et al.  Crumbling walls: a class of practical and efficient quorum systems , 1995, PODC '95.

[17]  Mamoru Maekawa,et al.  A N algorithm for mutual exclusion in decentralized systems , 1985, TOCS.

[18]  Akhil Kumar,et al.  Hierarchical Quorum Consensus: A New Algorithm for Managing Replicated Data , 1991, IEEE Trans. Computers.

[19]  Mostafa H. Ammar,et al.  The grid protocol: a high performance scheme for maintaining replicated data , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[20]  Manhoi Choy.  Robust distributed mutual exclusion , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[21]  Satish K. Tripathi,et al.  A Robust Distributed Mutual Exclusion Algorithm , 1991, WDAG.

[22]  Moni Naor,et al.  Access Control and Signatures via Quorum Secret Sharing , 1998, IEEE Trans. Parallel Distributed Syst..

[23]  Mitchell L. Neilsen,et al.  Quorum structures in distributed systems , 1992 .

[24]  Hector Garcia-Molina,et al.  How to assign votes in a distributed system , 1985, JACM.

[25]  Piotr Berman,et al.  Voting as the Optimal Static Pessimistic Scheme for Managing Replicated Data , 1994, IEEE Trans. Parallel Distributed Syst..