Assertion: semaphore | /r/HasAspect | less than 2n
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.