Assertion: semaphore's queue | /r/HasProperty | a.k.a. condition variables
Facets:
Source sentences:
text: This can be avoided by making the process in all cases decrement the semaphore with the full value of the second parameter to P. One possible solution, which needs two wait queues (a.k.a. condition variables) and some auxiliary variables is this: