volatile
作用:
1.可见性:
当一个线程修改了volatile修饰的变量的值,其他线程可以立即看到这个修改,保证了共享变量的可见性。
2.禁止指令重排序:
编译器和处理器在编译和执行代码时,可能会对指令进行重排序,但是volatile关键字可以禁止这种重排序,保证了程序的正确性。
3.保证原子性:
volatile关键字可以保证一些简单的操作的原子性,例如++操作,但是对于复合操作,volatile关键字无法保证原子性。
底层实现:
“观察加入volatile关键字和没有加入volatile关键字时所生成的汇编代码发现,加入volatile关键字时,会多出一个lock前缀指令”
lock前缀指令实际上相当于一个内存屏障(也成内存栅栏),内存屏障会提供3个功能:
1)它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置,也不会把前面的指令排到内存屏障的后面;
2)它会强制将对缓存的修改操作立即写入主存;
3)如果是写操作,它会导致其他CPU中对应的缓存行无效。
面试中可能遇到的问题
单例模式中volatile的作用:(DCL(Double Check Lock)单例为什么要加Volatile?)
防止代码读取到instance不为null时,instance引用的对象有可能还没有完成初始化。
volatile防止指令重排,在DCL中,防止高并发情况下,指令重排造成的线程安全问题。
下面是DCL的代码过程:
class Singleton{
private volatile static Singleton instance = null; //禁止指令重排
private Singleton() {
}
public static Singleton getInstance() {
if(instance==null) { //减少加锁的损耗
synchronized (Singleton.class) {
if(instance==null) //确认是否初始化完成
instance = new Singleton();
}
}
return instance;
}
}
volatile关键字和synchronized关键字的区别
-
volatile关键字保证了共享变量的可见性和禁止指令重排序,但是无法保证原子性,而synchronized关键字可以保证原子性、有序性和可见性。
-
volatile关键字适用于一些简单的操作,例如++操作,而synchronized关键字适用于复合操作。
-
volatile关键字不会造成线程阻塞,而synchronized关键字可能会造成线程阻塞。
volatile能不能保证线程安全?
volatile不能保证线程安全,只能保证线程可见性,不能保证原子性
flag常量未使用volatile关键字的时候,程序一直不停止,因为无法感知flag的变化
使用volatile关键字后,因为volatile保证了可见性,感知到了flag的变化,程序停止并打印