Assertion: semaphore | /r/AtLocation | some address
Facets:
Source sentences:
text: If pshared has the value 0, then the semaphore is shared between the threads of a process, and should be located at some address that is visible to all threads (e.g., a global variable, or a variable allocated dynamically on the heap).