垃圾回收机制进化史

🕐 GC 进化时间线

垃圾回收从 1958 年 Lisp 首次提出概念，到如今 ZGC 实现亚毫秒级暂停，走过了六十余年的进化之路。

🧱 第一时代：手动内存管理

在 GC 概念出现之前，程序员需要亲自管理每一块内存的分配和释放。这给了我们最大的控制权，也埋下了最多的 Bug。

代表语言：C / C++

// C: malloc / free
int* arr = (int*)malloc(100 * sizeof(int));
free(arr);  // 忘记 free → 内存泄漏
arr = NULL;  // 防止悬空指针

// C++: new / delete + RAII
auto ptr = std::make_unique<int>(42);  // 离开作用域自动释放

🔢 第二时代：引用计数 (Reference Counting)

引用计数是最直观的自动内存管理方式——每个对象记录自己被引用的次数，计数归零时立即回收。这是增量式、实时的回收方案。

代表实现

🧹 第三时代：标记-清除 & 标记-整理 & 复制回收

这是 GC 理论的三大经典支柱。它们用"追踪可达性"替代"计数"，从根本上解决了循环引用问题。

标记-清除 (Mark-Sweep)

从根集合（GC Roots）出发，递归遍历所有可达对象并标记，然后线性扫描堆，清除未标记的对象。

三种经典算法对比

👶👴 第四时代：分代回收 (Generational GC)

分代回收基于两个核心假说：弱分代假说（大多数对象朝生夕死）和强分代假说（越老的对象越不容易死）。它将堆划分为多代，针对不同代使用不同回收策略。

JVM 分代 GC 演进

V8 (JavaScript) 的 Orinoco 垃圾回收器

V8 的 GC 也采用分代设计，经历了多次迭代：

⚡ 第五时代：并发/并行 GC & 超低延迟

现代 GC 的核心追求：让用户线程几乎感觉不到 GC 的存在。并发 GC 将大部分工作与用户线程同时进行，只留极少的关键阶段需要停止世界（STW）。

ZGC — 亚毫秒级暂停的奇迹

ZGC (Z Garbage Collector) 是 JDK 15+ 的生产可用 GC，目标是：无论堆多大（16TB），停顿时间 < 1ms。

Go 的三色标记并发 GC

Go 从 1.5 开始使用三色标记-清除算法，并发执行，目标停顿 < 500µs（实际通常 < 100µs）。

🔄 循环引用问题深度解析

循环引用是内存管理中最重要的经典问题之一，也是引用计数算法的"阿喀琉斯之踵"。

图解循环引用

代码示例

// Python — 循环引用示例
class Node:
    def __init__(self):
        self.ref = None

a = Node()
b = Node()
a.ref = b          # a 引用 b → b.refcount = 2
b.ref = a          # b 引用 a → a.refcount = 2
del a              # a.refcount → 1（b 仍引用 a）
del b              # b.refcount → 1（a 仍引用 b）
# ❌ 循环引用！a 和 b 都 refcount=1，永远不归 0，内存泄漏！

// C++ shared_ptr — 同样的循环引用问题
struct Node {
    std::shared_ptr<Node> ref;
};

auto a = std::make_shared<Node>();
auto b = std::make_shared<Node>();
a->ref = b;   // b 的 use_count = 2
b->ref = a;   // a 的 use_count = 2
// a, b 离开作用域后 use_count 各减为 1
// ❌ 谁也不会析构 → 内存泄漏

各语言如何避免循环引用

🌍 主流语言的 GC 实现全景对比

没有银弹——每种语言的 GC 策略都是设计哲学、应用场景和历史演进的产物。

GC 策略选择决策树

💡 总结：GC 进化的底层逻辑

回顾六十余年的进化史，GC 的发展始终围绕一个永恒的矛盾：回收的全面性 vs 程序的响应性。