volatile关键字的奥妙
【什么是volatile关键字】
volatile关键字并非java的首创,在C与C++中就已经存在。
volatile是针对保证线程安全的轻量级解决方案(java中synchronized同样可用于保证线程安全,但是对程序性能影响有点大)
【volatile的特性】
- 保障了线程之间的可见性,这其中可见性的保证是基于CPU的内存屏障指令,被JSR-133抽象为happens-before原则(先行发生原则)
- 阻止编译时和运行时的指令重排,编译时JVM编译器遵循内存屏障的约束,运行时依靠CPU屏障指令来阻止重排。
特性详解:
【特性1:保障了线程之间的可见性】
铺垫内容:
JMM-java内存模型,是Java虚拟机所定义的一种抽象规范,用来屏蔽不同硬件和操作系统的内存访问差异,让java程序在各种平台下都能达到一致的内存访问效果。
效果图如下:
为了保证效率,线程对共享变量的操作都是在工作内存中进行的,不能直接读写主内存的变量。为了提高效率,jvm采用性能较高的工作内存。
主内存中存储的是共享变量的本尊,工作内存中存储的是主内存中的副本。
另外不同线程之间也无法访问彼此的工作内存,变量值的传递只能通过主内存。
正文:
因此在多线程的情况下,我们对一个共享数据进行操作。
当线程1读取共享变量a,并修改a的同时,线程2对a进行读操作,读出来的结果可能是线程1修改前的结果,也可能是修改后的结果。
为避免这种情况,我们就需要用到volatile
volatile保证了其所修饰的变量对所有线程的可见性,即 当一个线程修改了变量的值,新的值会立刻同步到主内存当中。而当其他线程读取这个变量的时候,得到的就是最新的值。
【特性2:阻止编译时和运行时的指令重排】
铺垫内容1----->指令重排:
指令重排指的是JVM在编译java代码时,或者CPU在执行jvm字节码时,对现有的指令进行重排序。
指令重排的目的:在不改变程序执行结果的前提下,优化程序的运行效率。
(这里的不改变执行结果,指的是不改变单线程下的程序执行结果。)
eg.
boolean contextReady = false;
在线程A中执行:
context = loadContext(); //指令1
contextReady = true; //指令2
在线程B中执行:
while( ! contextReady ){
sleep(200);
}
doAfterContextReady (context);
一旦指令1和指令2发生指令重排,就会导致错误的执行结果。
铺垫内容2----->内存屏障
为解决上述所讲的指令重排出现的错误问题,要采用内存屏障。
内存屏障是一种屏障指令,它使CPU或编译器对屏障指令之前和之后发出的内存操作执行一个排序约束。通常意味,在屏障之前发布的操作被保证在屏障之后发布的操作之前执行。
内存屏障的四种类型:
LoadLoad屏障:
抽象场景:Load1; LoadLoad; Load2
Load1 和 Load2 代表两条读取指令。在Load2要读取的数据被访问前,保证Load1要读取的数据被读取完毕。
StoreStore屏障:
抽象场景:Store1; StoreStore; Store2
Store1 和 Store2代表两条写入指令。在Store2写入执行前,保证Store1的写入操作对其它处理器可见
LoadStore屏障:
抽象场景:Load1; LoadStore; Store2
在Store2被写入前,保证Load1要读取的数据被读取完毕。
StoreLoad屏障:
抽象场景:Store1; StoreLoad; Load2
在Load2读取操作执行前,保证Store1的写入对所有处理器可见。StoreLoad屏障的开销是四种屏障中最大的。
正文:
在一个变量被volatile修饰以后,JVM会做两件事情:
- 在每个被volatile修饰的变量执行写操作之前插入StoreStore屏障,在写操作之后插入StoreLoad屏障
- 在每个被volatile修饰的变量执行读操作之前插入LoadLoad屏障,在执行读操作之后插入LoadStore屏障。
在加入volatile修饰符以后,上面的代码中的变量操作就无法被指令重排了。
【可以说特性1是volatile的目的,特性2是volatile的实现手段】
参考学习来源:
小灰大神