Java 杂谈

对变量加锁后是否还需要使用volatile

2019-06-27  本文已影响4人  赵荆州

大家都知道volatile保证了变量在线程间的可见性(主内存与CPU缓存(线程内存)间)。Lock与synchronized也可以保证可见性,还能保证原子性。
那么使用了Lock与synchronized之后,变量是否就不用加volatile了?


public class Test{
    public boolean t=false;
}

main(){

Test test = new Test();
Thread a = new Thread(()->{
    for(;;){
      if(test.t){
        sout("t is true")
        break;
      }
  }
}).start();

Thread b =  new Thread(()->{
    TimeUnit.MILLISECONDS.sleep(20)
    synchronized(test){
        test.t=true;
    }
  }
}).start();
a.join();
b.join();

}

在上面伪代码中,a线程死循环判断test中的t为true时结束。b线程模拟执行20毫秒的业务后将test中t更改为true。正常情况下a线程应该会结束(synchronized保证了可见性和原子性),但事实并不是这样。

这是因为虽然b线程更改t的值并更新到了主内存,但是a线程cpu一直忙于for死循环,没有空去主内存获取最新的值。
做个试验,将a线程改成如下:

Thread a = new Thread(()->{
    for(;;){
     TimeUnit.MILLISECONDS.sleep(2)
      if(test.t){
        sout("t is true")
        break;
      }
  }
}).start();

再次运行,发现程序正常了。原因在于线程sleep后,cpu空闲下来,有时间去更新t的值了。

另外一个方法(正确的做法):
volatile private boolean t=false;

变量前加上volatile,则当t的值发生变化时,强制更新缓存中的值。
所以保险情况下,该加volatile还是得加。

原创,如有雷同纯属巧合。

上一篇下一篇

猜你喜欢

热点阅读