PHP 5.3 垃圾回收機制深度解析：同步週期回收算法與 zval_gc_info 結構

PHP 5.3 引入 **同步週期回收** 算法，解決引用計數無法處理的循環引用記憶體洩漏。本文從原始碼層面剖析 zval_gc_info 結構、GC 根緩衝區、四色標記法、gc_collect_cycles() 執行流程，並說明配置與效能調優。

背景：引用計數的缺陷

<?php
$a = []; $a[] = &$a; // 陣列包含自己（循環引用）
unset($a); // refcount 從 2 降為 1，不為 0，內存不釋放 → 洩漏

PHP 5.2 及以前：請求結束時統一釋放，長運行 CLI 腳本會無限增長記憶體。

核心資料結構變更

1. zval 結構擴展

// PHP 5.3 前
struct _zval_struct {
    zvalue_value value;
    zend_uint refcount;
    zend_uchar type;
    zend_uchar is_ref;
};

// PHP 5.3+ 新增 __gc 後綴欄位
struct _zval_struct {
    zvalue_value value;
    zend_uint refcount__gc;   // 重命名，供 GC 讀寫
    zend_uchar type;
    zend_uchar is_ref__gc;    // 重命名
};

2. GC 專用結構：zval_gc_info

typedef struct _zval_gc_info {
    zval z;                    // 嵌入原 zval，保證記憶體對齊，可直接強轉
    union {
        gc_root_buffer *buffered; // 在根緩衝區中的節點指標
        struct _zval_gc_info *next; // 空閒鏈表下一節點
    } u;
} zval_gc_info;

• 所有變數分配改為 sizeof(zval_gc_info)，而非 sizeof(zval)
• ALLOC_ZVAL 宏重定義：分配後呼叫 GC_ZVAL_INIT(z) 初始化 u.buffered = NULL

3. GC 全域狀態

struct _zend_gc_globals {
    zend_bool gc_enabled;           // 是否啟用
    zend_bool gc_active;            // 是否正在執行 GC
    gc_root_buffer *buf;            // 預分配緩衝區陣列 (預設 10,000)
    gc_root_buffer roots;           // 根節點雙向鏈表頭
    gc_root_buffer *unused;         // 空閒節點鏈表
    gc_root_buffer *first_unused;   // 首個空閒節點
    gc_root_buffer *last_unused;    // 末尾標記
    zval_gc_info *zval_to_free;     // 待釋放 zval 臨時鏈表
    zval_gc_info *free_list;
    zval_gc_info *next_to_free;
    zend_uint gc_runs;              // GC 執行次數統計
    zend_uint collected;            // 回收物件數統計
};

四色標記法

位元操作巨集：

#define GC_COLOR 0x03
#define GC_GET_COLOR(v) (((zend_uintptr_t)(v)) & GC_COLOR)
#define GC_SET_COLOR(v, c) (v) = ((gc_root_buffer*)((((zend_uintptr_t)(v)) & ~GC_COLOR) | (c)))
#define GC_SET_PURPLE(v) GC_SET_COLOR(v, GC_PURPLE)

GC 觸發流程

1. 變數銷毀：unset() → zval_ptr_dtor() → Z_DELREF_PP() 遞減 refcount
2. refcount 歸零：直接釋放（zval_dtor + efree）
3. refcount > 0：呼叫 GC_ZVAL_CHECK_POSSIBLE_ROOT() → gc_zval_possible_root()
4. 放入根緩衝區：標記紫色、加入雙向鏈表、root_buf_length++
5. 緩衝區滿 (10,000)：自動觸發 gc_collect_cycles()
6. 手動觸發：gc_collect_cycles() 可隨時呼叫

gc_collect_cycles() 核心算法（三步驟）

// 簡化版 zend_gc.c
void gc_collect_cycles() {
    // 步驟 A: 標記根節點為灰色，遞減 refcount (DFS)
    gc_mark_roots(); // 第 628 行

    // 步驟 B: 掃描根緩衝區，refcount == 0 標白，>0 恢復 refcount 標黑 (DFS)
    gc_scan_roots(); // 第 629 行

    // 步驟 C: 遍歷根緩衝區，移除節點，釋放白色標記的 zval
    gc_collect_roots(); // 第 630 行
    //   → 白色節點加入 zval_to_free 鏈表
    //   → 最後統一釋放
}

詳細邏輯

• 步驟 A (Mark)：從每個根節點 DFS 遍歷所有可達 zval，每個 zval 的 refcount -1，標記灰色防止重複遞減
• 步驟 B (Scan)：再次 DFS，若 refcount == 0 → 標白（垃圾）；若 > 0 → 恢復 refcount (+1)，標黑（非垃圾，有外部引用）
• 步驟 C (Collect)：遍歷根緩衝區移除所有節點，白色節點加入 zval_to_free，最後批次 zval_dtor() + efree()

配置與控制

; php.ini
zend.enable_gc = 1      ; 預設開啟
; zend.enable_gc = 0    ; 關閉 GC（不建議，除非極度效能敏感且確無循環引用）

; 運行時控制
gc_enable();   // 開啟
gc_disable();  // 關閉
gc_collect_cycles(); // 強制執行一次週期回收，回傳回收物件數

效能影響與調優

PHP 7/8 演進

• PHP 7.0：zval 不再分離分配，改為內嵌於 Bucket/zend_array，GC 邏輯大幅簡化、效能提升
• PHP 7.3+：新增 gc_status() 回傳 ['runs'=>..., 'collected'=>..., 'threshold'=>..., 'roots'=>...]
• PHP 8.0：libxml_disable_entity_loader 預設關閉、gc_collect_cycles() 回傳型別改為 int

最佳實踐

1. 保持啟用：除非極度確定無循環引用（如純函數式、無物件圖），否則勿關閉
2. 主動觸發：長運行腳本（Worker、Queue Consumer、爬蟲）在主迴圈適當位置呼叫 gc_collect_cycles()
3. 避免大循環引用：觀察者模式用 SplObjectStorage + 弱引用、快取用 WeakMap (PHP 8.0+)、父子雙向引用在銷毀時手動斷開
4. 監控指標：gc_runs 急增、collected 異常 → 檢查程式碼新增循環引用

理解 GC 內部機制，不只是為了面試，更是為了在記憶體洩漏發生時能精準定位、在高併發長運行服務中做正確的效能權衡。PHP 5.3 的同步週期回收算法，是 PHP 邁向企業級長運行語言的關鍵里程碑。