Voting as the Optimal Static Pessimistic Scheme for Managing Replicated Data

This paper investigates the problem of finding an optimal static pessimistic replica control scheme. It has been widely accepted that coteries (proposed by Garcia-Molina and Barbara) provide the most general framework for such schemes. We demonstrate that voting schemes, a very small subset of static pessimistic schemes, are optimal for fully connected networks with negligible link failure rates, as well as for Ethernet systems. We also show that voting is not optimal for somewhat more general systems. We propose a modification of the algorithm of Z. Tong and R.Y. Kain (1988) for computing optimal voting in operation independent case, so that it runs in linear (rather than exponential) time. Finally, we propose the first efficient algorithm for computing the optimal vote assignment and appropriate thresholds for fully connected networks when relative frequencies of read and write operations are known. We also extend this result to Ethernet systems. >

[1]  Jian Tang,et al.  A scheme for maintaining consistency and availability of replicated files in a partitioned distributed system , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

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

[3]  A. Rosenthal Computing the Reliability of Complex Networks , 1977 .

[4]  Richard Y. Kain,et al.  Vote assignments in weighted voting mechanisms , 1988, Proceedings [1988] Seventh Symposium on Reliable Distributed Systems.

[5]  Sushil Jajodia,et al.  Enhancements to the Voting Algorithm , 1987, VLDB.

[6]  Mirjana Spasojevic,et al.  Optimal replica control protocols for ring networks , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.

[7]  Hector Garcia-Molina,et al.  Protocols for dynamic vote reassignment , 1986, PODC '86.

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

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

[10]  Hector Garcia-Molina,et al.  Optimizing the Reliability Provided by Voting Mechanisms , 1984, ICDCS.

[11]  Philip A. Bernstein,et al.  An algorithm for concurrency control and recovery in replicated distributed databases , 1984, TODS.

[12]  Piotr Berman,et al.  Weighted Voting for Operation Dependent Management of Replicated Data , 1990, WDAG.

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

[14]  Piotr Berman,et al.  Voting as the optimal static pessimistic scheme for managing replicated data , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.

[15]  Sushil Jajodia,et al.  Integrating static and dynamic voting protocols to enhance file availability , 1988, Proceedings. Fourth International Conference on Data Engineering.

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

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

[18]  Jian Tang,et al.  A static pessimistic scheme for handling replicated databases , 1989, SIGMOD '89.

[19]  Darrell D. E. Long,et al.  Efficient dynamic voting algorithms , 1988, Proceedings. Fourth International Conference on Data Engineering.

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

[21]  Mostafa H. Ammar,et al.  Multidimensional voting: a general method for implementing synchronization in distributed systems , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[22]  M. Herlihy A quorum-consensus replication method for abstract data types , 1986, TOCS.

[23]  Sushil Jajodia,et al.  Dynamic voting , 1987, SIGMOD '87.