Before presenting the Java model in full, we … Happens-before consistency says that a read r of … partial order of the execution: @ r does … a read cannot see a write that happens-after … the write w is not overwritten along a … [p. 382] all of our executions [in the Java memory model] must be … [the happens-before memory model] …
Google-1
Google-2
Copyright clearance needed for quotation.