java happen-before_Java内存模型happen-before的实现原理

一、核心概念

happen-before是Java内存模型最核心的概念，在设计内存模型时，需要考虑到编译器和处理器对于设计的影响，先看看一下代码：

int a = 10; //1int b = 1; //2int c = a + b; //3

上面存在3个happen-before关系：1 happen-before 2

2 happen-before 3

1 happen-before 3

2和3是必须严格遵守执行的顺序，但是1和2的顺序不是必须的，因此Java内存模型对于happen-before归为两类：会改变程序结果的重排序，Java内存模型要求编译器和处理器禁止这种重排序。

不会改成程序结果的重排序，Java内存模型不强制要求。happen-before示意图

如果编译器经过分析发现，一个变量只会被单线程所访问，那么这个锁可以被消除，即便是被volatile变量修饰，也会按照普通变量来处理。

二、happen-before的定义

JSR-133中对java内存模型happen-before的定义如下：如果一个操作happen-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。

两个操作之间存在happen-before关系，并不意味着Java平台具体实现必须要按照happen-before关系指定顺序来执行，如果重排序之后的结果，与按happen-before关系来执行的结果一致，那么这种重排序也是合理的。

三、happen-before的规则程序执行规则：一个线程中的每个操作，happen-before与该线程的中的任意后续操作。

监视器锁规则：对于一个锁的解锁，happen-before与随后对这个锁的加锁。

volatile变量规则：对于一个volatile修饰的变量，happen-before于任意后续对这个变量的读操作。

传递性：如果A happen-before B，且B happen-before C，那么 A happen-before C。

start规则：如果线程A执行操作ThreadB.start()(启动B线程)，那么A线程的ThreadB.start()操作happen-before于线程B中的任意操作。

join操作：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happen-before与线程A从ThreadB.join()操作成功返回。

下面举个例子说明对于volatile修饰的变量读写happen-before关系图：volatile读写示意图

从上图可知：T1 happen-before T2 和 T3 happen-before T4是严格按照程序规则执行的，这块是处理器和编译的规则。

T2 happen-before T3是有volatile规则产生的。

T1 happen-before T4是传递性规则，由于volatile会产生内存屏障保证了读在写之后进行。本文参考《Java并发编程的艺术》

关注获取更多资讯