1.问题引入
看下面代码:
public class demo2 {
private static int isQuit = 0;
public static void main(String[] args) {1
Thread t1 = new Thread(() ->{
while (isQuit == 0){
}
System.out.println("t1执行结束");
});
Thread t2 = new Thread(() ->{
Scanner scanner = new Scanner(System.in);
System.out.println("请输入isQuit的值: ");
isQuit = scanner.nextInt();
});
t1.start();
t2.start();
}
}
- t1线程: 判断isQuit的值,如果不为0就跳出循环,打印"t1执行结束"
- t2线程:用户通过控制台输入一个整数,作为isQuit的值
运行结果如下:
问题出现了,当输入一个非0值的时候,已经修改了isQuit的值,但是t1线程仍然在继续执行,这并不符合我们的预期,这就是内存可见性问题
2.产生内存可见性问题的原因
程序在编译运行的时候,Java编译器和jvm可能会对代码做出一些"优化".
编译器优化,本质上是靠代码,智能的对所写的代码进行分析判断,进行调整,能保存逻辑不变.
但是,当遇到多线程时,这个优化可能会出现差错!!!,使程序中原有的逻辑发生改变了
此时,编译器/jvm发现,这段代码要反复快速地读取同一个内存的值,并且这个内存的值,每次读出来还是一样的,所以编译器直接把load操作给优化掉了,只是第一次执行load,后续都不再执行了,直接拿寄存器中的数据进行比较.
但是!!!
此时在另一个线程中,我们修改了isQuit的值,编译器无法准确判断出t2线程到底会不会执行,什么时候执行,因此会出现误判
3.volatile操作
- 使用volatile关键字修饰一个变量后,编译器就会知道,这个变量是"易变"的,就不会按照上述方式,把读操作优化到寄存器中,于是就是保证t1在循环过程中,始终都能读取到内存中的数据了
- volatile只修饰变量,不修饰方法(包括方法中的局部变量)
- volatile的本质是保证变量的内存可见性(禁止该变量的读操作被优化到读寄存器中)
用volatile修改代码:
public class demo2 {
private static volatile int isQuit = 0;
public static void main(String[] args) {
Thread t1 = new Thread(() ->{
while (isQuit == 0){
}
System.out.println("t1执行结束");
});
Thread t2 = new Thread(() ->{
Scanner scanner = new Scanner(System.in);
System.out.println("请输入isQuit的值: ");
isQuit = scanner.nextInt();
});
t1.start();
t2.start();
}
}
运行结果如下:
不过JVM并不是任何时候都会出现优化误判的情况,看下面代码:
public class demo2 {
private static int isQuit = 0;
public static void main(String[] args) {1
Thread t1 = new Thread(() ->{
while (isQuit == 0){
try {
Thread.sleep(10);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
System.out.println("t1执行结束");
});
Thread t2 = new Thread(() ->{
Scanner scanner = new Scanner(System.in);
System.out.println("请输入isQuit的值: ");
isQuit = scanner.nextInt();
});
t1.start();
t2.start();
}
}
运行结果如下:
当加入slee之后,sleep会幅度影响到while循环的速度,速度慢了,编译器不打算继续优化了,所以此时即使不加volatile,t1线程也能及时感知到内存变化了
4.关于工作内存
- 工作内存中的"内存",不是冯诺依曼体系结构中的内存,而是CPU的寄存器和CPU的缓存,统称为"工作内存".
- Java程序中除了主内存,每个线程还有自己的工作内存.
- t1线程进行读取时只读取了它的工作内存中的数据.
- t2线程在进行修改时,先修改了工作内存中的数据,然后再把工作内存中的数据同步到主内存中,但是由于编译器优化,所以t1没有重新从主内存中同步数据到工作内存,这就导致读的结果错误.