Java内存模型（JMM）通过主内存与工作内存的划分保障并发编程中的可见性、原子性和有序性，结合happens-before规则确保操作顺序；垃圾回收机制（GC）则负责堆内存的自动管理，采用标记-清除、复制、标记-整理等算法，并提供Serial、Parallel、CMS、G1、ZGC等多种回收器以平衡吞吐量与停顿时间，二者协同影响程序性能与线程安全。
Java内存模型（Java Memory Model, JMM）和垃圾回收机制（Garbage Collection, GC）是理解Java并发编程与性能调优的关键基础。它们共同决定了程序在多线程环境下的可见性、有序性以及内存资源的自动管理方式。
Java内存模型：主内存与工作内存
Java内存模型定义了线程如何与内存进行交互，其核心在于区分主内存和工作内存。
所有变量都存储在主内存中，而每条线程有自己的工作内存，保存了该线程使用到的变量的副本。线程对变量的操作必须在工作内存中进行，不能直接读写主内存中的数据。
这就引出了三个关键问题：可见性、原子性和有序性。
立即学习“Java免费学习笔记（深入）”；
- 可见性：当一个线程修改了共享变量的值，其他线程能立即得知这个修改。volatile关键字可以保证这一点。
- 原子性：一个操作要么全部执行，要么完全不执行。synchronized块可以保证代码块的原子性。
- 有序性：程序执行顺序按照代码先后顺序进行。编译器和处理器可能会进行指令重排序，但JMM通过happens-before规则来保证逻辑上的有序性。
happens-before 规则：确保操作顺序
为了在不牺牲性能的前提下保证程序的正确性，JMM引入了happens-before原则，它是判断数据是否存在竞争、是否安全访问的重要依据。
常见的 happens-before 关系包括：
Miller (mlr) 是一个命令行工具，用于查询、整形和重新格式化名称索引数据，如 CSV、TSV、JSON 和 JSON Lines。它将 awk、sed、cut、join 和 sort 的功能整合到一个专为结构化数据处理而构建的单一工具中。
- 程序顺序规则：同一个线程中的每个操作，前一个操作 happens-before 后一个。
- 监视器锁规则：对一个锁的释放 happens-before 于后续对这个锁的获取。
- volatile变量规则：对一个volatile变量的写 happens-before 于后续对这个变量的读。
- 线程启动规则：Thread.start() 的调用 happens-before 于线程中任何操作。
- 传递性：如果 A happens-before B，且 B happens-before C，那么 A happens-before C。
这些规则帮助开发者在不深入底层细节的情况下，推理多线程程序的行为。
垃圾回收机制：自动内存管理的核心
Java通过垃圾回收机制实现自动内存管理，开发者无需手动释放对象内存，减少了内存泄漏和悬空指针的风险。
GC主要关注堆内存区域，尤其是年轻代（Young Generation）和老年代（Old Generation）。对象优先在Eden区分配，经过多次Minor GC仍存活的对象会被晋升到老年代。
常见的垃圾回收算法包括：
- 标记-清除：先标记出所有需要回收的对象，然后统一回收。缺点是会产生内存碎片。
- 复制算法：将可用内存分为两块，每次只使用其中一块。当这一块用完后，将还存活的对象复制到另一块上，再清理已使用过的内存。适用于年轻代。
- 标记-整理：标记过程同标记-清除，后续不是直接清除，而是让所有存活对象向一端移动，然后清理边界以外的内存。适合老年代。
常见垃圾回收器及其特点
不同的应用场景需要不同的GC策略，JVM提供了多种垃圾回收器：
- Serial GC：单线程收集器，适用于客户端应用或小型应用。
- Parallel GC：多线程并行执行GC，注重吞吐量。
- CMS（Concurrent Mark-Sweep）：以最短停顿时间为目标，部分阶段与用户线程并发执行，但可能产生浮动垃圾。
- G1（Garbage First）：面向服务端应用，将堆划分为多个区域，优先回收垃圾最多的区域，兼顾吞吐量与停顿时间。
- ZGC / Shenandoah：支持超大堆、极低暂停时间的现代GC，适用于延迟敏感型系统。
选择合适的GC策略需结合应用的响应时间要求、内存大小和吞吐量需求。
基本上就这些。理解Java内存模型有助于写出正确的并发程序，而掌握垃圾回收机制则有助于优化性能、避免OOM等问题。两者虽独立，但在实际开发中紧密相关。比如不当的对象创建和引用管理会加重GC负担，而volatile和synchronized的合理使用能确保在GC运行时多线程之间的内存一致性。不复杂但容易忽略。
