Assertion: memory barrier | /r/HasProperty | inserted #2's assignment
Facets:
value: before processor
type: TEMPORAL
value: to ensure
type: PURPOSE
value: to f
type: TRANSITIVE-OBJECT
Source sentences:
text: A memory barrier can be inserted before processor #2's assignment to f to ensure that the new value of x is visible to other processors at or prior to the change in the value of f .