The current program sequential rules (- every operation in a thread, happens-before any subsequent operations in that thread.
Program sequential rules: every operation in a thread, happens-before any subsequent operations in that thread.