Assertion: semaphore's counter | /r/HasProperty | internal
Facets:
Source sentences:
text: A semaphore has an internal counter rather than a lock flag (in case of Locks), and it only blocks if more than a given number of threads have attempted to hold the semaphore.