As-If-Serial
- 在单线程情况下,要给程序造成一个顺序执行的假象
(即经过重排序的执行结果要与顺序执行的结果保持一致) - 如果两个操作之间存在数据依赖,那么即时编译器(和处理器)不能调整它们之间的顺序
happens-before
happens-before关系用来描述两个操作的内存可见性。如果操作X happens-before 操作Y,那么X的结果对于Y可见。
-
线程内的happens-before
在同一个线程中,字节码的先后顺序(program order)也暗含了happens-before关系
在程序控制流路径中靠前的字节码happens-before靠后的字节码
但不意味着前者一定在后者之前执行,实际上,如果后者没有数据依赖于前者,它们可能会被重排序 -
线程间的happens-before
- 解锁操作happens-before之后(时钟顺序)对同一把锁的加锁操作
- volatile字段的写操作happens-before之后(时钟顺序)对同一字段的读操作
- 线程的启动操作(Thread.start())happens-before该线程的第一个操作
- 线程的最后一个操作happens-before它的终止事件
其他线程通过Thread.isAlive()或者Thread.join()判断该线程是否终止 - 线程对其他线程的中断操作happens-before被中断线程所收到的中断事件
被中断线程的InterruptedException,
第三个线程针对被中断线程的Thread.interrupted()或者thread.isInterrupted()调用 - 构造器中的最后一个操作happens-before析构器的第一个操作
happens-before具有传递性
happens-before 问题剖析
int a=0, b=0;
public void method1() {
int r2 = a;
b = 1;
}
public void method2() {
int r1 = b;
a = 2;
}
默认线程内的happens-before关系
r2 赋值 happens-before b赋值
r1 赋值 happens-before a赋值
可能出现的结果:
单线程,method1->method2,(r1,r2)=(1,0)
单线程,method2->method1,(r1,r2)=(0,2)
多线程,没有重排序,A1->B1->A2->B2,(r1,r2)=(0,0)
多线程,重排序,A2->B1->B2->A1,(r1,r2)=(1,2)
对于出现(r1,r2)=(1,2)的情况做进一步剖析如下
拥有 happens-before 关系的两对赋值操作之间没有数据依赖,因此即时编译器、处理器都可能对其进行重排序。举例来说,只要将 b 的赋值操作排在 r2 的赋值操作之前,那么便可以按照赋值 b,赋值 r1,赋值 a,赋值 r2 的顺序得到(1,2)的结果。
Thread1 Thread2
| |
b=1 |
| r1=b
| a=2
r2=a |
对于上述情况的解决方案
在程序中加入happens-before关系来解决,例如将a或b设置为volatile字段
private int a = 0;
private volatile int b = 0;
public void method1() {
int r2 = a; // A1
b = 1; // A2
}
public void method2() {
int r1 = b; // B1
a = 2; // B2
}
默认线程间的happens-before关系
A1 happens-before A2,B1 happens-before B2
A2 happens-before B1(`volatile字段的写操作happens-before之后(时钟顺序)对同一字段的读操作`)
所以依据happens-before的传递性:A1 happens-before B2
估 r2 不可能为2
上述问题的结论如下:
没有标记为volatile,在同一线程中,A1和A2存在happens-before关系,但没有数据依赖,因此可以重排序
一旦标记了volatile,即时编译器和CPU需要考虑多线程happens-before关系,因此就不能自由重排序了
解决类似问题的关键:构造一个跨线程的happens-before关系
操作X happens-before 操作Y,使得操作X之前的字节码结果对操作Y之后的字节码可见
Java 内存模型(JMM)的底层实现
-
JMM是通过内存屏障(memory barrier)来禁止即时编译器的重排序的
-
对于即时编译器来说,会针对每个happens-before关系,向正在编译的目标方法中插入相应的内存屏障
内存屏障类型:读读、读写、写读和写写
这些内存屏障会限制即时编译器的重排序操作 -
对于volatile字段,即时编译器将在volatile字段的读写操作前后各插入一些内存屏障
- 这些内存屏障不允许volatile字段写操作之前的内存访问被重排序至其之后
- 这些内存屏障不允许volatile字段读操作之后的内存访问被重排序至其之前
锁,volatile 字段,final 字段与安全发布
-
锁(锁操作同样具备 happens-before 关系)
解锁操作 happens-before 之后对同一把锁
的加锁操作。如果编译器能够(通过逃逸分析)证明某把锁仅被同一线程持有,那它可以移除相应的加锁解锁操作。
在解锁时,JVM同样需要强制刷新缓存,使得当前线程所修改的内存对其他线程可见(类似于volatile)。 -
volatile字段
- volatile字段是一种轻量级的,不保证原子性的同步,性能往往优于锁操作
- 频繁地访问volatile字段也会因为不断地强制刷新缓存而严重影响程序的性能
- 理想情况下,对volatile字段的使用应当是读多写少,并且应当只有一个线程进行写操作
- volatile字段的每次访问均需要直接从内存中读写