Java内存模型全解析：解决共享变量可见性与指令重排难题

周哥的offer秘籍

已于 2024-07-26 15:28:37 修改

阅读量734

点赞数 13

文章标签： java

于 2024-07-24 17:22:47 首次发布

本文链接：https://blog.csdn.net/zwsfamily/article/details/140668546

版权

本期说一下Java 内存模型（Java Memory Model，JMM）及共享变量可见性问题。

答:

Java 内存模型（Java Memory Model，JMM）抽象了线程和主内存之间的关系就比如说线程之间的共享变量必须存储在主内存中，规定了从 Java 源代码到 CPU 可执行指令的这个转化过程要遵守哪些和并发相关的原则和规范.

答:

在多线程环境中，一个线程对共享变量的修改可能对其他线程是不可见的。这是因为每个线程有自己的工作内存，线程对变量的修改首先发生在工作内存中，然后被刷新到主内存。其他线程在读取该变量时直接从自己的工作内存中读取，而不是从主内存中读取。

答:

1.主内存与工作内存。

（如 synchronized 或 java.util.concurrent 包中的锁ReetrantLock）也能保证可见性。当一个线程获取锁时，它会清空工作内存中的变量，并重新从主内存中读取。

答: 编译器和处理器为了提高性能可能对指令进行重排序。在单线程环境中，指令重排是允许的，因为它不会影响程序的最终执行结果。然而，在多线程环境中，指令重排可能导致共享变量的可见性问题，即一个线程对共享变量的修改对其他线程来说不可见，从而破坏了程序的正确性。

答:

答:

使用 volatile 关键字修饰的变量，对该变量的写操作会在写操作之后插入一个写屏障，确保写操作的结果对其他线程是可见的。同时，对 volatile 变量的读操作会在读操作之前插入一个读屏障，防止在读操作之前的写操作被重排到读操作之后。
- 屏障是一种硬件或软件机制，用于确保内存操作的顺序性和可见性。
使用Synchronized或ReentrantLock解决指令重排
- 锁的释放和获取会创建一个内存屏障（比如Synchornize中的monitorenter和monitorexit），确保了在释放锁之前的所有写操作都被刷新到主内存，而在获取锁之后的读操作都从主内存中重新加载。
  - 注：reentrantlcok的内存屏障的实现，利用了 volatile 变量、CAS 操作和 LockSupport 等底层机制，以确保在锁的获取和释放操作之间的内存可见性和有序性。
使用final字段解决指令重排问题
- 当一个字段被声明为 final 时，Java 编译器会确保在构造函数完成之前，final 字段的赋值操作已经完成。这就意味着其他线程在构造函数未完成之前无法看到对象的不完整状态，包括未完成的初始化。
“
以上内容出自本人整理的面试秘籍。链接: https://pan.baidu.com/s/1o014Ems8diV0D3h8K15olA?pwd=fi3x 提取码: fi3x 复制这段内容后打开百度网盘手机App，操作更方便哦

工作日每天更新，周末随缘更新。

请关注我，以便及时获取最新内容哦！

本文由 mdnice 多平台发布

关注