在 PHP 开发中，内存管理往往被开发者忽视，直到应用出现内存泄漏或性能瓶颈时才引起关注。PHP 的垃圾回收机制（Garbage Collection，GC）是 Zend 引擎中一项精妙的设计，它通过引用计数与循环引用检测相结合的方式，实现了自动内存管理。本文将深入剖析 PHP 垃圾回收中循环引用检测的标记清除算法实现，揭示其底层原理与工程实践。
引用计数：PHP 内存管理的基石
PHP 采用引用计数（Reference Counting）作为主要的内存管理手段。每个 zval 结构体中包含一个 refcount__gc 字段，记录当前变量被引用的次数。当变量被赋值或传递时，引用计数递增；当变量离开作用域或被 unset 时，引用计数递减。一旦引用计数归零，Zend 引擎立即释放该变量占用的内存。
这种机制简单高效，能够及时回收大部分不再使用的内存。然而，引用计数存在一个致命缺陷：无法处理循环引用。例如：
$a = [];
$b = [];
$a['b'] = $b;
$b['a'] = $a;
unset($a, $b);
此时，$a 和 $b 的引用计数都不为零，但它们已经无法被外部访问，成为“孤岛”内存。这类内存无法通过引用计数回收，必须依赖循环引用检测机制。
根缓冲区：循环引用检测的触发入口
PHP 的垃圾回收器并非时刻运行，而是采用按需触发策略。Zend 引擎维护一个根缓冲区（Root Buffer），当潜在的可疑变量（如数组、对象）被创建时，如果其引用计数减少但未归零，就会被加入根缓冲区。根缓冲区默认大小为 10,000 个根节点，当缓冲区满时，GC 算法被激活。
这种设计避免了频繁的 GC 扫描带来的性能开销，同时确保循环引用不会无限累积。
标记清除算法：循环引用检测的核心
PHP 的循环引用检测采用标记清除（Mark and Clear）算法的变体，具体分为四个阶段：标记根节点、扫描根节点、清除白色节点、恢复根缓冲区。
第一阶段：标记根节点
GC 首先遍历根缓冲区中的所有根节点，将它们标记为紫色（GC_PURPLE），并加入一个待扫描队列。紫色表示“疑似垃圾，尚未确认”。
第二阶段：扫描根节点
这是算法最精妙的部分。GC 对每个紫色节点执行深度优先扫描：
- 将当前节点标记为灰色（GC_GREY），表示正在扫描。
- 遍历该节点的所有子节点（如数组元素、对象属性）。
- 对每个子节点，如果其引用计数大于 1，说明存在外部引用，将该子节点的引用计数减 1，并标记为灰色加入扫描队列。
- 如果子节点的引用计数减 1 后变为 0，说明它仅被当前节点引用，标记为黑色（GC_BLACK），表示不是垃圾。
扫描完成后，如果某个节点的引用计数仍大于 0，说明它被外部引用，不是垃圾，标记为黑色。如果引用计数为 0，则确认为垃圾，保持紫色或标记为白色。
第三阶段：清除白色节点
GC 遍历所有标记为白色的节点，这些节点确认是循环引用垃圾。Zend 引擎调用它们的析构函数（如果有），然后释放内存。
第四阶段：恢复根缓冲区
对于标记为黑色的节点，GC 需要恢复它们在扫描阶段被减去的引用计数，确保它们继续正常存活。最后，清空根缓冲区，等待下一轮触发。
算法复杂度与性能优化
PHP 的 GC 算法时间复杂度为 O(n)，其中 n 是根缓冲区中的节点数。由于只扫描疑似循环引用的变量，而非全部内存，实际性能开销极低。此外，PHP 7 之后对 zval 结构进行了大幅优化，引用计数字段从 32 位缩减为 32 位但结构更紧凑，进一步降低了内存占用。
值得注意的是，GC 并非万能。对于大型对象图，扫描可能带来短暂停顿。开发者可以通过 gc_disable() 在性能敏感场景临时关闭 GC，或通过 gc_collect_cycles() 手动触发回收。
实战建议
- 避免不必要的循环引用：在对象设计中，尽量使用弱引用（WeakReference）打破循环。
- 及时 unset 大变量：对于不再使用的大数组或对象，显式 unset 可加速引用计数回收。
- 监控 GC 状态：使用
gc_status()查看运行次数、根缓冲区大小等指标，辅助性能调优。 - 长生命周期进程：在 Swoole、RoadRunner 等常驻内存环境中，定期调用
gc_collect_cycles()防止内存累积。
总结
PHP 的垃圾回收机制通过引用计数与标记清除算法的协同工作，在性能与内存安全之间取得了精妙平衡。根缓冲区的按需触发、紫色/灰色/黑色的三色标记、以及扫描阶段的引用计数修正，共同构成了循环引用检测的核心。理解这一机制，不仅有助于编写更高效的内存友好代码，也能在排查内存泄漏时提供清晰的方向。Zend 引擎的 GC 实现是 C 语言与算法设计的典范，值得每一位 PHP 开发者深入研读。
未经允许不得转载：任鹏个人博客 » PHP 垃圾回收算法深度解析：循环引用检测的标记清除实现
