Mutual exclusion is treated in distributed autonomous environments. The most important property of the autonomous network treated here is its membership variability, that is, frequency occurrence of entries of new nodes and exits of old nodes. Thus, when the network is large-scale, it is not possible for each node to keep up the information of all other nodes. The authors have previously designed a mutual exclusion algorithm of the single shared resource case for distributed environments of autonomous nodes, based on the Chandy-Misra protocol for Dining Philosopher (diners) problems (K. M. Chandy and J. Misra, 1984). Mutual exclusion of multiple shared resource cases is considered. The condition that no more than k nodes can use the shared resource is given. Since the acyclic graph model used in the model can be represented by a marked graph model, this model is used in analysis.<<ETX>>
[1]
Seiki Kyan,et al.
Design of a Dynamic Mutual Exclusion Algorithm for a Distributed Network of Autonomous Nodes (Special Section on the 5th Karuizawa Workshop on Circuits and Systems)
,
1993
.
[2]
Mamoru Maekawa,et al.
A N algorithm for mutual exclusion in decentralized systems
,
1985,
TOCS.
[3]
Sape Mullender,et al.
Distributed systems
,
1989
.
[4]
K. Mani Chandy,et al.
The drinking philosophers problem
,
1984,
ACM Trans. Program. Lang. Syst..
[5]
Gérard Le Lann,et al.
Distributed Systems - Towards a Formal Approach
,
1977,
IFIP Congress.