Assertion: semaphore | /r/HasProperty | visible
Facets:
value: to all threads
type: TRANSITIVE-OBJECT
Source sentences:
text: If pshared is 0, the semaphore is shared among all threads of a process (and hence need to be visible to all of them such as a global variable).
text: The semaphore should be placed at a place where it is visible to all threads.