volatile不是Java独有的,C语言也有,它的直接目的就是禁用CPU缓存。
使用volatile修饰的变量,它实现的作用是,对于这个变量的读写,不能使用CPU缓存必须从内存中写入或读出。
看一个例子,线程A执行writer方法,线程B执行reader方法,那么输出x的值是多少呢:
public class VolatileApp {
int x = 0;
volatile boolean flag = false;
public void writer(){
x = 42;
flag = true;
}
public void reader(){
if(flag){
System.out.println(x);
}
}
在1.5之前,可能是0也可能是42,在1.5之后,x的值等于42。
为啥呢,1.5之后对volatile语义进行了增强,增强了什么,就是一项“Happens-Before”原则。
“Happens-Before”原则:前面一个操作的结果对后面的操作是可见的。“Happens-Before”原则约束了编译器的优化行为,虽然允许优化,但是优化后必须遵守“Happens-Before”原则。这项原则可以拆解为6项
1.程序的顺序性规则
在一个线程中,按照程序顺序,前面的操作Happens-Before后续的任意操作。就是x = 42,Happens-Before ,flag= true。符合单线程的思维:
程序前面一个的修改对后面的操作是可见的。