《垃圾回收算法手册》权威学习地图

依据Jones、Hosking与Moss《垃圾回收算法手册》2012版、2016中文译本完整目录独立重构：沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图

《垃圾回收算法手册》权威学习地图

本页对应第一版正式结构中的 《垃圾回收算法手册》权威学习地图。课程不复制原文，而是按目录逐节点独立重构算法、证明与工程接口，目标是沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图。每项结论必须回到对象图、状态转换、伪代码和可重复测量，不能用某个JVM参数名称替代算法理解。

可验收学习目标

学习目标

  • 能解释本页全部22个正式节点的对象图、状态转换、正确性条件和性能代价。
  • 能实现或手工重放“从一个对象图出发，选择回收算法、分配器、分区、屏障和调度策略，并逐层写出不变式与失败条件”，保存输入、原始输出和停止条件。
  • 能比较安全性、完整性、及时性、吞吐、尾延迟、空间与实现复杂度，不用单指标下结论。
  • 能设计至少一个会推翻当前选择的反例，并用359节点覆盖矩阵、算法谱系、运行时接口图、全书实验与证据清单完成独立交接。

首要陷阱是“把437页的中文版压缩成标记、复制、整理、分代、并发和现代GC几个概览页”。先预测，再执行；任何算法选择都必须说明对象是否移动、何时与变异器并发、需要多少备用空间、怎样处理根与跨区引用，以及失败时如何退化或回滚。

官方目录逐节点复刻

第1章 引言

正式节点 1/22。 从根集合、对象图、分配状态和回收阶段四层解释“第1章 引言”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第2章 标记-清扫垃圾回收

正式节点 2/22。 从根集合、对象图、分配状态和回收阶段四层解释“第2章 标记-清扫垃圾回收”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第3章 标记-整理垃圾回收

正式节点 3/22。 从根集合、对象图、分配状态和回收阶段四层解释“第3章 标记-整理垃圾回收”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第4章 复制式垃圾回收

正式节点 4/22。 从根集合、对象图、分配状态和回收阶段四层解释“第4章 复制式垃圾回收”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第5章 引用计数

正式节点 5/22。 从根集合、对象图、分配状态和回收阶段四层解释“第5章 引用计数”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第6章 比较垃圾回收器

正式节点 6/22。 从根集合、对象图、分配状态和回收阶段四层解释“第6章 比较垃圾回收器”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第7章 分配

正式节点 7/22。 从根集合、对象图、分配状态和回收阶段四层解释“第7章 分配”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第8章 堆分区

正式节点 8/22。 从根集合、对象图、分配状态和回收阶段四层解释“第8章 堆分区”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第9章 分代垃圾回收

正式节点 9/22。 从根集合、对象图、分配状态和回收阶段四层解释“第9章 分代垃圾回收”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第10章 其他分区方案

正式节点 10/22。 从根集合、对象图、分配状态和回收阶段四层解释“第10章 其他分区方案”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第11章 运行时接口

正式节点 11/22。 从根集合、对象图、分配状态和回收阶段四层解释“第11章 运行时接口”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第12章 语言特定问题

正式节点 12/22。 从根集合、对象图、分配状态和回收阶段四层解释“第12章 语言特定问题”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第13章 并发基础

正式节点 13/22。 从根集合、对象图、分配状态和回收阶段四层解释“第13章 并发基础”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第14章 并行垃圾回收

正式节点 14/22。 从根集合、对象图、分配状态和回收阶段四层解释“第14章 并行垃圾回收”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第15章 并发垃圾回收

正式节点 15/22。 从根集合、对象图、分配状态和回收阶段四层解释“第15章 并发垃圾回收”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第16章 并发标记-清扫

正式节点 16/22。 从根集合、对象图、分配状态和回收阶段四层解释“第16章 并发标记-清扫”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第17章 并发复制与整理

正式节点 17/22。 从根集合、对象图、分配状态和回收阶段四层解释“第17章 并发复制与整理”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第18章 并发引用计数

正式节点 18/22。 从根集合、对象图、分配状态和回收阶段四层解释“第18章 并发引用计数”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

第19章 实时垃圾回收

正式节点 19/22。 从根集合、对象图、分配状态和回收阶段四层解释“第19章 实时垃圾回收”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

术语表

正式节点 20/22。 从根集合、对象图、分配状态和回收阶段四层解释“术语表”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

参考文献

正式节点 21/22。 从根集合、对象图、分配状态和回收阶段四层解释“参考文献”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

索引

正式节点 22/22。 从根集合、对象图、分配状态和回收阶段四层解释“索引”。先写出安全性或进展不变式，再标注实现所需的元数据、读写屏障和空间余量；最后用固定工作负载记录原始证据。该节点服务于“沿19章、术语表、参考文献与索引建立从基本算法、分区和运行时接口到并行、并发与实时回收的完整知识图”，不能只保留术语定义。

验证时先预测改变存活率、分配率、对象大小、线程数或堆余量后会发生什么，再只改变一个变量。若结果与预测相反，应检查根枚举、对象移动、缓存与同步、并发交错和测量窗口，而不是删掉反例。

从对象图与不变式开始

全书的结构不是回收器产品列表。第1至6章建立基本算法与统一比较，第7至12章把算法接入分配、分区、运行时和语言语义，第13至18章建立并行与并发正确性，第19章把工作量和碎片纳入实时调度。术语表、参考文献和索引分别承担定义、证据与反向检索。学习地图要求每条路线都落到对象图、伪代码、原始测量和可推翻条件。

