Assertion: semaphore | /r/HasAspect | value
Facets:
Source sentences:
text: The post operation increment the semaphore by 1, and the wait operations does the following: If the semaphore has a value > 0, the semaphore is decremented by 1.
text: If a process performs a P operation on a semaphore that has the value zero, the process is added to the semaphore's queue and its execution is suspended.
text: If the semaphore has value 0, the caller will be blocked (busy-waiting or more likely on a queue) until the semaphore has a value larger than 0, and then it is decremented by 1.
text: If the semaphore has value 0, the caller will be blocked (busy-waiting or more likely on a queue) until the semaphore has a value larger than 0, and then it is decremented by 1.
text: If the semaphore has value 0, there are no resources available, and we have to wait (until someone does a post).
text: If a semaphore has the value 0, a down operation on it will block until someone releases a resource and increments the semaphore.