Issue No. 07 - July (2004 vol. 15)

ISSN: 1045-9219

pp: 666-672

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2004.23

Takashi Harada , IEEE Computer Society

Masafumi Yamashita , IEEE Computer Society

ABSTRACT

<p><b>Abstract</b>—Network partition, which makes it impossible for some pairs of precesses to communicate with each other, is one of the most serious network failures. Although the notion of <it>k</it>-coterie is introduced to design a <it>k</it>-mutual exclusion algorithm robust against network failures, the number of processes allowed to simultaneously access the critical section may fatally decrease once network partition occurs. This paper discusses how to construct a <it>k</it>-coterie such that the <it>k</it>-mutual exclusion algorithm adopting it is robust against network 2-partition. To this end, we introduce the notion of <it>complemental</it><it>k</it>-coterie, and show that complemental <it>k</it>-coteries meet our purpose. We then give methods for constructing complemental <it>k</it>-coteries, and show a necessary and sufficient condition for a <it>k</it>-coteries to be complemental.</p>

INDEX TERMS

Distributed systems, complemental, k-coteries, k-semicoteries, k-mutual exclusion problem, network 2-partition, nondominatedness, quorums.

CITATION

Takashi Harada, Masafumi Yamashita, "k-Coteries for Tolerating Network 2-Partition",

*IEEE Transactions on Parallel & Distributed Systems*, vol. 15, no. , pp. 666-672, July 2004, doi:10.1109/TPDS.2004.23