happens-before 解析

happens-before

这里直接从讲述 happens-before 的定义及规则

1.定义

• A happens-before B，A 的执行结果将对 B 操作可见，而且 A 的执行顺序排在 B 之前。
• A, B 存在happens-before关系，并不意味着Java平台的具体实现必须要按照happens-before关系指定的顺序来执行。（如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，那么这种重排序并不非法）

可以说 happens-before 关系本质上和 as-if-serial 语义是一回事：

• as-if-serial 语义保证单线程结果不被改变，happens-before 关系保证正确同步的多线程程序的执行结果不被改变。

• as-if-serial语义给编写单线程程序的程序员创造了一个幻境：单线程程序是按程序的顺序来执行的。happens-before关系给编写正确同步的多线程程序的程序员创造了一个幻境：正确同步的多线程程序是按happens-before指定的顺序来执行的。

目的： 为了在不改变程序执行结果的前提下，尽可能地提高程序执行的并行度

2. 规则

1. 程序顺序：一个线程中的每个操作，happens-before于该线程中的任意后续操作
   

2. Monitor锁：对一个锁的解锁，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()，ThreadB.start() happens-before 线程B中的任意操作
   

6. join()：线程A执行操作ThreadB.join()并成功返回，线程B happens-before 线程A从ThreadB.join()操作成功返回