前言
今年都还没写过一个需求呢😣,闲来无事,突发奇想 volatile
可见性的问题,我以前一直都没模拟成功过呢。现在AI
这么厉害,应该能帮我解决这个困惑吧!!!
对
volatile
变量的修改,能立即对其他线程可见(强制刷新主内存和本地缓存)。
相信所有的java🧔对这句话非常的熟悉了。有多少个人去做过测试,我3、5年前就已经去做过测试了。但是很遗憾,当时怎么也复现不了。不管我用不volatile
效果都一样呢。今天AI 帮我解决了我的困惑!!!
🎈不想看过程的,直接看总结吧!
可见性理论测试
错误的测试案例
下面是我做的测试代码,没有用volatile修饰,所以理论上来说一直会输出Worker thread running...
实现代码:
public class Test {
private static boolean stop = false;
public static void main(String[] args) {
Thread workerThread = new Thread(() -> {
int count = 0;
// 按照没有用volatile修饰,当前线程不能看到变量被修改,所以理论上来说不会退出循环
while (!stop) {
System.out.println("Worker thread running...");
count++;
}
System.out.println("Worker thread stopped, count: " + count);
});
workerThread.start();
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
stop = true;
System.out.println("Main thread set stop to true");
}
}
执行结果
Worker thread running...
Main thread set stop to true
Worker thread stopped, count: 1
竟然和想象中的完全不一样。
有大佬看到这儿已经定位到了问题了么❔
AI解惑
为什么我不用volatile修饰 其他线程也能看到变化呢
就是说在某些情况下会去与主存同步,获取最新值。下面列举了比如CPU混存满了,或者到了特定的时间间隔。
如果是因为这两个原因,就有点说不通了,我就运行一个demo,而且每次执行都是同样的结果。
没有获取到我想要的答案,那就继续AI吧✈
能帮我举一个 未用volatile修饰变量,其他线程看不到变量变化的
- 看一下AI是怎么解释的吧,如下图:*
运行上面的代码,确实出现 无法对出循环的问题。 这个例子和我开篇的例子就 少了一个
System.out.println("Worker thread running...");
🤩看到这儿 ,应该❗大概❗好像❗感觉❗知道问题所在了吧❓
我的猜测
可能是System.out.println()
加了锁的,导致线程的工作内存被刷新了。
点进去看果然sout(打印方法简称)
方法是加了锁的。
public void println(String x) {
if (getClass() == PrintStream.class) {
//也加了锁的
writeln(String.valueOf(x));
} else {
synchronized (this) {
print(x);
newLine();
}
}
}
继续问AI,看看AI是怎么解释的
为什么用了sout
,循环就会退出(没有用volatile,其他线程也能看到修改)
看一下AI是怎么解释的吧,如下图:
测试结论
在lock、sync修饰的代码,工作内存的变量会被刷新。所有我们在 打印 没有用
volatile
修饰的变量的时候,变量也会被刷新,导致测试结果偏离预期
Tips:用在while 循环中使用Thread.sleep()
也会退出循环,是不是也意味着它也能刷线程的工作内存呢?
目前作者也是没有找到比较官方的资料
总结
本篇文章利用AI 分析了 无法复现普通变量 的不可见性 的原因。最后确认是因为使用sout
访问变量,sout
底层加锁,所以变量在工作内存中被刷新了,导致程序员的运行结果和理论上的不一致。
原来小小
sout
竟然有这么大的能量😱,兄弟们好好的把日志打印
给我用起来,防御式编程✈啊,让后面的同学删除一行日志,就导致运行结果就变了,这不美滋滋。
最后,想了解volatile
更多的知识的 ,推荐阅读:深入解析Java中volatile关键字的底层原理