Assertion: named semaphore | /r/CapableOf | decrement the semaphore
Facets:
Source sentences:
text: All works fine except in the following situation: If one of the processes calls sem_wait() or sem_timedwait() to decrement the semaphore and then crashes or is killed -9 before it gets a chance to call sem_post() , then from that moment on, the named semaphore is "unusable".