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

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

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线程改成如下:

1
2
3
4
5
6
7
8
9
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还是得加。

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

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

https://jingzhouzhao.github.io/archives/5cf0b88d.html

作者

太阳当空赵先生

发布于

2019-06-27

更新于

2022-02-22

许可协议

评论