Assertion: semaphore | /r/HasProperty | decremented
Facets:
value: immediately
type: MANNER
Source sentences:
text: When a process needs a resource, a “wait” is issued and the semaphore is decremented.
text: In the P operation, the semaphore's value must be positive just before it is decremented (resulting in a value that is guaranteed to be nonnegative and one less than what it was before it was decremented).
text: In the P operation, the semaphore's value must be positive just before it is decremented (resulting in a value that is guaranteed to be nonnegative and one less than what it was before it was decremented).
text: If the semaphore value becomes greater than zero during the blocking period, the semaphore is decremented immediately and the call returns.