所有垃圾回收问题先抽象为。是遍历入口；从根可达只是保守的存活近似，并不等于对象未来必被使用。与回收器共享同一堆状态。安全性要求不能回收仍可能被访问的对象，完整性描述是否能找出所有垃圾，及时性描述识别与回收之间的延迟。回收器、分配器、编译器和语言语义共同决定这些合同，任何一层缺失都可能让局部正确的算法在系统中失效。

停止世界、并行和并发是三个正交维度。停止世界描述变异器是否暂停，并行描述多个回收线程是否同时完成同一阶段，并发描述回收器是否与变异器重叠运行。并发降低某些暂停，却增加屏障、同步、浮动垃圾和CPU竞争；并行缩短阶段墙钟时间，却可能增加总CPU和内存带宽。必须报告阶段时间线，而不是把“并行并发”当成一个模糊标签。

对象移动决定运行时接口的复杂度。不移动方案保留地址稳定性但可能碎片化；复制与整理产生连续空间和快速分配，却必须更新根、堆内引用、句柄、内部指针和原生代码持有的地址。并发移动还需读屏障、间接层或多版本协议，保证变异器无论在搬移前、中、后读取都看到合法对象身份与字段值。必须按最坏工作量而不是平均值估算；并发结构还要指出。

最小算法切片

先把算法写成可检查的状态机，而不是产品参数清单：

roots -> discover(object)
while worklist is not empty:
  object = remove(worklist)
  for each reference in object:
    if reference has not been discovered:
      mark or forward reference
      add reference to worklist
reclaim, sweep, compact, or publish the completed space

实现记录至少包含对象标识、地址或句柄、颜色/计数/年龄、所属分区、扫描状态和转发状态。每次状态变化注明唯一所有者和原子边界；若元数据会溢出、工作表会耗尽或目的空间会不足，失败路径必须在实验前定义。只给出正常路径的伪代码不能证明回收器可用。

实验输入与环境采用可重放合同：

runtime: exact-build-and-commit
heap: fixed-min-max-and-region-layout
workload: seeded-object-graph-and-allocation-trace
controls: one-variable-per-run
evidence: raw-events-percentiles-space-cpu-errors
stop: timeout-or-explicit-safety-limit

验收把预期和可推翻条件写在运行前：

Given identical roots, object graph, heap limit, threads, and seed
When one collector policy or workload variable changes
Then safety and progress invariants still hold
And target gains do not hide CPU, space, latency, or failure regressions

对并发算法，枚举变异器可能执行的读、写、分配、发布、批量复制、原生调用和线程退出。屏障完整性要逐项核对，阶段切换前冲刷线程本地日志；终止检测不仅检查全局队列为空，还要证明没有本地或飞行中的工作。对实时算法，还要把每步最大成本和不可中断区间写进预算。

定量模型与边界

回收占比与有效吞吐必须共用同一墙钟窗口：

Rgc=Tgc/Twall,qquadThroughput=Workmutator/TwallR_{gc}=T_{gc}/T_{wall}, qquad Throughput=Work_{mutator}/T_{wall}

追踪与复制工作至少受根、扫描边和存活字节控制：

Wtrace≈Nroots+Nedgesscanned,qquadWcopy≈BytesliveW_{trace} \approx N_{roots}+N_{edges scanned}, qquad W_{copy} \approx Bytes_{live}

空间安全要求回收完成前仍有足够余量吸收分配和疏散：

ReservegeAllocationRateimesTcycle+Bytesevacuated+MetadataReserve ge AllocationRate imes T_{cycle}+Bytes_{evacuated}+Metadata

实时与低延迟比较还应明确一个观测窗内留给变异器的最低份额：

Umutator=Tmutator/Twall=1−RgcU_{mutator}=T_{mutator}/T_{wall}=1-R_{gc}

公式用于明确变量，不替代测量。每个数字注明单位、堆上限、对象分布、线程数、预热、重复次数、分位数和置信范围。平均暂停、最大暂停和服务端请求尾延迟回答不同问题；一次运行的最小值不能作为容量承诺。

本章回顾

本页从“第1章 引言”覆盖到“索引”，共22个正式节点。闭环是先建立对象图与不变式，再执行“从一个对象图出发，选择回收算法、分配器、分区、屏障和调度策略，并逐层写出不变式与失败条件”，最后用359节点覆盖矩阵、算法谱系、运行时接口图、全书实验与证据清单证明结论可重放、可推翻、可回滚。若仍出现“把437页的中文版压缩成标记、复制、整理、分代、并发和现代GC几个概览页”，应补做失败交错和空间余量实验，而不是继续叠加参数。

练习

问题 1：《垃圾回收算法手册》权威学习地图覆盖哪些正式节点，核心证明主线是什么？

问题 2：怎样为《垃圾回收算法手册》权威学习地图建立最小可执行实验？

问题 3：为什么“把437页的中文版压缩成标记、复制、整理、分代、并发和现代GC几个概览页”会破坏结论？

问题 4：如何为《垃圾回收算法手册》权威学习地图设计反证？

问题 5：把该章算法迁移到另一语言或运行时时，哪些合同必须重建？

问题 6：达到独立交接标准需要哪些证据？

名词解释

本章出现的专业名词，用大白话再讲一遍。

对象图
以对象为顶点、引用为有向边并显式标出根的运行时状态模型。
根集合
运行时承诺可由栈、寄存器、全局、句柄或原生接口直接访问的入口集合。
变异器
执行应用逻辑并改变对象图的程序线程。
空间余量
回收完成前承接继续分配、复制与元数据所需的保留空间。
线性化点
一个并发操作可被视为瞬间生效、并与其他操作形成合法顺序的时刻。

下一页：第1章 引言 →

讨论

评论区加载中…