%0 Journal Article %1 506118 %A Trono, John A. %A Taylor, William E. %C New York, NY, USA %D 2000 %I ACM %J SIGOPS Oper. Syst. Rev. %K Concurrency PhD Proposal Semaphores %N 3 %P 5--10 %R http://doi.acm.org/10.1145/506117.506118 %T Further comments on Ä Correct and Unrestrictive Implementation of General Semaphores" %U http://portal.acm.org/citation.cfm?id=506117.506118&coll=Portal&dl=ACM&CFID=1752857&CFTOKEN=63413627 %V 34 %X 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.

@article{506118, abstract = {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.}, added-at = {2008-09-05T14:58:13.000+0200}, address = {New York, NY, USA}, author = {Trono, John A. and Taylor, William E.}, biburl = {https://www.bibsonomy.org/bibtex/2bdf6b410f1678285f57eb1a941a20adb/gron}, description = {Further comments on "A Correct and Unrestrictive Implementation of General Semaphores"}, doi = {http://doi.acm.org/10.1145/506117.506118}, interhash = {2822e681879e1aa1c3e93ed5f23e91d0}, intrahash = {bdf6b410f1678285f57eb1a941a20adb}, issn = {0163-5980}, journal = {SIGOPS Oper. Syst. Rev.}, keywords = {Concurrency PhD Proposal Semaphores}, number = 3, pages = {5--10}, publisher = {ACM}, timestamp = {2008-09-05T14:58:13.000+0200}, title = {Further comments on "A Correct and Unrestrictive Implementation of General Semaphores"}, url = {http://portal.acm.org/citation.cfm?id=506117.506118&coll=Portal&dl=ACM&CFID=1752857&CFTOKEN=63413627}, volume = 34, year = 2000 }