Java Memory Model, JMM, 并发编程, 内存一致性, 可见性, 有序性
Java Memory Model（JMM）是理解并发编程中内存一致性的关键。它定义了多线程程序中共享变量的可见性、有序性等规则，帮助开发者理解和调试复杂的多线程程序。
JMM 主要涉及以下几个方面：
- 可见性： 指一个线程对共享变量的修改何时对其他线程可见。JMM 中提供了内存屏障（Memory Barrier）来确保可见性。
代码示例：
int x = 0; // 全局变量
// 线程 A: 写入 x x = 1;
// 线程 B: 读入 x int y = x;
在上述代码中，线程 A 写入 x，线程 B 读入 x。如果没有内存屏障，线程 B 可能会读到旧值（0），因为 JMM 不保证写入操作立即对其他线程可见。int x = 0; // 全局变量
// 线程 A: 写入 x synchronized (x) { x = 1; }
// 线程 B: 读入 x synchronized (x) { int y = x; }
在这种情况下，因为使用了 synchronized 关键字，线程 A 对 x 的写入操作会立即对线程 B 可见。这是因为 synchronized 关键字会插入内存屏障。
* **有序性：** 指一个线程对共享变量的修改以何种顺序对其他线程可见。JMM 中提供了 happens-before 关系来定义有序性。
**代码示例：**int x = 0; // 全局变量 boolean flag = false; // 全局变量
// 线程 A: 写入 x 并设置 flag x = 1; flag = true;
// 线程 B: 读入 flag 和 x if (flag) { int y = x; }
在上述代码中，线程 A 先写入 x，再设置 flag。线程 B 先读入 flag，然后读入 x。JMM 保证了线程 B 总是会读入 x 的新值（1），因为写 x 和设置 flag 具有 happens-before 关系。happens-before 关系可以确保线程 B 先读入 flag 的新值，然后才会读入 x 的新值。
**易变性：**变量的值是否可以被多线程同时改变。JMM 规定，一个变量要么是易变的，要么是线程安全的。易变变量可以被多线程同时改变，而线程安全的变量不能被多线程同时改变。
* **原子性：**指一个操作要么完全执行，要么完全不执行。JMM 规定，某些操作是原子性的，例如读取或写入一个 int 变量。这意味着，如果多个线程同时对同一个原子变量进行操作，那么这些操作不会相互影响。
* **非原子性：**指一个操作可以被中断。JMM 规定，某些操作是非原子性的，例如读取或写入一个 long 变量。这意味着，如果多个线程同时对同一个非原子变量进行操作，那么这些操作可能会相互影响。
掌握 JMM 有助于解决并发编程中的疑惑，编写更健壮的代码。
