作用
保证内存可见性、指令不重排
内存可见性Visibility
每一个线程都会有自己的工作内存区,可以理解为CPU内部的cache区,当执行read命令的时候先从主存中拿到变量放入工作内存,执行修改操作的时候先更改工作区值,再修改主内存的值。
这样会导致多线程环境下,同一个变量不同线程看到的值可能是不一样的,volotile修饰的关键字可以保证所有线程都能看到变量修改后的最新的值(修改后会立即更新主存且不会查询工作区)。
有序性Ordering
int val=0;
boolean flag=false;
public void method1(){
val=2;//(1)
flag=true;//(2)
}
public void method2(){
if(flag){//(3)
int res=val*val;//(4)
}
}
如果重排序为这样的顺序,那么将会导致ret计算结果是0而不是4,所以保证指令有序性还是很有意义的。(单线程场景下 JMM if as serial无论如何变化 结果都是固定的)
Volatile不保证线程安全
只保证内存可见和指令不重排,不保证原子性