Sciweavers

117 search results - page 6 / 24
» A Distributed K-Mutual Exclusion Algorithm
Sort
View
AINA
2008
IEEE
14 years 2 months ago
Multi-Token Distributed Mutual Exclusion Algorithm
This paper is a contribution to the inception of multiple tokens in solving distributed mutual exclusion problem. The proposed algorithm is based on the token ring approach and al...
Md. Abdur Razzaque, Choong Seon Hong
IWDC
2004
Springer
14 years 1 months ago
Performance of Fair Distributed Mutual Exclusion Algorithms
Kandarp Jani, Ajay D. Kshemkalyani
FSTTCS
2000
Springer
13 years 12 months ago
Formal Verification of the Ricart-Agrawala Algorithm
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ar...
ISSADS
2005
Springer
14 years 1 months ago
Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads Approach
We present a simple implementation of a token-based distributed mutual exclusion algorithm for multithreaded systems. Several per-node requests could be issued by threads running ...
Federico Meza, Jorge Pérez R., Yadran Etero...