Improving the Availability of Mutual Exclusion Systems on Incomplete Networks

  • Authors:
  • Takashi Harada;Masafumi Yamashita

  • Affiliations:
  • Hiroshima Univ., Higashi-Hiroshima, Japan;Kyushu Univ., Fukuota, Japan

  • Venue:
  • IEEE Transactions on Computers
  • Year:
  • 1999

Quantified Score

Hi-index 14.98

Visualization

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.