volatile是java语言提供的一种稍弱的同步机制,它的作用是能够保证被volatile修饰的变量,每个线程在获取它的值时都能获取到最新的值。
要理解这个原理首先要知道java内存模型:每个线程都有自己的工作内存,线程对变量的所有操作都必须在工作内存中进行 。每个线程都会将运算需要的数据从主内存复制一份到自己的工作内存,等运算结束之后才会刷新到主内存中。
理解了上述模型,就会发现在并发情况下可能会出现数据不一致的现象,例如线程1和线程2同时从主内存中复制了一个变量a=1到自己的工作内存,但是期间线程1先对a进行了操作将值改为2,之后线程2中仍然按照a等于旧值1进行运算,这显然会出现问题。
于是有了volatile关键字:当一个线程改变了某个变量的值,就会通知其他线程:你们的缓冲区(工作内存)中变量的值已经发生改变了,请重新从主内存中读取新的值。volatile并不意味着线程每次都会去主内存中获取最新的值!
volatile只能保证变量在各个线程中的可见性,但不能保证变量操作的原子性。意思就是volatile只能保证每个线程在读取到的变量值是最新的,但是不能保证线程对变量的计算、自增等行为的原子性,即即使线程获取到了最新的值,但是在非原子性操作过程中,变量的值仍有可能被其他线程修改。
volatile的适用场景
通常来说,使用volatile必须具备以下2个条件:
1)对变量的写操作不依赖于当前值
2)该变量没有包含在具有其他变量的不变式中
通俗来说,就是只有保证对变量的操作具有原子性,才能保证使用volatile关键字的程序在并发时能够正确执行。 值得注意的是变量自增i++,不具有原子性
下面列出两个现实开发中常用的使用场景:
1.状态量flag
public class MyThread extends Thread{
private volatile static boolean flag = true;
@Override
public void run() {
while (!flag){
doSomething;
}
}
}
线程中需要对一个状态量进行判断然后doSomething,这个时候一旦其他线程修改了flag状态,另外一个线程立马就能感知到
2.双重校验(单例模式)
public class Singleton {
private volatile static Singleton singleton;
//创建Singleton实例的方法
public Singleton getInstance(){
if(singleton == null){
synchronized(Singleton.class){
if(singleton == null){
singleton = new Singleton();
}
}
}
return singleton;
}
}
这里可能有人不理解为什么在synchronized代码块中还需要判断一次singleton是否为null?,当内存中没有singleton实例时,也就是singleton == null,假如有两个线程1,2同时判断singleton == null为true,那么都会进入if代码块,线程1获取到锁并执行了创建singleton实例的代码,线程1释放锁,线程2获得锁,如果不加singleton == null的判断,那么线程而会在创建一次single同对象,也就不符合单例模式的规则了。