Assertion: semaphore's state | /r/HasProperty | previous
Facets:
Source sentences:
text: To prevent this occurrence, the SEM_UNDO control flag makes semop(2) allocate an undo structure for each semaphore operation, which contains the operation that returns the semaphore to its previous state.