The Computer Journal Advance Access originally published online on December 21, 2007
The Computer Journal 2008 51(6):677-687; doi:10.1093/comjnl/bxm106
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||
The Availability of Complemental k-Coteries
Department of Computer and Information Science, Soochow University, Taipei 100, Taiwan, R.O.C.
* Corresponding author: yckuo{at}cis.scu.edu.tw
Received 6 June 2007; revised 9 October 2007
k-Coterie is a graceful concept to solve the distributed k-mutual exclusion problem. The k-mutual exclusion algorithm adopting k-coteries could provide the fault-tolerant capability. The complementalness and the availability are two important metrics to measure the fault-tolerant capability of a k-coterie. Since those two metrics are defined under two different failure assumptions, for a given k-coterie, two independent works to measure those two metrics are necessary. In this paper, we derive the characteristics of the complemental k-coterie on its availability. With the characteristic, verifying the complementalness of a k-coterie and evaluating its availability could be combined together to reduce the redundant works on measuring the fault-tolerant capability of the k-coterie.
Key Words: availability complementalness distributed systems fault-tolerance k-coteries k-mutual exclusion problem network 2-partition quorums