一道诡异的java多线程可见性的问题

勿念勿扰

已于 2022-06-25 15:20:25 修改

阅读量188

点赞数

分类专栏：多线程基础文章标签： java 开发语言

于 2022-06-25 15:09:32 首次发布

本文链接：https://blog.csdn.net/nobaldnolove/article/details/125459476

版权

多线程基础专栏收录该内容

20 篇文章 1 订阅

订阅专栏

本文探讨了Java中线程间通信的挑战，重点讲解了可见性问题如何影响while循环的退出，通过实例展示了volatile和synchronized关键字在解决这个问题中的作用。作者还提到了禁用编译优化的重要性及其限制，并给出了使用volatile和for循环来避免编译器优化的策略。

摘要由CSDN通过智能技术生成

线程之间如何通信

在jjvm线程都是有自己的线程栈，线程栈之间是相互隔离的，所以无法做到线程间的通信。所以我们得找一个共享的地方，也就是可以通过堆上的变量实现线程之间的通信。

public class OneTest {
    
    public static boolean flag = false;
    
    public static void main(String[] args) {

//        Thread threadA = new Thread(() -> {
//            while (true){
//                if (flag){
//                    break;
//                }
//            }
//        });
//        
//        threadA.start();
        
        Thread threadB = new Thread(()->{
            MyJUCUtil.mySleep(20000000);
            flag = true;
        });
        threadB.start();
        while (!flag){
            
        }
        
    }
}

如果以上程序正常跑起来， main线程是感知不到flag的变化，但是有没有想过，如果不要求实时一致性，而是最终一直性，那么while循环在某个时间应该是会读到最新的值的呀。那么为啥运行一直都没有退出？现在用可见性问题还能解决吗？呃看理解吧可见性的源头就是应为指令重排，而指令重排又分为编译和cpu，如果这里是cpu的指令重排，其实也没有问题，只是说一开始的几次每次读的是自己寄存器的缓冲值，但是某个时间就会刷，storebuffer，那么就是可以感知到flag的最新值，那为何一直没有变呢？呃说明是编译器优化了代码逻辑，java 的jit 的编译器，会对热点代码进行检查，并进行优化，比如他看见这个while 循环在 1毫秒内执行了2000，就说明这个代码是可以进行优化，所以他会把 while（！flag）变成 while（true），这样就少了，每次都要去读 flag的变量的值。

所以我们现在应该改找到禁用编译优化的也就是指令重排序的方法。
那么有以下三种：
volatile修饰、sycronized、禁用jit编译优化

当然最后一种是不可取的，不能应为你的某个程序代码线程的片段里面需要禁止优化，而禁用全局编译器的优化，这样会导致java程序跑起来效率低很多。
所以 java提供了 volatile sycronized来提供给这样的需求。

呃如何禁止 jit
vm参数禁止jit

推测jit的大概优化意图，我们是不是可以在while循环里面执行一些逻辑，然循环时间不会达到优化阈值

public class OneTest {
    
    public static boolean flag = false;
    public static long i = 0;
    
    
    public static void main(String[] args) {
        Thread threadB = new Thread(()->{
            MyJUCUtil.mySleep(20000000);
            flag = true;
        });
        threadB.start();
        while (!flag){
            for (int j = 0; j < 2000000000; j++) {
                i++;
            }
        }
    }
}