Comments on "tagged semaphores"
John A. Trono · ACM SIGOPS Operating Systems Review · 2000
Modifications are made to a proposed solution for a specialized synchronization problem. These changes remove inconsistent semaphore usage and preclude the possibility of deadlock that is present in the proposed solution.