Assertion: named semaphore | /r/HasProperty | unusable
Facets:
value: from that moment
type: TEMPORAL
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".