主要讲解volatile的相关知识,以及容易遇到的坑。
一、volatile变量的特性
保证可⻅性,不保证原⼦性:
- 当写⼀个volatile变量时,JMM会把该线程本地内存中的变量强制刷新到主内存中去;
- 这个写会操作会导致其他线程中的volatile变量缓存⽆效。
禁⽌指令重排,我们回顾⼀下,重排序需要遵守⼀定规则:
- 重排序操作不会对存在数据依赖关系的操作进⾏重排序。⽐如:a=1;b=a; 这个指令序列,由于第⼆个操作依 赖于第⼀个操作,所以在编译时和处理器运⾏时这两个操作不会被重排序。
- 重排序是为了优化性能,但是不管怎么重排序,单线程下程序的执⾏结果不能被改变。 ⽐如: a=1;b=2;c=a+b这三个操作,第⼀步(a=1)和第⼆步(b=2)由于不存在数据依赖关系, 所以可能会发⽣重排 序,但是c=a+b这个操作是不会被重排序的,因为需要保证最终的结果⼀定是c=a+b=3。
二、volatile禁⽌指令重排规则
使⽤volatile关键字修饰共享变量便可以禁⽌这种重排序。若⽤volatile修饰共享变量,在编译时,会在指令序列中 插⼊内存屏障来禁⽌特定类型的处理器重排序,volatile禁⽌指令重排序也有⼀些规则:
- 当程序执⾏到volatile变量的读操作或者写操作时,在其前⾯的操作的更改肯定全部已经进⾏,且结果已经对 后⾯的操作可⻅;在其后⾯的操作肯定还没有进⾏;
- 在进⾏指令优化时,不能将对volatile变量访问的语句放在其后⾯执⾏,也不能把volatile变量后⾯的语句放到 其前⾯执⾏。
即执⾏到volatile变量时,其前⾯的所有语句都执⾏完,后⾯所有语句都未执⾏。且前⾯语句的结果对volatile 变量及其后⾯语句可⻅。
三、volatile禁⽌指令重排分析
该部分相关内容,我直接copy上⼀篇⽂章,不是为了凑篇幅,因为有同学没有看上⼀篇⽂章,直接看这篇, 为了能让每⼀篇⽂章能独⽴成章,可能会引⽤之前⽂章中的内容。
先看下⾯未使⽤volatile的代码:
class ReorderExample {
int a = 0;
boolean flag = false;
public void writer() {
a = 1; //1
flag = true; //2
}
public void reader() {
if (flag) { //3
int i = a * a; //4
System.out.println(i);
}
}
}
因为重排序影响,所以最终的输出可能是0,,具体分析请参考我的上⼀篇⽂章《Java并发编程系列1-基础知 识》,如果引⼊volatile,我们再看⼀下代码