...
- flush cached registers
- reload any values
- provide any happens-before relationships when execution resumes
is incorrect and is consequently disallowed. Programs must ensure that communication between threads has proper synchronization, happens-before, and
...
safe publication semantics.
Noncompliant Code Example (sleep())
...