淺談PHP源碼三十三：PHP5.3新增加的垃圾回收機制(Garbage Collection)基礎
PHP5.3中新增加了垃圾回收機制，據說很先進，據說引誘了我去看看其先進的實現。
官方說明文檔請猛擊Garbage Collection
中文版地址：http://docs.php.net/manual/zh/features.gc.php
【垃圾回收機制的嵌入方式】
zend_gc.h文件在zend.h的749行被引用：#include “zend_gc.h”
從而替換覆蓋了在237行引用的zend_alloc.h文件中的ALLOC_ZVAL等宏
zend/zend_gc.h文件的202行開始

 /* The following macroses override macroses from zend_alloc.h */#undef ALLOC_ZVAL#define ALLOC_ZVAL(z) /do {/(z) = (zval*)emalloc(sizeof(zval_gc_info));/GC_ZVAL_INIT(z);/} while (0)

ALLOC_ZVAL宏在zend_alloc.h中的定義是分配一個zval結構的內存空間。新的ALLOC_ZVAL宏分配了一個zval_gc_info結構的宏。zval_gc_info的結構如下：
zend/zend_gc.h文件的91行開始：

 typedef struct _zval_gc_info {zval z;union {gc_root_buffer *buffered;struct _zval_gc_info *next;} u;} zval_gc_info;

zval_gc_info的第一個成員為zval結構，這就確保其和以zval變量分配的內存的開始對齊，從而在zval_gc_info類型指針的強制轉換時，其可以作為zval使用。關于gc_root_buffer等將在后面的結構和實現時介紹，它定義的PHP垃圾回收機制的緩存結構。GC_ZVAL_INIT用來初始化替代了zval的zval_gc_info，它會把zval_gc_info中的成員u的buffered字段設置成NULL，此字段僅在將其放入垃圾回收緩沖區時才會有值，否則會一直是NULL。

由于PHP中所有的變量都是以zval變量的形式存在，這里以zval_gc_info替換zval，從而成功實現垃圾收集機制在原有系統中的集成。
這個有點面向對象中多態的感覺。

【垃圾回收機制的存儲方式】
結點結構：

 typedef struct _gc_root_buffer {struct _gc_root_buffer *prev;/* double-linked list */struct _gc_root_buffer *next;zend_object_handle handle;/* must be 0 for zval */union {zval *pz;zend_object_handlers *handlers;} u;} gc_root_buffer;

很明顯（見注釋，雖然PHP中的注釋很少，但是有些純粹是糾結的注釋），這是一個雙向鏈表。

在聯合體中的pz變量很明顯就是之前定義的多態的zval_gc_info結構，于是其在鏈表中的當前結點指針可以通過((zval_gc_info*)(pz))- u.buffered獲取，不過在看其源碼中有多處使用到這個調用方式，為何不另起一個宏呢？難道是怕宏太多，不是啊，PHP就是以宏多著稱，比這個宏嵌套多的宏海了去了。不懂。另外handle等結構是特別針對對象變量的。

緩沖區是話在全局變量中的，和其它模塊的全局變量一樣，gc也有其自己的全局變量訪問宏 GC_G(v)，同樣對于全局變量訪問宏在是否ZTS下有不同的實現。
在zend_gc.h中定義的全局變量如下:

typedef struct _zend_gc_globals {zend_bool gc_enabled;/* 是否開啟垃圾收集機制 */zend_bool gc_active;/* 是否正在進行 */ gc_root_buffer *buf;/* 預分配的緩沖區數組，默認為10000（preallocated arrays of buffers） */gc_root_buffer roots;/* 列表的根結點（list of possible roots of cycles） */gc_root_buffer *unused;/* 沒有使用過的緩沖區列表(list of unused buffers) */gc_root_buffer *first_unused;/* 指向第一個沒有使用過的緩沖區結點（pointer to first unused buffer） */gc_root_buffer *last_unused;/* 指向最后一個沒有使用過的緩沖區結點，此處為標記結束用(pointer to last unused buffer) */ zval_gc_info *zval_to_free;/* 將要釋放的zval變量的臨時列表（temporaryt list of zvals to free） */zval_gc_info *free_list;/* 臨時變量，需要釋放的列表開頭 */zval_gc_info *next_to_free;/* 臨時變量，下一個將要釋放的變量位置*/ zend_uint gc_runs;/* gc運行的次數統計 */zend_uint collected; /* gc中垃圾的個數 */ // 省略...

【垃圾回收機制中的顏色標記】

 #define GC_COLOR 0x03 #define GC_BLACK 0x00#define GC_WHITE 0x01#define GC_GREY 0x02#define GC_PURPLE 0x03 #define GC_ADDRESS(v) /((gc_root_buffer*)(((zend_uintptr_t)(v)) ~GC_COLOR))#define GC_SET_ADDRESS(v, a) /(v) = ((gc_root_buffer*)((((zend_uintptr_t)(v)) GC_COLOR) | ((zend_uintptr_t)(a))))#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_BLACK(v) /(v) = ((gc_root_buffer*)(((zend_uintptr_t)(v)) ~GC_COLOR))#define GC_SET_PURPLE(v) /(v) = ((gc_root_buffer*)(((zend_uintptr_t)(v)) | GC_PURPLE))

在PHP的內存管理中我們也有看到類似的以最后位作為某種類型的標記方式。

這里以內存分配的最后兩位作為整個結構的顏色標記。其中
白色表示垃圾
紫色表示已放入緩沖區
灰色表示已經進行了一次refcount的減一操作
黑色是默認顏色，正常

【zval定義的改變】
PHP3.0版本 在zend/zend.h文件中，其定義如下：

struct _zval_struct {/* Variable information */zvalue_value value;/* value */zend_uint refcount__gc;zend_uchar type;/* active type */zend_uchar is_ref__gc;};

在php3.0之前的版本，如php5.2.9版本，在zend/zend.h文件中，其定義如下：

struct _zval_struct {/* Variable information */zvalue_value value;/* value */zend_uint refcount;zend_uchar type;/* active type */zend_uchar is_ref;};

以上就是本文的全部內容，希望對大家的學習有所幫助，更多相關內容請關注PHP ！

相關推薦：

淺談PHP源碼三十二：PHP內存池中的emalloc/efree層與堆(heap)層

淺談PHP源碼三十一：PHP內存池中的堆(heap)層基礎

淺談PHP源碼三十：PHP內存池中的存儲層

以上就是淺談PHP源碼三十三：PHP5.3新增加的垃圾回收機制(Garbage Collection)基礎的詳細內容，PHP教程

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播更多信息之目的，如作者信息標記有誤，請第一時間聯系我們修改或刪除，多謝。