多线程几个有趣案例分析

原创

wx58fde585c569f 2021-07-12 11:30:33 ©著作权

文章标签 java JIT 晚期优化运行期优化可见性分析 文章分类 Java 后端开发

©著作权归作者所有：来自51CTO博客作者wx58fde585c569f的原创作品，请联系作者获取转载授权，否则将追究法律责任

多线程几个有趣案例分析

主线程开子线程

	boolean flag=true;
    public static void main(String[] args) throws InterruptedException {
        TestThread t = new TestThread();
        t.start();//开子线程 1
        t.flag = false;//主线程继续跑 2
        //绝大部分情况下都是2先执行，所以下面的输出语句不会执行
    }
    private void start() {
        new Thread(new Runnable() {
            @Override
            public void run() {
                while(flag){
               		 System.out.println("sub thread");
                }
            }
        }).start();
    }

JIT激进优化产生的可见性问题

	boolean flag=true;
    public static void main(String[] args) throws InterruptedException {
        TestThread t = new TestThread();
        t.start();//开子线程 1
        Thread.sleep(1000);
        t.flag = false;//主线程继续跑 2
        //绝大部分情况下都是2先执行，所以下面的输出语句不会执行
    }
    private void start() {
        new Thread(new Runnable() {
            @Override
            public void run() {
                while(flag){
               		 System.out.println("sub thread");
                }
            }
        }).start();
    }

在休眠1s后再把flag置为false；结果是程序打印了1s的sub Thread，这一点符合我们的正常逻辑。
重点来了，如果我们把 System.out.println(“sub thread”);这条语句删除，那么这段程序永远不会停止。
这就令人很费解

见下面的程序

	boolean flag=true;
    public static void main(String[] args) throws InterruptedException {
        TestThread t = new TestThread();
        t.start();//开子线程 1
        Thread.sleep(1000);
        t.flag = false;//主线程继续跑 2
        //绝大部分情况下都是2先执行，所以下面的输出语句不会执行
    }
    private void start() {
        new Thread(new Runnable() {
            @Override
            public void run() {
                while(flag){
               		 //空轮询，永远不会停止
                }
            }
        }).start();
    }

问题分析：既然一直空轮询，那么可以确定的是子线程的flag一直是true，即使主线程已经修改为false。
什么原因导致flag一直是true，我先列举了一系列可能的原因如下:
原因一：主线程的flag对子线程不可见，加volatile关键字解决。
这个原因可以排除掉，就算我们的flag不是volatile的，但是总有一个时刻子线程会发现flag被改为flase了吧，不可能一直发现不了啊！并且加了打印语句1s过后程序停止，说明绝不是这个原因。
原因二：JVM晚期优化？
对于上面的空轮询，他认为是可以优化的，类似优化成下面的样子：
把flag暂存起来，这样就不用每次都去堆里面找。这样temp就一直都是true。

	private void start() {
        new Thread(new Runnable() {
        boolean temp = flag;
            @Override
            public void run() {
                while(temp){
               		 //空轮询，永远不会停止
                }
            }
        }).start();
    }