happens-before
The Java Memory Model's guarantee that one action's effects are visible to another.
Releasing a monitor happens-before later acquires of it; t.start() happens-before t's actions; t's actions happen-before another thread's t.join() returns; a volatile write happens-before later reads of that field.
See also