A queue based mutual exclusion algorithm
DOI10.1007/S00236-008-0086-ZzbMATH Open1172.68041OpenAlexW2045395233MaRDI QIDQ1006897FDOQ1006897
Authors: Alex A. Aravind, W. H. Hesselink 
Publication date: 26 March 2009
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://pure.rug.nl/ws/files/2673455/2009ActaInfAravind.pdf
Recommendations
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
- Queue based mutual exclusion with linearly bounded overtaking
- Mutual exclusion algorithms with constant RMR complexity and wait-free exit code
- Nonatomic dual bakery algorithm with bounded tokens
- scientific article; zbMATH DE number 2089981
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- On interprocess communication. I: Basic formalism
- Myths about the mutual exclusion problem
- Title not available (Why is that?)
- A new solution of Dijkstra's concurrent programming problem
- Title not available (Why is that?)
- A mutual exclusion algorithm with optimally bounded bypasses
- A more efficient generalization of Peterson's mutual exclusion algorithm
- A criterion for atomicity revisited
- An assertional proof for a construction of an atomic variable
Cited In (11)
- Queue based mutual exclusion with linearly bounded overtaking
- Simulation refinement for concurrency verification
- Analysing mutual exclusion using process algebra with signals
- Title not available (Why is that?)
- Starvation-free mutual exclusion with semaphores
- On the correctness of Goscinski's algorithm
- Nonatomic dual bakery algorithm with bounded tokens
- Tournaments for mutual exclusion: verification and concurrent complexity
- Mutual exclusion scheduling
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
- Mutual exclusion as a matter of priority
Uses Software
This page was built for publication: A queue based mutual exclusion algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006897)
