《Java并发编程的艺术》第三章读书笔记——3.7 happens-before

3.7.1 JMM设计

设计意图

1. 程序员对内存模型的使用
2. 编译器和处理器对内存模型的实现

从图中可以看到：

1. JMM向程序员提供的happens-before规则能满足程序员的需求
2. JMM对编译器和处理器的束缚已经尽可能少。

3.7.2 happens-before的定义

《JSR-133：Java Memory MOdel and Thread Specification》对happens-before关系的定义如下：

1. 如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。（对程序员的承诺）
2. 两个操作之间存在happens-before关系，并不意味着Java平台的具体实现必须要按照happens-before关系指定的顺序来执行。（对编译器和处理器排序的约束原则）

as-if-serial本质上和happens-before语义是一回事，as-if-serial语义保证单线程内程序的执行结果不被改变，happens-before关系保证正确同步的多线程的执行结果不被改变。这么做的目的，都是为了尽可能提高程序执行的并发度。

3.7.3 happens-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()，那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。
6. join()规则：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。