Assertion: semaphore's value | /r/HasProperty | specified
Facets:
Source sentences:
text: Otherwise, pending wait operations will either time out or continue indefinitely, depending on whether a time-out value has been specified.
text: This key value is defined the same way in each process.
text: If the oflags parameter has O_CREAT set, the second form of sem_open has to be used and two additional parameters, mode and value have to be specified.