{"name":"垃圾回收","id":"编程语言-JAVA-JVM-自动内存管理-垃圾回收","content":"# JVM 垃圾回收（GC）\n\n## 一、第一性原理层（Why）\n\n### 1. 为什么需要垃圾回收\n\n**根本问题**：\n\n> 程序如何判断一块内存是否还“有价值”？\n\n在现代高级语言中：\n\n* 对象的**使用权**由程序逻辑决定\n* 对象的**生命周期**却难以由程序员精确管理\n\n如果完全依赖人工释放：\n\n* 易产生悬挂指针、重复释放\n* 难以应对异常、并发、复杂控制流\n\n**结论**：\n\n> 垃圾回收的本质，是把“内存生命周期管理”从业务逻辑中剥离，交由运行时系统统一治理。\n\n---\n\n### 2. GC 的本质定义\n\n无论实现如何变化，所有 GC 都在解决同一个问题：\n\n> **在不破坏程序语义的前提下，找出仍然可能被使用的对象，其余内存可以被安全重用。**\n\n抽象为两个不可分割的子问题：\n\n1. **存活对象发现（Live Object Discovery）**\n2. **内存空间重用（Space Reclamation & Reuse）**\n\n---\n\n## 二、理论模型层（What）\n\n### 3. 对象“是否存活”的理论判定\n\n#### 3.1 引用计数模型（被否定的方案）\n\n**思想**：\n\n* 每个对象维护一个引用计数\n\n**被否定的根本原因**：\n\n* 无法处理**循环引用**\n* 在真实语言语义中需要大量额外修正\n\n> JVM 放弃该方案，并非性能问题，而是**正确性难以保证**。\n\n---\n\n#### 3.2 可达性分析模型（GC 的理论基石）\n\n**核心思想**：\n\n> 对象是否存活，不取决于“被引用次数”，而取决于是否**仍可被程序访问**。\n\n模型定义：\n\n* 从一组 **GC Roots** 出发\n* 沿着引用关系遍历对象图\n* 能到达的对象 = 存活对象\n\n**这是 JVM GC 的第一性理论基础。**\n\n---\n\n### 4. GC Roots 的哲学含义\n\nGC Roots 不是随意选择，而是满足一个原则：\n\n> **只要程序还能“直接使用”的对象，就必须作为根。**\n\n因此包括：\n\n* 线程栈中的局部变量\n* 类静态变量\n* 常量池引用\n* JNI、本地代码引用\n\n---\n\n### 5. 引用强度模型（对象生存策略）\n\n引用不是二元的（有 / 无），而是一个**策略梯度**：\n\n| 引用类型 | 本质定位  | 设计目的     |\n| ---- | ----- | -------- |\n| 强引用  | 必须存活  | 程序正确性    |\n| 软引用  | 可牺牲   | 内存弹性（缓存） |\n| 弱引用  | 不阻止回收 | 生命周期绑定   |\n| 虚引用  | 仅做通知  | 资源回收协调   |\n\n> 引用模型的本质，是**让程序参与“内存价值排序”**。\n\n---\n\n## 三、分代与对象行为假说（Why + What）\n\n### 6. 分代收集的理论前提\n\nJVM 并非随意分代，而是基于三条经验假说：\n\n1. **弱分代假说**：绝大多数对象朝生夕灭\n2. **强分代假说**：活得越久的对象越难死亡\n3. **跨代引用假说**：跨代引用远少于同代引用\n\n> GC 分代不是优化技巧，而是**对象行为统计学**。\n\n---\n\n### 7. 分代的抽象角色划分\n\n| 代   | 本质角色  | 回收目标 |\n| --- | ----- | ---- |\n| 新生代 | 高死亡率区 | 快速回收 |\n| 老年代 | 高稳定区  | 减少频率 |\n\n分代的真正目的：\n\n> **用不同策略处理不同“生存概率”的对象。**\n\n---\n\n## 四、核心回收算法（How）\n\n### 8. 三大基础算法的哲学权衡\n\n#### 8.1 标记-清除（Mark-Sweep）\n\n* 优点：实现简单\n* 根本缺陷：**内存碎片**\n\n适用场景：\n\n* 对象稳定\n* 回收频率低\n\n---\n\n#### 8.2 标记-复制（Mark-Copy）\n\n* 优点：无碎片、分配快\n* 代价：牺牲空间\n\n本质适配：\n\n> **高死亡率区域（新生代）**\n\n---\n\n#### 8.3 标记-整理（Mark-Compact）\n\n* 优点：空间连续\n* 代价：对象移动成本\n\n哲学权衡：\n\n> 停顿时间 vs 吞吐量\n\n---\n\n## 五、并发 GC 的不变量与工程约束\n\n### 9. 为什么并发 GC 如此困难\n\n根本冲突：\n\n> **GC 在“看对象图”，而程序在“改对象图”。**\n\n---\n\n### 10. 三色标记不变量\n\n| 颜色 | 含义        |\n| -- | --------- |\n| 白  | 未访问（可能垃圾） |\n| 灰  | 已访问，未扫描完  |\n| 黑  | 已完全扫描     |\n\n**并发正确性的核心不变量**：\n\n> 黑对象不能直接引用白对象\n\n---\n\n### 11. 两大并发修正思想\n\n| 思想         | 代表       | 本质       |\n| ---------- | -------- | -------- |\n| 增量更新       | CMS      | 关注“新增引用” |\n| 原始快照（SATB） | G1 / ZGC | 固定起始视图   |\n\n---\n\n## 六、HotSpot 架构支撑机制（How）\n\n### 12. Safepoint / Safe Region\n\n> GC 不是随时可做的，而必须在**引用关系稳定点**执行。\n\nSafepoint 的本质：\n\n* 在**可验证一致性**的时间点暂停世界\n\n---\n\n### 13. OopMap\n\nOopMap 解决的问题不是“快”，而是：\n\n> **如何在暂停时准确知道哪里是引用。**\n\n---\n\n### 14. 记忆集与卡表\n\n设计目标：\n\n> **避免全堆扫描老年代。**\n\n卡表是：\n\n* 空间换时间\n* 精度换性能\n\n---\n\n## 七、垃圾收集器 = 策略组合体\n\n### 15. 衡量 GC 的三大指标\n\n| 指标   | 含义     |\n| ---- | ------ |\n| 吞吐量  | 程序执行效率 |\n| 延迟   | 停顿时间   |\n| 内存占用 | 运行成本   |\n\n> GC 设计是典型的**不可能三角问题**。\n\n---\n\n### 16. 典型收集器的设计定位\n\n| 收集器      | 核心追求 | 代价    |\n| -------- | ---- | ----- |\n| Serial   | 极简   | 长停顿   |\n| Parallel | 吞吐   | 延迟不可控 |\n| CMS      | 低延迟  | 碎片    |\n| G1       | 可预测  | 实现复杂  |\n| ZGC      | 极低延迟 | 架构复杂  |\n\n---\n\n## 八、现代 GC 的演进趋势\n\n### 17. 演进主线\n\n> **对象规模 ↑ → 堆容量 ↑ → 人类容忍停顿 ↓**\n\n因此：\n\n* 从 STW → 并发\n* 从 分代 → Region\n* 从 写屏障 → 读屏障\n\n## 关联内容（自动生成）\n\n- [/编程语言/JAVA/JVM/自动内存管理/内存结构.md](/编程语言/JAVA/JVM/自动内存管理/内存结构.md) JVM内存结构与垃圾回收机制密切相关，不同的内存区域采用不同的回收策略，理解内存结构是掌握垃圾回收的基础\n- [/编程语言/JAVA/JVM/自动内存管理/调优.md](/编程语言/JAVA/JVM/自动内存管理/调优.md) 垃圾回收参数调优是JVM性能优化的重要组成部分，了解各种GC算法的特点有助于制定合适的调优策略\n- [/编程语言/JAVA/JVM/JAVA内存模型.md](/编程语言/JAVA/JVM/JAVA内存模型.md) Java内存模型与垃圾回收机制共同构成了JVM内存管理的完整体系，理解两者关系有助于深入掌握内存管理机制\n- [/编程语言/JAVA/JVM/JVM.md](/编程语言/JAVA/JVM/JVM.md) JVM整体架构和运行机制的理解有助于更好地掌握垃圾回收在其中的作用和意义\n- [/编程语言/JAVA/JVM/类加载机制.md](/编程语言/JAVA/JVM/类加载机制.md) 类加载过程与垃圾回收相互影响，类的生命周期管理是内存管理的重要方面\n","metadata":"tags: ['编程语言', '操作系统', '并发编程']","hasMoreCommit":false,"totalCommits":1,"commitList":[{"date":"2026-06-14T12:12:42+08:00","author":"MY","message":"refactor(responsive): 响应式合流 P0-P2 — 响应式断点 + 令牌统一 + 单一响应式外壳","hash":"7019457ca1b42a02edc0b155de936713ba81f526"}],"createTime":"2026-06-14T12:12:42+08:00"}