请解释什么是 Java 内存模型（JMM），并说明其核心组成、内存可见性保证以及它如何帮助实现并发编程中的安全性和有序性。

回答思路

1. 【回答框架 1】Java 内存模型（JMM）是 Java 虚拟机规范中定义的一套抽象规则，用于描述在多线程环境下，线程之间通过内存进行通信时的行为规范。其核心目标是屏蔽不同硬件和操作系统间的内存访问差异，确保 Java 程序在所有平台上具有一致的内存可见性语义。
2. 【回答框架 2】JMM 规定了主内存与工作内存的交互关系。每个线程拥有私有工作内存，存储共享变量的副本；线程对变量的所有读写必须在工作内存进行，不能直接操作主内存。这种隔离机制引入了可见性问题，为此 JMM 提供了 volatile、synchronized 等同步原语来保证内存可见性。
3. 【回答框架 3】JMM 通过 happens-before 规则定义操作间的偏序关系，若操作 A happens-before 操作 B，则 A 的执行结果对 B 可见。这些规则包括程序次序规则、锁规则、volatile 变量规则、传递性等，它们为程序员提供了可依赖的内存一致性保证。
4. 【回答框架 4】JMM 还提出了 as-if-serial 语义和指令重排序规则。在单线程内，允许重排序但必须保证执行结果不被改变；在多线程下，则通过内存屏障限制关键同步代码的重排序。理解这些规则有助于分析并发代码的正确性，避免因重排序导致的难以察觉的 bug。
5. 【回答框架 5】实际应用中，JMM 是并发编程的基础，但需注意它只保证单写单读或通过同步机制保障的可见性，不解决所有并发问题。编写并发代码时，应优先使用 java.util.concurrent 包中的高级工具，它们建立在 JMM 之上，提供更易用的并发抽象。
6. 【关键点 1】JMM 是 Java 虚拟机的抽象内存模型，定义共享变量的访问规则。
7. 【关键点 2】volatile 保证可见性并防止指令重排序，但不保证原子性。
8. 【关键点 3】synchronized 通过锁和内存屏障实现原子性、可见性及有序性。
9. 【关键点 4】happens-before 规则是判断数据竞争和内存可见性的依据。
10. 【易错点 1】误以为 volatile 能保证复合操作的原子性，实际上它只解决可见性与重排序。
11. 【易错点 2】忽略 happens-before 规则，导致在不同 JVM 上表现不一致的并发缺陷。
12. 【易错点 3】在不需要同步的场合过度使用同步，损害性能；或相反，缺少必要的同步导致数据竞争。