【Java 并发编程】线程指令重排序问题 ( 指令重排序规范 | volatile 关键字禁止指令重排序 )

x = 0;
y = 1;

x = 0;
y = x;

public class Main {
    // 使用 volatile 关键字修饰变量可以禁止指令重排
    /*volatile static int x = 0;
    volatile static int y = 0;
    volatile static int a = 0;
    volatile static int b = 0;*/
    // 没有使用 volatile 关键字修饰, 会产生指令重排的情况
    static int x = 0;
    static int y = 0;
    static int a = 0;
    static int b = 0;
    /**
     * 多线程运行导致异常值出现, 是由于指令重排导致的
     * @param args
     */
    public static void main(String[] args) {
        // 设置一个非常大的遍历数
        //      指令重排出现过程很少见, 基数越大, 出现概率越高
        for (int i = 0; i < Integer.MAX_VALUE; i ++) {
            // 每次循环都初始化变量
            x = 0;
            y = 0;
            a = 0;
            b = 0;
            // 在该线程中, 如果出现指令重排
            //      先执行 b = 1, 在执行 x = a
            new Thread(new Runnable() {
                @Override
                public void run() {
                    x = a;
                    b = 1;
                }
            }).start();
            // 如果出现指令重排
            //      先执行 a = 1, 在执行 y = b
            new Thread(new Runnable() {
                @Override
                public void run() {
                    y = b;
                    a = 1;
                }
            }).start();
            try {
                Thread.sleep(1);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            /*
                执行上述代码, 不是线程 1 先执行就是线程 2 先执行
                    如果线程 1 先执行, 则 x = 0, y = 1
                    如果线程 2 先执行, 则 x = 1, y = 0
                不可能出现 x = 1, y = 1 的情况
                    如果出现了, 则说明线程内部的执行顺序可能被颠倒了
                    出现了指令重排的情况
             */
            // 检查是否有异常值出现, 如果出现异常值, 退出方法
            if (x == 1 && y == 1) {
                System.out.println("出现异常值 x = 1, y = 1");
                return;
            } /*else {
                System.out.println("正常值 x = " + x + ", y = " + y);
            }*/
        }
    }
}