Assertion: semaphore | /r/CapableOf | give protection
Facets:
Source sentences:
text: While the semaphore gives us protection against trying to execute on an empty queue, and blocks the waiting thread, it does not provide for thread safety in manipulating the queue.