Assertion: semaphore | /r/HasProperty | restricted to value
Facets:
Source sentences:
text: Semaphores which allow an arbitrary resource count are called counting semaphores, while semaphores which are restricted to the values 0 and 1 (or locked/unlocked, unavailable/available) are called binary semaphores and are used to implement locks.