指令重排序案例的个人观点

在并发编程中,我们知道并发编程三大特性: 原子性, 可见性, 有序性
其中有序性就和指令重排序有关.
在网络上的一些教程中,讲到指令重排序时,为了验证会出现指令重排序,会使用下面这个案例代码

public class Example {

    public static void main(String[] args) throws Exception {

        while (true) {

            Counter counter = new Counter();

            Thread t1 = new Thread(() -> {
                counter.a = 1;
                counter.i = counter.b;
            }, "线程1");

            Thread t2 = new Thread(() -> {
                counter.b = 1;
                counter.j = counter.a;
            }, "线程2");

            t1.start();
            t2.start();

            // 使用join是为了让t1和t2线程先执行完成之后,main线程再判断i和j是否等于0
            t1.join();
            t2.join();

            if (counter.i == 0 && counter.j == 0) {
                break;
            }
        }
    }
}

class Counter {

    public int a = 0, b = 0;
    public int i = 0, j = 0;

}

image.png

上面就是网络课中的答案.

我并不认同红色字体的答案,即便不发生指令重排,也会出现i=0,j=0的情况.

因为即便线程1先执行,执行完成之后,a=1,i=0,但是此时并没有将a和i的值刷新到主内存,因此线程2获取到的a的值依然是0, 所以最后i=0,j=0也会出现.并不是说只有指令重排才会出现i=0,j=0.

而且网课中会认为出现i=1,j=1的情况,我个人也不同意这个观点.

即便线程1先执行了a=1,就切到线程2执行,但是毕竟线程1还没有执行完,变量a也没有使用volatile修饰,因此线程2是看不到线程1修改后的a=1的结果.因此永远不会存在i=1,j=1的情况.