【必会面试题】Java内存模型JMM

前言

Java内存模型（Java Memory Model, JMM）是Java平台定义的一种规范，用于描述多线程情况下的变量访问原则、线程交互 及 线程内存与主内存的协同工作。JMM的目的是为了屏蔽各种硬件和操作系统内存访问差异，提供一致的内存访问视图，保证数据共享和同步等多线程场景下的数据安全性。

关键组件

• 主内存：所有线程共享的内存区域，存储了实例字段、静态字段和数组元素等变量。主内存是所有线程创建的对象和变量的最终存储地点。
• 工作内存（线程私有内存）：每个线程都有自己的工作内存，存储了该线程使用到的主内存副本（变量副本）。线程对变量的所有操作（读取、赋值等）都在工作内存中进行，之后可能同步到主内存。

性质

• 原子性：指操作是不可分割的，要么全部执行要么都不执行。在Java中，除了long和double类型变量外，基本类型的读写操作都是原子性的。更复杂的操作需要通过synchronized或Lock等机制保证。
• 可见性：一个线程修改了共享变量的值，其他线程能够立即看到这个变化。volatile关键字可以保证这一点，因为它禁止了编译器的重排序，并要求每次访问都从主内存中读取最新的值。
• 有序性：为了优化性能，编译器和处理器可能会对指令进行重排序。JMM通过happens-before原则（先行发生原则）来保证特定操作间的执行顺序，例如，监视器锁的解锁操作happens-before于后续的加锁操作，从而确保了有序性。

内存屏障（Memory Barrier）

• 为了确保可见性和有序性，JMM会在适当的位置插入内存屏障。这些屏障会强制处理器暂停重排序，确保某些操作的完成顺序，并更新缓存，使得一个线程对内存的修改对其他线程可见。

volatile与synchronized

• volatile关键字保证了变量的可见性和部分有序性，但不保证原子性。适合用于状态标记量。
• synchronized关键字可以提供原子性、可见性和完全的有序性保证，适用于需要互斥访问的代码块或方法。