一、定义：

指两个操作之间的执行顺序，这两个操作可以在同一线程内，也可以在不同的线程之间。因此，JMM可以通过happens-before关系 来向程序员提供跨线程的内存可见性保证。

JMM线程规范中对happens-before的关系定义如下：
1）、如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见。而且第一个操作的执行顺序排在第二个之前；
2）、两个操作之间存在happens-before关系，并不意味着Java平台必须按照happens-before关系指定的顺序来执行，如果重排序后的执行结果和与按照happens-before关系指定的执行顺序一致，那么这种重排序未非法。

二、happens-before的规则

JMM定义了以下的happends-before 规则：
1）、程序顺序规则：一个线程中的每一个操作，happens-before于该 线程中的任意后续操作；
2）、监视器锁规则：对一个锁的解锁，happens-before于随后对这个锁的加锁；
3）、volatile变量规则：对一个volatile域的写，happens-before于任何后续对于这个volatile域的读；
4）、传递性：如果A happens-before B，且B happens-before C,那么A happens-before于C；
5）、start()规则：如果线程A执行操作ThreadB.start()，启动线程B，那个A线程的Thread.start() happens-before于线程B中的任何操作；
6）、join()规则：如果线程A执行ThreadB.join()并成功返回，那么线程B中的做任何操作happens-before于线程A从ThreadB.join9()成功返回；