Assertion: semaphore | /r/HasProperty | binary
Facets:
Source sentences:
text: Will the above code ensure that the semaphore will be binary?
text: All semaphores are binary semaphores initialized to one.
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.