Assertion: semaphore | /r/HasAspect | internal counter
Facets:
value: in case of locks
type: LOCATION
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.