Deriving a scalable algorithm for mutual exclusion

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1499, Issue , 1998, Pages 393-407

  Tsay, Yih Kuen ^a  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

Local spins; Mutual exclusion; Read write atomicity; Refinement; Scalability

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS;

BUILDING BLOCKES; LOCAL SPIN; MUTUAL EXCLUSIONS; PETERSON'S ALGORITHM; PROCESS ALGORITHMS; READ/WRITE ATOMICITY; REFINEMENT; SCALABLE ALGORITHMS;

SCALABILITY;

EID: 84939816272     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056497     Document Type: Conference Paper

References (10)

1. T.E. Anderson. The performance of spin lock alternatives for shared-memory multiprocessors. IEEE Transactions on Parallel and Distributed Systems, 1(1):6-16, January 1990.
2. M. Choy and A.K. Singh. Adaptive solutions to the mutual exclusion problem. Distributed Computing, 8(1):1-17, 1994.
3. E.W. Dijkstra. Solution of a problem in concurrent programming control. Communications of ACM, 8:569, 1965.
4. J.L.W. Kessels. Arbitration without common modifiable variables. Acta Informatica, 17:135-141, 1982.
5. L. Lamport. A fast mutual exclusion algorithm. ACM Transactions on Computer Systems, 5(1):1-11, February 1987.
6. N.A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996.
7. J.M. Mellor-Crummey and M.L. Scott. Algorithms for scalable synchronization on shared-memory multiprocessors. A CM Transactions on Computer Systems, 9(1):21-65, February 1991.
8. G.L. Peterson. Myths about the mutual exclusion problem. Information Processing Letters, 12(3):115-116, June 1981.
9. G.L. Peterson and M.J. Fischer. Economical solutions for the critical section problem in a distributed system. In Proceedings of the 9th Annual ACM Symposium on Theory of Computing, pages 91-97, 1977.
10. J.-H. Yang and J.H. Anderson. A fast, scalable mutual exclusion algorithm. Distributed Computing, 9(1):51-60, 1995.