happens-before

理解happens-before是理解JMM的关键。

JMM的设计

在设计JMM时，需要考虑两个关键因素：

1. 程序员对内存模型的使用。程序员希望内存模型易于理解、易于编程，希望基于一个强内存模型来编写代码。
2. 编译器和处理器对内存模型的实现。编译器和处理器希望内存模型对它们的束缚越少越好，这样它们就可以尽可能多的优化来提高性能。编译器和处理器希望实现一个弱内存模型。

1. JMM向程序员提供的happens-before规则不但简单易懂，也向程序员提供了足够强的内存可见性保证。
2. JMM对编译器和处理器的束缚已经尽可能少。JMM其实是在遵循一个基本原则：只要不改变程序的执行结果（）
   指的是单线程程序和正确同步的多线程程序），编译器和处理器怎么优化都行。

happens-before的定义

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

happens-before关系本质上和as-if-serial语义一致：在不改变程序执行结果的前提下，尽可能的提高程序执行的并行度。

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

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

volatile写-读

start()规则

join()规则

《Java并发编程的艺术》