证明程序的指令重排序

as-if-serial虽然cpu会重排序指令，但是必须保证逻辑上是顺序的，单线程执行不能受影响

happens-before如果两条指令前后有依赖关系，是不能重排序的

public class AsIfSerialTest {
    private static int x = 0, y = 0;
    private static int a = 0, b = 0;

    public static void main(String[] args) {

        for(long i = 0; i < Long.MAX_VALUE; i ++) {
            x = 0;
            y = 0;
            a = 0;
            b = 0;

            CountDownLatch latch = new CountDownLatch(2);

            Thread t1 = new Thread(() -> {
                // 这两条语句由于没有依赖关系，在t1线程内就可能发生指令重排序
                a = 1;
                x = b;

                latch.countDown();
            });

            Thread t2 = new Thread(() -> {
                // 这两条语句由于没有依赖关系，在t2线程内就可能发生指令重排序
                b = 1;
                y = a;

                latch.countDown();
            });

            t1.start();
            t2.start();

            try {
                // 为了让主线程等待这俩子线程执行完毕
                latch.await();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }

            String result = "第" + i + "次，同时出现指令重排";
            if(x == 0 && y == 0) {
                System.err.println(result);
                break;
            }
        }
    }
}