关于 jmm 内存模型的问题

[cmai]

代码如下

 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);

        }
    }

背景

野生码仔，对这个问题困惑了一下午

我所了解的知识(不一定正确)

1. jmm 内存模型中有主存和线程工作内存之分，线程读取一个变量会从主存读到工作内存之中，然后一切操作都是基于工作内存
2. 工作内存是逻辑概念，实际可能是比如 cpu 缓存
3. cpu 缓存一致性协议，如果有写操作的话，会通知主存此变量失效，然后其他线程有用这个变量的话会重新读取

代码执行结果

主线程中读到的 flag 值始终为 false

补充

代码改为如下，加上了 else

        for (; ; ) {
            if (a.isFlag()) {
                System.out.println("1");
            }else{
               System.out.println("2");
            }
        }

a 线程修改完 flag 值后，主线程是能拿到最新的值的

问题

1. else 到底影响了主存和工作内存之间的哪些交互？
2. 在没有 else 的情况下，a 线程修改了 flag 的值，main 线程的死循环里为何一直拿不到修改后的值

猜测

是否和 cpu 缓存使用的 mesi 协议有关？

[ChanKc]

@cmai 我只是想从语言规范层面去了解这个问题，而不是依赖于 JVM 的实现

[cmai]

@ChanKc 明白你的意思，这段代码确实没有命中 happens-before 的其中某项规则，所以编译器可以这样做，但是最终造成了代码出现问题

[Jooooooooo]

行为不定义

你主要了解一下 happen before 吧

[cmai]

@Jooooooooo 感谢回复，我认为这段代码和 happens-before 没有直接关系,是 JIT 在不违背 happens-before 原则的情况下优化了此代码，导致程序最终和预期的不一致， 实际用编译出的字节码来执行的话是没有问题的。

[Jooooooooo]

@cmai 这段代码就是两个线程没有建立 happen before 原则, 所以一个线程干的事没有道理被另外一个线程看见.