1. volatile 的作用
1)保持线程的可见性
2)防止指令的重排序
2. JMM : Java内存模型
一个线程想要访问一个数据,那么要把这个数据(内存中)拿到线程的本地内存中(CPU的某个缓存),然后线程对它修改,如果不加volatile关键字,那么我只相当于改了本地缓存,其线程看不见我的修改。(在本地修改了之后,要写回主存)
CPU的乱序执行
有两条无直接联系的指令,第一条执行时间很长,那么第一条指令在执行的时候,此时并没有从主存中拿到数据,那么CPU可以先执行第二条指令。即等着这件事的同时可以干别的事,烧水的时候可以洗杯子,可以提高效率。
as-if-serial:在单线程中,乱序执行还是正常执行结果都一样。
验证CPU乱序执行的程序
package leetcode0606._volatile;
public class Test02 {
private static int x=0,y=0;
private static int a=0,b=0;
public static void main(String[] args) {
int j=0;
for (;;){
j++;
x=0;y=0;
a=0;b=0;
Thread thread = new Thread(new Runnable() {
@Override
public void run() {
a=1;
x=b;
}
});
Thread thread1 = new Thread(new Runnable() {
@Override
public void run() {
b=1;
y=a;
}
});
thread.start();thread1.start();
String res = "第" + j + "次 (" + x + "," + y + ")" ;
if(x==0 && y==0){
System.out.println(res);
//break;
}else{}
}
}
}
volatile 底层如何做到 线程可见性 和 防止指令重排序的?
汇编码 lock addl
可见性:导致另外的线程的缓存失效,然后让他们再去读,实现可见性
防止重排: lock指令就是一个屏障,不会让前后的指令交换位置