Assertion: semaphore's value | /r/HasProperty | equal
Facets:
value: to the amount
type: OTHER
value: to number of simultaneous processes
type: OTHER
value: to 1
type: OTHER
Source sentences:
text: If the value is greater or equal to the amount requested in the post at the front of the queue, take that task off the queue and make it runnable.
text: If the semaphore variable is now negative, the process executing wait() is blocked (i.e., added to the semaphore's queue) until the value is greater or equal to 1.
text: Thus value of semaphore in counting semaphore is equal to number of simultaneous processes allowed to access the critical section.
text: If the value is greater or equal to the amount requested in the post at the front of the queue, take that task off the queue and make it runnable.