happens-before関係
あるスレッドのメモリ書き込みが別スレッドの読み取りから見えることを保証する、Java言語仕様が定める順序関係。synchronized・volatile・java.util.concurrentの各機能が確立する。