【并发编程】 JMM

JMM的简单理解：

jmm是Java内存模型，它确保了在并发编程中，不同线程对共享变量的访问能够按照一定的规则进行，以避免内存一致性错误。

在 JDK1.2 之前，Java 的内存模型实现总是从主存（即共享内存）读取变量，是不需要进行特别的注意的。而在当前的 Java 内存模型下，线程可以把变量保存本地内存（比如机器的寄存器）中，而不是直接在主存中进行读写。这就可能造成一个线程在主存中修改了一个变量的值，而另外一个线程还继续使用它在寄存器中的变量值的拷贝，造成数据的不一致。

JMM的三个特性：

变量的可见性：JMM规定了线程如何以及何时可以看到其他线程对共享变量的更改。例如，使用volatile关键字修饰的变量可以确保一个线程对它的写入对其他线程立即可见。

原子性：JMM定义了哪些操作是原子的，哪些不是。非原子操作可以由JVM自由地分解成多个步骤，这可能导致问题。例如，对于非volatile的64位数据类型（如long和double），JVM可能会将无原子的读取或写入操作分解为两个32位的操作。

有序性：JMM允许编译器和处理器对代码进行重排序，以优化性能。但是，这种重排序可能会破坏程序的逻辑。JMM通过happens-before关系来定义操作的顺序，确保在多线程环境中程序的行为符合预期。（happens-before是JMM中的一个核心概念，用于确定一个操作是否在另一个操作之前发生。如果一个操作A happens-before操作B，那么A的结果对B可见，且A的执行顺序在B之前。）