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

在并发编程中,并发编程三大特性: 原子性, 可见性, 有序性
其中有序性就和指令重排序有关.

在网络上的一些教程中,讲到指令重排序时,为了验证指令重排序,会使用下面这个案例代码

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

            t1.join();
            t2.join();

            System.out.println("i:" + i + " j:" + j);
            
        }
    }
}

class Counter {

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

}

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

我并不完全认同第4条结论, 即便不发生指令重排序,也会出现i=0,j=0的情况.

因为即便执行顺序是 ①②③④ 或 ③④①②，假如执行顺序是①②③④，但是此时线程1可能并没有将a和i的值刷到主内存,线程2获取到a的值依然是0. 所以i=0,j=0也会出现(可见性导致). 并不是只有指令重排才会出现i=0,j=0.

执行1000次的结果

执行1000000次的结果

---

个人站点
语雀

公众号