Assertion: semaphore | /r/HasProperty | incremented
Facets:
Source sentences:
text: Many operating systems provide efficient semaphore primitives that unblock a waiting process when the semaphore is incremented.