Assertion: semaphore | /r/HasProperty | resource
Facets:
Source sentences:
text: A semaphore is a resource that contains an integer value, and allows processes to synchronize by testing and setting this value in a single atomic operation.