当声明共享变量为volatile后,对这个变量的读/写将会很特别。那么它到底起着怎样的作用呢?
一、可见性
可见性指的是线程之间的可见性,一个线程修改的状态对另一个线程是可见的。也就是一个线程对一个volatile变量的读,总是能看到(任意线程)对这个volatile变量最后的写入。
其实之所以要保证可见性,主要与Java的内存模型有关。
内存模型
每个线程在执行的时候,会从主内存中拷贝一份到自己的本地内存,线程操作的时候是操作自己本地内存的变量,这样每个线程都操作自己本地内存的变量,就可能导致这个共享变量的数据不一致,这就体现了volatile的作用了。volatile可以使得一个线程操作共享变量的时候,能读到这个共享变量最新的变化,在这个变化上操作。
示意图
线程对共享变量的所有操作都必须在⾃⼰的本地内存中进⾏,不能直接从主内存中读取。JMM通过控制主内存与每个线程的本地内存之间的交互,来提供内存可⻅性保证。
举个栗子
下边这个例子只是为了理解volatile的作用
对任意单个volatile变量的读/写具有原子性,但类似于volatile++这种复合操作不具有原子性
线程A和线程B操作同一个变量a,假设线程A先执行,线程B后执行
在这里,因为有了volatile,所以线程A执行后的结果a=1对B是可见的,B执行的时候是在a=1的基础上进行的,然后B执行完是2;
如果没有volatile,线程A执行完a=1,但线程B可能不知道,B执行的时候以为a=0,B执行完就是1了
public class VolatileDemo {
private static volatile int a = 0;
static class ThreadA implements Runnable {
@Override
public void run() {
a++;
System.out.println(a);
}
}
static class ThreadB implements Runnable {
@Override
public void run() {
a++;
System.out.println(a);
}
}
}
执行过程
最开始共享变量flag=0。也就是主内存中flag=0,线程A执行的时候,是先从主内存中拷贝一份到本地内存A,flag=0,然后线程A操作flag=1;A操作的flag=1更新到主内存中,接着B开始执行,主内存中flag=1,更新到本地内存B中,flag=1,接着B操作flag=2。
二、禁止重排序
在Java内存模型中,对一些语句进行重排序,可提升性能,但是有的地方一旦重排序了,得到的结果就不是我们想要的结果了。也就是我们写代码的时候看到的是语句1在语句2前,但在JMM中可能重排序后就是语句2在语句1前边了,但我们可能就想让语句1在语句2前执行,这就用到了volatile了,它是怎么实现不重排序呢,JVM通过内存屏障来实现限制处理器的重排序
重排序
计算机在执⾏程序时,为了提⾼性能,编译器和处理器常常会对指令做重排。
原理是指令1还没有执⾏完,就可以开始执⾏指令2,⽽不⽤等到指令1执⾏结束之后再执⾏指令2,这样就⼤⼤提⾼了效率。
指令重排可以保证串⾏语义⼀致,但是没有义务保证多线程间的语义也⼀致。所以在多线程下,指令重排序可能会导致⼀些问题。
内存屏障
分类
读屏障(Load Barrier)和写屏障(Store Barrier)
作⽤
(1) 阻⽌屏障两侧的指令重排序;
(2)强制把写缓冲区/⾼速缓存中的脏数据等写回主内存,或者让缓存中相应的数据失效
基于保守策略的JMM内存屏障插⼊策略
在每个volatile写操作前插⼊⼀个StoreStore屏障;
在每个volatile写操作后插⼊⼀个StoreLoad屏障;
在每个volatile读操作后插⼊⼀个LoadLoad屏障;
在每个volatile读操作后再插⼊⼀个LoadStore屏障。
实际过程中的JMM内存屏障插⼊
class VolatileBarrier{
int a;
volatile int b=1;
volatile int c=2;
void readWrite(){
// 第一个volatile读
int i=b;
// 第二个volatile读
int j=c;
// 普通写
a=i+j;
// 第一个volatile写
b=i+1;
// 第二个volatile写
c=j+1;
}
}
在保证内存可⻅性这⼀点上,volatile有着与锁相同的内存语义,所以可以作为⼀个“轻量级”的锁来使⽤。但由于volatile仅仅保证对单个volatile变量的读/写具有原⼦性,⽽锁可以保证整个临界区代码的执⾏具有原⼦性。所以在功能上,锁⽐volatile更强⼤;在性能上,volatile更有优势。