Further comments on "A Correct and Unrestrictive Implementation of General Semaphores"
John A. Trono, William E. Taylor · ACM SIGOPS Operating Systems Review · 2000
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.