Availability of k-coterie
- 1 May 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 42 (5) , 553-558
- https://doi.org/10.1109/12.223674
Abstract
The distributed k-mutual-exclusion problem (k-mutex problem) is the problem of guaranteeing that at most k processes at a time can enter a critical section at a time in a distribution system. A method proposed for the solution of the distributed mutual exclusion problem (i.e., 1-mutex problem) by D. Barbara and H. Garcia-Molina (1987) is an extension of majority consensus and uses coteries. The goodness of coterie-based 1-mutex algorithm strongly depends on the availability of coterie, and it has been shown that majority coterie is optimal in this sense, provided that: the network topology is a complete graph, the links never fail, and p, the reliability of the process, is at least 1/2. The concept of a k-coterie, an extension of a coterie, is introduced for solving the k-mutex problem, and lower and upper bounds are derived on the reliability p for k-majority coterie, a natural extension of majority coterie, to be optimal, under conditions (1)-(3). For example, when k=3, p must be greater than 0.994 for k-majority coterie to be optimal.Keywords
This publication has 13 references indexed in Scilit:
- A token based distributed mutual exclusion algorithm based on quorum agreementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Another distributed algorithm for multiple entries to a critical sectionInformation Processing Letters, 1992
- A simple taxonomy for distributed mutual exclusion algorithmsACM SIGOPS Operating Systems Review, 1991
- Distributed k-mutual exclusion problem and k-coteriesPublished by Springer Nature ,1991
- A distributed algorithm for multiple entries to a critical sectionInformation Processing Letters, 1989
- A tree-based algorithm for distributed mutual exclusionACM Transactions on Computer Systems, 1989
- The Reliability of Voting MechanismsIEEE Transactions on Computers, 1987
- A distributed mutual exclusion algorithmACM Transactions on Computer Systems, 1985
- How to assign votes in a distributed systemJournal of the ACM, 1985
- A √N algorithm for mutual exclusion in decentralized systemsACM Transactions on Computer Systems, 1985