大家都知道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还是得加。
原创,如有雷同纯属巧合。
网友评论