This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Improving the Availability of Mutual Exclusion Systems on Incomplete Networks
July 1999 (vol. 48 no. 7)
pp. 744-747

Abstract—We model a distributed system by a graph $G=(V,E)$, where $V$ represents the set of processes and $E$ the set of bidirectional communication links between two processes. $G$ may not be complete. A popular (distributed) mutual exclusion algorithm on $G$ uses a coterie ${\cal C} (\subseteq 2^V)$, which is a nonempty set of nonempty subsets of $V$ (called quorums) such that, for any two quorums $P, Q \in {\cal C}$, 1) $P \cap Q \ne \emptyset$ and 2) $P \not\subset Q$ hold. The availability is the probability that the algorithm tolerates process and/or link failures, given the probabilities that a process and a link, respectively, are operational. The availability depends on the coterie used in the algorithm. This paper proposes a method to improve the availability by transforming a given coterie.

[1] D. Agrawal and A.E. Abbadi, An Efficient and Fault-Tolerant Solution for Distributed Mutual Exclusion ACM Trans. Computing Systems, vol. 9, no. 1, pp. 1-20, 1991.
[2] M.O. Ball, “Computational Complexity of Network Reliability Analysis: An Overview,” IEEE Trans. Reliability, vol. 35, no. 3, pp. 230-239, Aug. 1986.
[3] D. Barbara and H. Garcia-Molina, "The Reliability of Voting Mechanisms," IEEE Trans. Computers, vol. 36, pp. 1,197-1,208, Oct. 1987.
[4] J.C. Bioch and T. Ibaraki, “Generating and Approximating Nondominated Coteries,” IEEE Trans. Parallel and Distributed Systems, vol. 6, no. 9, pp. 905-914, Sept. 1995.
[5] H. Garcia-Molina and D. Barbara, “How to Assign Votes in a Distributed System,” J. ACM, vol. 32, no. 4, pp. 841-860, Oct. 1985.
[6] D.K. Gifford, “Weighted Voting for Replicated Data,” Proc. Seventh ACM SIGOPS Symp. Operating Systems Principles, pp. 150-159, Dec. 1979.
[7] R. Holzman, Y. Marcus, and D. Peleg, “Load Balancing in Quorum Systems,” SIAM J. Discrete Mathematics, vol. 10, no. 2, pp. 223-245, May 1997.
[8] T. Harada and M. Yamashita, “Nondominated Coteries on Graphs,” IEEE Trans. Parallel and Distributed Systems, vol. 8, no. 6, pp. 667-672, June 1997.
[9] T. Ibaraki and T. Kameda, "A Theory of Coteries: Mutual Exclusion in Distributed Systems," IEEE Trans. Parallel and Distributed Systems, vol. 4, pp. 779-794, July 1993.
[10] T. Ibaraki, H. Nagamochi, and T. Kameda, "Optimal Coteries for Rings and Related Networks," Proc. 12th Int'l Conf. Distributed Computing Systems, pp. 650-656, June 1992.
[11] T. Ibaraki, H. Nagamochi, and T. Kameda, “Optimal Coteries for Rings and Related Networks,” Distributed Computing, vol. 8, pp. 191-201, 1995.
[12] M. Maekawa, “A$\sqrt N $Algorithm for Mutual Exclusion in Decentralized Systems,” ACM Trans. Computer Systems, vol. 3, no. 2, pp. 145-159, May 1985.
[13] M.L. Nielsen and M. Mizuno,“Coterie join algorithm,” IEEE Trans. Parallel and Distributed Systems, vol. 3, no. 5, pp. 582-590, Sept. 1992.
[14] M. Naor and A. Wool, “The Load, Capacity and Availability of Quorum Systems,” Proc. 35th IEEE Symp. Foundations of Computer Science, pp. 214-225, Nov. 1994.
[15] M. Spasojevic and P. Berman, "Voting as the Optimal Static Pessimistic Scheme for Managing Replicated Data," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 1, pp. 64-73, Jan. 1994.
[16] R. Thomas, “A Majority Consensus Approach to Concurrency Control,” ACM Trans. Database Systems, vol. 7, no. 3, pp. 323-342, June 1979.
[17] Z. Tong and R. Kain, "Vote Assignments in Weighted Voting Mechanisms," Proc. Seventh Symp. Reliable Distributed Systems, IEEE, Oct. 1988.

Index Terms:
Availability, coteries, distributed systems, $G$-nondominatedness, graph theory, mutual exclusion problems, quorums.
Citation:
Takashi Harada, Masafumi Yamashita, "Improving the Availability of Mutual Exclusion Systems on Incomplete Networks," IEEE Transactions on Computers, vol. 48, no. 7, pp. 744-747, July 1999, doi:10.1109/12.780882
Usage of this product signifies your acceptance of the Terms of Use.