Assertion: counting semaphore | /r/CapableOf | release n permits
Facets:
Source sentences:
text: As written, the counting semaphore admits deadlocks if three separate threads each attempt to acquire then release N permits and the semaphore has less than 2N available.