Assertion: binary semaphore | /r/HasProperty | usequeue
Facets:
Source sentences:
text: The binary semaphore useQueue ensures that the integrity of the state of the queue itself is not compromised, for example by two producers attempting to add items to an empty queue simultaneously, thereby corrupting its internal state.