Assertion: semaphore's value | /r/HasProperty | decremented
Facets:
value: by 1
type: OTHER
Source sentences:
text: However, If the value of wait is positive, then the value of the wait argument X is decremented.
text: In addition, it is the responsibility of the first reader to block any writer from entering into the critical section so, in order to do that wait(wrt) is executed and value of wrt is decrement by 1 (stating that no writer can enter into the critical section, while there are readers in the critical section) and after that the first reader can securely enter into the critical section and perform a read operation.
text: If the value of Wait is positive, then the value of the wait argument S is decremented.
text: • semval becomes 0, at which time the value of semzcnt is decremented.
text: The calling thread catches a signal: the value of semzcnt is decremented and semop() fails, with errno set to EINTR.
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.
text: The calling thread catches a signal: the value of semncnt is decremented and semop() fails, with errno set to EINTR.