一、核心概念
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并发编程的艺术》
关注获取更多资讯