多线程无锁情况下对共享变量的可见性分析

qq_45026266

已于 2022-03-06 22:49:22 修改

阅读量146

点赞数

文章标签： java 蓝桥杯开发语言

于 2022-03-06 22:47:12 首次发布

本文链接：https://blog.csdn.net/qq_45026266/article/details/123317849

版权

本文分析了在Java多线程环境下，无锁情况下共享变量的可见性问题，重点探讨了JIT即时编译对线程工作内存副本的影响。通过代码实例展示了即使在JIT优化下，只有写操作的共享变量仍然能保持与主存同步，但如果涉及读取操作，则可能导致线程无法感知到其他线程的修改。

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

先把代码截图，再看下文

// 建议可以代码截图，然后配合文字一起看
public class Test {
    static long a= 0; //共享变量
    public static void main(String[] args) throws Exception {
        Thread work = new Thread(() -> {
            while (a== 0) {}
        });
        work.start(); //工作线程开启
    }
}

代码里的变量间的关系如下图，a 是共享变量，在主存，work线程的工作内存有一个主存共享变量a的副本 a1, main线程的工作内存有一个主存共享变量a的副本 a1，线程只能操作自己内存的副本a。

当work的 while循坏的代码块被 JIT激进优化时，由于激进优化的代码块内有个共享变量a，所以，此时，a1=a 这条线断开，即副本a1 无法被主存更新了，但是，无论JIT优化开启与否，a=a1这条线是一定存在的，即工作内存一定可以将自己的副本a1的值赋值给主存的变量a,这个逻辑是恒成立的。