Multidimensional voting

We introduce a new concept, m ultidimenszonal voting, in which the vote and quorum assignments are k-dimensional vectors of nonnegative integers and each dimension is independent of the others. Multidimensional voting is more powerful than traditional weighted voting because it is equivalent to the general method for achieving synchronization in distributed systems which is based on sets of groups of nodes (quorum sets). We describe an efficient algorithm for finding a multidimensional vote assignment for any given quorum set and show examples of its use. We demonstrate the versatility of multidimensional voting by using it to implement mutual exclusion in fault-tolerant distributed systems and protocols for synchronizing access to fully and partially replicated data. These protocols cannot be implemented by traditional weighted voting. Also, the protocols based on multidimensional voting are easier to implement and/or provide greater flexibility than existing protocols for the same purpose, Finally, we present a generalization of the multidimensional voting scheme, called nested multidzmenszonal uotmg, that can facilitate implementation of replica control protocols that use structured quorum sets.

[1]  Akhil Kumar,et al.  Performance analysis of a hierarchical quorum consensus algorithm for replicated objects , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

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

[3]  Hector Garcia-Molina,et al.  Increasing availability under mutual exclusion constraints with dynamic vote reassignment , 1989, TOCS.

[4]  Mostafa H. Ammar,et al.  Optimizing Vote and Quorum Assignments for Reading and Writing Replicated Data , 1989, IEEE Trans. Knowl. Data Eng..

[5]  Mostafa H. Ammar,et al.  Optimizing the performance of quorum consensus replica control protocols , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[6]  Divyakant Agrawal,et al.  Reducing Storage for Quorum Consensus Algorithms , 1988, VLDB.

[7]  Maurice Herlihy,et al.  Dynamic quorum adjustment for partitioned data , 1987, TODS.

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

[9]  Leslie Lamport,et al.  The Implementation of Reliable Distributed Multiprocess Systems , 1978, Comput. Networks.

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

[11]  Derek L. Eager,et al.  Achieving robustness in distributed database systems , 1983, TODS.

[12]  Mostafa H. Ammar,et al.  Optimizing vote and quorum assignments for reading and writing replicated data , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

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

[14]  Mostafa H. Ammar,et al.  Performance Characterization of Quorum-Consensus Algorithms for Replicated Data , 1989, IEEE Trans. Software Eng..

[15]  Sushil Jajodia,et al.  Dynamic voting algorithms for maintaining the consistency of a replicated database , 1990, TODS.

[16]  Divyakant Agrawal,et al.  Efficient solution to the distributed mutual exclusion problem , 1989, PODC '89.

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

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