Assertion: binary semaphore | /r/HasProperty | mutex
Facets:
value: colloquially
type: MANNER
Source sentences:
text: I'll first describe difference between binary semaphore (mutex) and spin lock.
text: In that case, you have a special case of the semaphore, the binary semaphore, which is also known as a "mutex".
text: While a binary semaphore may be colloquially referred to as a mutex, a true mutex has a more specific use-case and definition, in that only the task that locked the mutex is supposed to unlock it.