Operating system concepts (2nd ed.)
Operating system concepts (2nd ed.)
The logical design of operating systems (2nd ed.)
The logical design of operating systems (2nd ed.)
Comments on implementation of P and V primitives with help of binary semaphores
ACM SIGOPS Operating Systems Review
A correct implementation of general semaphores
ACM SIGOPS Operating Systems Review
A correct and unrestrictive implementation of general semaphores
ACM SIGOPS Operating Systems Review
Comments on “a correct and unrestrictive implementation of general semaphores”
ACM SIGOPS Operating Systems Review
Further comments on implementation of general semaphores
ACM SIGOPS Operating Systems Review
Operating systems (3rd ed.): internals and design principles
Operating systems (3rd ed.): internals and design principles
Concurrent programming: the Java programming language
Concurrent programming: the Java programming language
The Logical Design of Operating Systems
The Logical Design of Operating Systems
Implementing semaphores by binary semaphores
ACM SIGPLAN Notices
| Hi-index | 0.00 |
Over a decade ago, a race condition was discovered in a specific implementation of the counting semaphore operations P and V. Several corrections to that implementation were published. These were subsequently critiqued and eventually the discussion ended. This article will expose a newly discovered race condition in one of the corrections.