Assertion: semaphore's list | /r/HasProperty | shared
Facets:
value: between multiple threads of execution
type: LOCATION
Source sentences:
text: When such a linked list is being shared between multiple threads of execution, two threads of execution may attempt to remove two different nodes simultaneously, one thread of execution changing the next pointer of node