Assertion: semaphore's value | /r/HasProperty | binary semaphore
Facets:
Source sentences:
text: If a mutex is a semaphore with 2 values (a binary semaphore) then it cannot be more or less efficient than the same.