验证Intel CPU的指令重排序（乱序执行），及volatile的禁止指令重排序功能

在接触多线程的过程中，都会接触到volitile关键字，作用是禁止cpu指令重排序，和保证线程间的可见性。

如何验证cpu存在指令重排序的呢？

国外有个哥们用C做过实验，这里用java做一次

https://preshing.com/20120515/memory-reordering-caught-in-the-act/

/**
 * 测试cpu的指令重排序功能(乱序执行)
 * @author Administrator
 */
public class ThreadVolitile {
    private static int a = 0, b = 0;
    private static int x = 0, y = 0;

    public static void main(String[] args) {
        try {
            int i = 0;
            for (; ; ) {
                i++;
                a = 0;
                b = 0;
                x = 0;
                y = 0;
                Thread thread = new Thread(new Runnable() {
                    @Override
                    public void run() {
                        a = 1;
                        x = b;
                    }
                });
                Thread thread1 = new Thread(new Runnable() {
                    @Override
                    public void run() {
                        b = 1;
                        y = a;
                    }
                });
                // 按预期，无论2个线程如何执行，x,y不可能同时为0；
                thread.start();
                thread1.start();
                thread.join();
                thread1.join();
                if (x == 0 && y == 0) {
                    System.out.println("执行第" + i + "次，" + "指令重排序");
                    break;
                }
            }
        } catch (Exception e) {
            System.out.println(e.getMessage());
        }

    }
}

执行结果：

测试的依据是2个线程运行时，其结果只有以下几种情况

       同时执行==》a=1,b=1,x=1,y=1

       线程1先执行==》a=1,b=1,x=0,y=1

       线程2先执行==》a=1,b=1,x=1,y=0

无论哪个线程先执行，都不可能出现，x,y同时等于0的情况

---------------------------------------------------------------------------------------------------------

有人可能会觉得是主线程比其他2个线程执行的快，所以这时候x,y的值都是0

这里说明下Thread.join()的作用：

简单说明以下，就是等待当前线程结束，才会继续执行后面的代码。

如果还有疑惑，可以在判断条件里加上

&&(a==1||b==1)，保证验证结果一定是2个线程优先执行。

禁止指令重排序，只需要在4个变量前加上volatile关键字。重新运行程序测试，几个小时都没有出现x=0,y=0情况。

未加的情况，本机运行10w次左右就会出现一次。