指令重排序

1. 代码

/**
 * @author cxyxh
 * @date 2021-02-26
 */
public class TestInstructionsSwap {

    private static int a = 0, b = 0;
    private static int x = 0, y = 0;

    public static void main(String[] args) throws InterruptedException {
        int i = 0;
        for (;;){
            a = 0;
            b = 0;
            x = 0;
            y = 0;

            Thread thread1 = new Thread(() -> {
                a = 1;
                x = b;
            });

            Thread thread2 = new Thread(() -> {
                b = 1;
                y = a;
            });

            thread1.start();
            thread2.start();
            thread1.join();
            thread2.join();
            
            if (y == 0 && x == 0){
                System.out.println("确定是有指令重排序，循环次数：" + i);
                break;
            }
            i++;
        }
    }
}

执行结果

每次执行的结果不一样，有可能会等很久。

2. 解释

首先假设如果不会发生指令重排序，那么这个程序的执行结果可能有哪些呢？

假设没有指令重排序的话，因为至少会有一个线程先执行，也就是说，至少x，y中至少有一个应该是1，而不会出现两个都为0的情况。那么我们就可以得出，如果出现了x = 0 并且 y = 0的情况，那么就说明出现了指令重排序。

详细情况：

（1）thread1先执行

最终结果，第一个结果是（x = 0，y = 1），第二个结果是（x = 1，y = 1），第三个结果是（x = 1，y = 1）。

（2）thread2先执行

第一个结果是（x = 1，y = 0），第二个结果是（x = 1，y = 1），第三个结果是（x = 1，y = 1）。

那么我们执行代码的最终结果是出现了x和y都等于0的情况，那么说明代码执行过程中还是出现了指令重排序。

3. 其他

为什么会出现指令重排序？目的是为了提高性能。

重排序分为3种：

（1）编译器优化的重排序：

在编译期间，编译器会在不改变单线程程序语义的前提下，重新安排语句的执行顺序。

（2）指令级并行的重排序：

现代处理器采用了指令级并行技术来讲多条指令重叠执行。如果不存在数据依赖性，处理器可以改变语句对应机器指令的执行顺序。

（3）内存系统的重排序：

由于处理器使用了缓存和读/写缓冲区，使得加载和存储操作看上去可能是在乱序执行，因为从缓冲区到写入内存，需要的时间不一致。