happens-before

一JMM的设计

在设计JMM的时候，要考虑两个关键因素

1. 程序员对内存模型的使用。程序员希望内存模型易于理解，易于编程。
2. 编译器和处理器对内存模型的实现。编译器和处理器希望内存模型对它们的束缚越小越好，这样它们可以做尽可能多的优化来提高性能

设计JMM时的核心目标是：找到一个好的平衡点，一方面要为程序员提供足够强的内存可见性保证，另一方面对编译器和处理器的限制尽可能放松。

JMM把happens-before要求进制的重排序分为两类：

1. 会改变程序执行结果的重排序，JMM要求编译器和处理器必须禁止这种重排序
2. 不会改变程序执行结果的重排序，JMM对编译器和处理器不做要求（程序员以为JMM禁止了这种重排序，但实际上JMM并没有这么做）

二happens-before的定义

JSR-133使用happens-before的概念来指定两个操作之间的执行顺序，这两个操作可以在一个线程之内，也可以在不同线程之间

happens-before关系的定义如下：

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

三happens-before规则

1. 程序顺序规则
2. 监视器锁规则
3. volatile变量规则
4. 传递性
5. start()规则
6. join()规则