happens-before详解

• happens-before是JMM最核心的概念。对应Java程序员来说，理解happens-before是理解JMM的关键。（对于做好程序员来说，理解世间万物都是关键）
  

• 首先，从JMM设计者的角度，在设计JMM时，需要考虑两个关键因素。

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

• 由于这两个因素互相矛盾，所以专家组在设计JMM时的核心目标就是找到一个好的平衡点：一方面，要为程序员提供足够强的内存可见性保证；另一方面，对编译器和处理器的限制要尽可能地放松。

double pi = 3.14; // A
double r = 1.0; // B
double area = pi * r * r; // C

• 上面计算圆的面积的示例代码存在3个happens-before关系，如下。

  • A happens-before B。
  • B happens-before C。
  • A happens-before C。

• 在3个happens-before关系中**，2和3是必需的，但1是不必要的**。因此，JMM把happens-before 要求禁止的重排序分为了下面两类

  • 会改变程序执行结果的重排序。
  • 不会改变程序执行结果的重排序。

• JMM对这两种不同性质的重排序，采取了不同的策略，如下。

  • 对于会改变程序执行结果的重排序，JMM要求编译器和处理器必须禁止这种重排序。
  • 对于不会改变程序执行结果的重排序，JMM对编译器和处理器不做要求（JMM允许这种重排序）。
    *

• JMM向程序员提供的happens-before规则能满足程序员的需求。

• JMM对编译器和处理器的束缚已经尽可能少。从上面的分析可以看出，JMM其实是在遵循一个基本原则：只要不改变程序的执行结果（指的是单线程程序和正确同步的多线程程序），编译器和处理器怎么优化都行。

happens-before的定义

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

对happens-before关系的定义如下
1）如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作
可见，而且第一个操作的执行顺序排在第二个操作之前。
2）两个操作之间存在happens-before关系，并不意味着Java平台的具体实现必须要按照
happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系
来执行的结果一致，那么这种重排序并不非法（也就是说，JMM允许这种重排序）。

happens-before关系本质上和as-if-serial语义是一回事。

• as-if-serial语义保证单线程内程序的执行结果不被改变，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()操作成功返回。

下面我们来看start()规则。

• 1 happens-before 2由程序顺序规则产生。2 happens-before 4由start()规则产生。根据传递性，将有1 happens-before 4。
• 这实意味着，线程A在执行ThreadB.start()之前对共享变量所做的修改，接下来在线程B开始执行后都将确保对线程B可见。

下面我们来看join()规则：

2 happens-before 4由join()规则产生；4 happens-before 5由程序顺序规则产生。根据传递性规则，将有2 happens-before 5。这意味着，线程A执行操作ThreadB.join()并成功返回后，线程B中的任意操作都将对线程A可见。