在我们了解volatile关键字之前,首先看一下代码;
public class Mythread implements Runnable{
private boolean flag = false;
@Override
public void run() {
try {
//当前线程让出资源
sleep(2000);
} catch (InterruptedException e) {
e.printStackTrace();
}
flag = true;
System.out.println("flag=" + flag);
}
public boolean isFlag() {
return flag;
}
public void setFlag(boolean flag) {
this.flag = flag;
}
}
public class DemoTest {
public static void main(String[] args){
Mythread mythread = new Mythread();
new Thread(mythread).start();
while (true){
if (mythread.isFlag()){
System.out.println("主线程执行了,flag变为true");
}
}
}
}
以上代码可以自行拷贝到编辑器内执行,查看执行效果如下
是不是跟预期的结果有点差异;明明已经对flag置位了,为什么主线程的main方法取到的flag还是false
对于flag两个线程共享数据,JVM首先会在主存中存储flag的状态为false;当线程1去取主存的flag相当于拷贝一份到线程内存进行修改,修改后的数据还没推送到主存中,这时候main线程从主存中得到的flag还是false状态;由于while(true)的执行效率非常高,main线程会一直在自己内存中取;
有什么解决方法能避免这种状态取值得错误呢?
同步锁是可以做到,对于源代码的修改很简单
synchronized (mythread){
if (mythread.isFlag()){
System.out.println("主线程执行了,flag变为true");
}
}
是不是可以打印出来主线程的true了;但是这就不得不提同步锁的机制,当一个线程请求公共资源,其他线程都将被挂起,效率就会很低。另一个解决就是volatile关键字了。
官方解释:volatile是一个类型修饰符(type specifier).volatile的作用是作为指令关键字,确保本条指令不会因编译器的优化而省略,且要求每次直接读值。
volatile的变量是说这变量可能会被意想不到地改变,这样,编译器就不会去假设这个变量的值了。
对于源代码的修改变为
private volatile boolean flag = false;
这时候对于公共资源的处理方式,单个线程对于公共资源的修改刷到主存会变得非常迅速,我们本能可以认为,所有对于公共资源的处理都在主存中执行,是不是就不会出现资源状态不同步的问题。
这就是volatile的作用,保证数据的可见性。
synchronized和Lock也能够保证可见性,synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码,并且在释放锁之前会将对变量的修改刷新到主存当中。因此可以保证可见性
volatile与synchronized有什么缺陷呢?
volatile不能保证原子性。但能保证可见性和有序性
原子性表示不能分割的一系列操作。除了简单的赋值操作,其他操作都涉及到先从主存读取,再进行相应操作;单线程下是没有问题,但是当多线程中,有一个线程从主存读取数据,未修改而陷入阻塞状态,这时候别的线程来读取修改主存的数据,就会导致最终的结果与预期不一致。
可见性上面已经做了说明,在《深入理解Java虚拟机》提到内存栅栏
1.它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置,也不会把前面的指令排到内存屏障的后面;即在执行到内存屏障这句指令时,在它前面的操作已经全部完成;
2.它会强制将对缓存的修改操作立即写入主存;
3.如果是写操作,它会导致其他CPU中对应的缓存行无效。