Java指令重排导致的出现概率约为千万分之一的Bug

题外话

在网易实习的时候，线上出现过几次诡异的错误，之后想排查又不能复现错误。一位同事感叹道: 分布式、多线程的环境下，出现这种诡异的问题其实是不稀罕的。当时我只能似懂非懂的点头。

来写个Bug吧

public class OutofOrder {

    static class State {
        int a = 0, b = 0, c = 0;
    }

    public static void main(String[] args) throws InterruptedException{
        for (int i=0; i<1000_0000; ++i) {
            final State state = new State();

            // write
            new Thread(() -> {
                state.a = 1;
                state.b = 1;
                state.c = state.a + 1;
            }).start();

            // read
            new Thread(() -> {
                int tmpC = state.c, tmpB = state.b, tmpA = state.a;
                if (tmpB == 1 && tmpA == 0) {
                    System.out.println("WTF, b == 1 && a == 0");
                } else if (tmpC == 2 && tmpB == 0) {
                    System.out.println("WTF, c == 2 && b == 0");
                } else if (tmpC == 2 && tmpA == 0) {
                    System.out.println("WTF, c == 2 && a == 0");
                }
            }).start();
        }
        System.out.println("done");
    }
}

简单的多线程程序，只有两个线程，一个修改state的变量，注意看顺序，如果写的线程执行顺利，一定是a=1, b=1, c=2。出现b=1, a=0或c=2, a=0|b=0，都说明写的线程执行顺序不对。

循环一千万次，大概能出现一次(打印出来错误信息。

指令重排

为什么CPU你不按套路出牌!
因为它想实现CPU指令级别的并行
指令并行，不就是这样吗:一个任务做阻塞操作的时候，另一个任务的某个阶段可以先利用CPU资源进行计算

那么，并行就并行，怎么还把我好好的线程里面顺序给打乱了呢?

因为大佬们把每个任务都分成了多个阶段，他们发现用数据依赖的方式给阶段制定好了指令执行的DAG图，这样可以实现更进一步的指令重排，利用好CPU资源
详情参考 (我以后会来补坑哒!)

然而，所谓的DAG，终究不能真正理解用户程序的意图，终究有可能会造成这种极小概率的BUG出现。

总结

多个线程共同使用某个数据，请还是给加上volatile吧，防止指令重排，别踩这种出现概率几百万分之一的坑