对变量加锁后是否还需要使用volatile
大家都知道volatile保证了变量在线程间的可见性(主内存与CPU缓存(线程内存)间)。Lock与synchronized也可以保证可见性,还能保证原子性。
那么使用了Lock与synchronized之后,变量是否就不用加volatile了?
1 |
|
在上面伪代码中,a线程死循环判断test中的t为true时结束。b线程模拟执行20毫秒的业务后将test中t更改为true。正常情况下a线程应该会结束(synchronized保证了可见性和原子性),但事实并不是这样。
这是因为虽然b线程更改t的值并更新到了主内存,但是a线程cpu一直忙于for死循环,没有空去主内存获取最新的值。
做个试验,将a线程改成如下:
1 | Thread a = new Thread(()->{ |
再次运行,发现程序正常了。原因在于线程sleep后,cpu空闲下来,有时间去更新t的值了。
另外一个方法(正确的做法):
volatile private boolean t=false;
变量前加上volatile,则当t的值发生变化时,强制更新缓存中的值。
所以保险情况下,该加volatile还是得加。
原创,如有雷同纯属巧合。
对变量加锁后是否还需要使用volatile