Assertion: semaphore's counter | /r/HasProperty | decremented
Facets:
Source sentences:
text: When the counter is positive, if a thread tries to acquire the semaphore then it is allowed, and the counter is decremented.
text: When the counter is positive, if a thread tries to acquire the semaphore then it is allowed, and the counter is decremented.