关于指令重排序有个问题不明白，求大佬指点

以上程序，因为change方法和sysout方法不在一个线程里，因此JMM不认为他们具有数据依赖性，在重排序的时候可能会对他们进行重排序而导致执行的顺序不是我们看到的顺序。 例如重排序结果情况1:change方法的第一行到了change方法的第二行后面，就可能会导致输出不是1； 重排序情况2:sysout方法的第一行和第二行虽然存在控制依赖性，但是因为CPU和编译器会使用‘猜测执行’来运算，如先执行sysout的第二行代码，然后直接读取a的值拿过来运算好放入重排序缓存中（Reorder Buffer ，ROB），之后等待sysout的第一行代码执行为真时，就直接再把a的值拿出来使用。我改了下代码，改成如下：（v2粘贴代码好像不太好使，感兴趣的可以自己复制下看看）

//程序执行入口

public class SimpleHappenBefore { public static void main(String[] args) throws InterruptedException { for (int i = 0; i < 1000000; i++) { test test = new test(); Thread threadA = new Thread(() -> { test.change(); }); Thread threadB = new Thread(() -> { test.sysout(); }); threadA.start(); threadB.start();

 threadA.join(); threadB.join(); } } 

}

class test {

private int a = 0; private boolean flag = false; public void change() { a = 1; flag = true; } public void sysout() { while (flag) { int tmp = a * a; if (tmp == 0) { System.out.println("---------------"); } } } 

}