Mutual exclusion with linear waiting using binary shared variables
- 1 July 1978
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGACT News
- Vol. 10 (2) , 42-47
- https://doi.org/10.1145/990524.990527
Abstract
The problem of mutual exclusion among N asynchronous, parallel processes using only shared binary variables for communication is considered. Upper and lower bounds of N+1 and N shared binary variables, respectively, are shown for the problem of mutual exclusion with linear waiting. Lockout-free mutual exclusion is shown to require at least N shared binary variables when the primitive operations are suitably restricted. This latter bound is tight for N=2.Keywords
This publication has 3 references indexed in Scilit:
- Further comments on Dijkstra's concurrent programming control problemCommunications of the ACM, 1972
- Additional comments on a problem in concurrent programming controlCommunications of the ACM, 1966
- Solution of a problem in concurrent programming controlCommunications of the ACM, 1965