代码如下
public static void main(String[] args) {
Test a = new Test();
a.start();
for (; ; ) {
if (a.isFlag()) {
System.out.println("1");
}
}
}
static class Test extends Thread {
private boolean flag = false;
public boolean isFlag() {
return flag;
}
@SneakyThrows
@Override
public void run() {
Thread.sleep(1000);
flag = true;
System.out.println(flag);
}
}
背景
野生码仔，对这个问题困惑了一下午
我所了解的知识(不一定正确)
- jmm 内存模型中有主存和线程工作内存之分，线程读取一个变量会从主存读到工作内存之中，然后一切操作都是基于工作内存
- 工作内存是逻辑概念，实际可能是比如 cpu 缓存
- cpu 缓存一致性协议，如果有写操作的话，会通知主存此变量失效，然后其他线程有用这个变量的话会重新读取
代码执行结果
主线程中读到的 flag 值始终为 false
补充
代码改为如下，加上了 else
for (; ; ) {
if (a.isFlag()) {
System.out.println("1");
}else{
System.out.println("2");
}
}
a 线程修改完 flag 值后，主线程是能拿到最新的值的
问题
- else 到底影响了主存和工作内存之间的哪些交互？
- 在没有 else 的情况下，a 线程修改了 flag 的值，main 线程的死循环里为何一直拿不到修改后的值
猜测
是否和 cpu 缓存使用的 mesi 协议有关？
1
Select Language