A Framework for Fault-Tolerant Distributed Mutual Exclusion and Replica Control Using Grid Structures

This paper presents a framework for fault-tolerant distributed mutual exclusion and replica control algorithms utilizing overlapping grid quorums, which are sets constructed with the aid of grid structures. There are two components of the framework: the first one concerns generic representation of grid quorums, and the second one, generic verification of the overlapping properties of grid quorums. This framework not only allows us to view and verify a variety of grid quorum based algorithms clearly and consistently, but also provides us with opportunities to exploit grid quorums for mutual exclusion and replica control. With the effectiveness of the framework, we have devised five novel methods of grid quorum construction for distributed mutual exclusion and replica control in this paper.

[1]  H ThomasRobert.  A Majority consensus approach to concurrency control for multiple copy databases , 1979 .

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

[3]  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.

[4]  C. Wu.  A fault tolerant (/spl radic/N) algorithm for distributed mutual exclusion , 1993, Proceedings of Phoenix Conference on Computers and Communications.

[5]  Mostafa H. Ammar,et al.  The Grid Protocol: A High Performance Scheme for Maintaining Replicated Data , 1992, IEEE Trans. Knowl. Data Eng..

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

[7]  Divyakant Agrawal,et al.  Exploiting Logical Structures in Replicated Databases , 1990, Inf. Process. Lett..

[8]  Divyakant Agrawal,et al.  Resilient Logical Structures for Efficient Management of Replicated Data , 1992, VLDB.

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

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

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

[12]  Sheng-De Wang,et al.  An Efficient Quorum Generating Approach for Distributed Mutual Exclusion , 1993, Journal of information science and engineering.