01The Java Memory Model and the Happens-Before RelationJSR 133 rebuilt Java's thread semantics around a formal memory model in which happens-before relationships explain when writes must become visible across threads.↗