Assertion: semaphore's value | /r/HasProperty | subtracted
Facets:
value: from semval
type: OTHER
Source sentences:
text: If semval is greater than or equal to the absolute value of sem_op, the operation can proceed immediately: the absolute value of sem_op is subtracted from semval, and, if SEM_UNDO is specified for this operation, the system updates the undo count (semadj) for this semaphore.
text: Otherwise semncnt (the counter of threads waiting for this semaphore's value to increase) is incremented by one and the thread sleeps until one of the following occurs: • semval becomes greater than or equal to the absolute value of sem_op, at which time the value of semncnt is decremented, the absolute value of sem_op is subtracted from semval and, if SEM_UNDO is specified for this operation, the system updates the undo count (semadj) for this semaphore.