php7垃圾回收機(jī)制是什么

小編給大家分享一下php7垃圾回收機(jī)制是什么，相信大部分人都還不怎么了解，因此分享這篇文章給大家參考一下，希望大家閱讀完這篇文章后大有收獲，下面讓我們一起去了解一下吧！

php7 垃圾回收機(jī)制詳解

筆者前幾天對(duì)這個(gè)話題感興趣，于是到網(wǎng)上一搜，幾乎都是 php 5的垃圾回收機(jī)制，雖然 php5 到 php7 GC部分做出的改動(dòng)較小，但我覺(jué)得還是有必要單獨(dú)做一遍博文出來(lái)。 不特意說(shuō)明的話 php 版本為 7.2

在php中的變量占用的空間，是不需要我們手動(dòng)回收的。內(nèi)核幫我們處理了這一部分的工作。相比C，這大大方便了我們的操作。

本篇主要講解 變量的 GC機(jī)制

在了解我們 php GC 時(shí)，我覺(jué)得我有必要介紹一下們的 php 的變量在底層的實(shí)現(xiàn)。

zval 的結(jié)構(gòu)

// php 變量對(duì)于的c結(jié)構(gòu)體
struct _zval_struct {
    zend_value value;
    union {
       ……
    } u1;
    union {
        ……
    } u2;
};

由于主要講垃圾回收，所以在這里簡(jiǎn)單介紹下 u1 u2 聯(lián)合體的功能

u1 結(jié)構(gòu)比較復(fù)雜，我認(rèn)為主要是用于識(shí)別變量類(lèi)型

u2 這里面大多都是輔助字段，變量?jī)?nèi)部功能的實(shí)現(xiàn)、提升緩存友好性等等

接下來(lái)是我們的主角

zend_value 它也是結(jié)構(gòu)體中內(nèi)嵌的一個(gè)聯(lián)合體

typedef union _zend_value {
    zend_long         lval;//整形
    double            dval;//浮點(diǎn)型
    zend_refcounted  *counted;//獲取不同類(lèi)型的gc頭部
    zend_string      *str;//string字符串
    zend_array       *arr;//數(shù)組
    zend_object      *obj;//對(duì)象
    zend_resource    *res;//資源
    zend_reference   *ref;//是否是引用類(lèi)型
  
    // 忽略下面的結(jié)構(gòu)，與我們討論無(wú)關(guān)
    zend_ast_ref     *ast;
    zval             *zv;
    void             *ptr;
    zend_class_entry *ce;
    zend_function    *func;
    struct {
        ZEND_ENDIAN_LOHI(
            uint32_t w1,
            uint32_t w2)
    } ww;
} zend_value;

在 zval的 value中就記錄了引用計(jì)數(shù)zend_refcounted *counted這個(gè)類(lèi)型，我們的垃圾回收機(jī)制也是基于此的。

typedef struct _zend_refcounted_h {
    uint32_t         refcount;          /* reference counter 32-bit */
    union {
        struct {
            ZEND_ENDIAN_LOHI_3(
                zend_uchar    type,
                zend_uchar    flags,    /* used for strings & objects */
                uint16_t      gc_info)  /* keeps GC root number (or 0) and color */
        } v;
        uint32_t type_info;
    } u;
} zend_refcounted_h;

所有的復(fù)雜類(lèi)型的定義, 開(kāi)始的時(shí)候都是zend_refcounted_h結(jié)構(gòu), 這個(gè)結(jié)構(gòu)里除了引用計(jì)數(shù)以外, 還有GC相關(guān)的結(jié)構(gòu). 從而在做GC回收的時(shí)候, GC不需要關(guān)心具體類(lèi)型是什么, 所有的它都可以當(dāng)做zend_refcounted*結(jié)構(gòu)來(lái)處理.

變量的自動(dòng)回收

在php中 除了 array和object類(lèi)型的變量，其余大部分是自動(dòng)回收

php 普通變量的回收和 該變量的引用次數(shù)有關(guān)。

官方的例子

$a = 1;
$b = $a;
xdebug_debug_zval('a');
$a =10;
xdebug_debug_zval('a');
unset($a);
xdebug_debug_zval('a');

結(jié)果

a:
(refcount=2, is_ref=0),int 1
a:
(refcount=1, is_ref=0),int 10
a: no such symbol

可以看到 當(dāng)$a =10 的時(shí)候 涉及到 php的COW（copy-on-write）機(jī)制，$b 會(huì)復(fù)制一份原先的 $a ，解除了他們之間的引用關(guān)系，所以a的引用次數(shù)（refcount）減少為1。

然后我們uset($a)之后 a的引用次數(shù)變?yōu)?。這就會(huì)被認(rèn)為是垃圾變量，釋放空間。

在舉一個(gè)例子

$a = [1];
$a[1] = &$a;
unset($a);

在 unset($a) 之前 $a 的類(lèi)型為引用類(lèi)型

a:
(refcount=2, is_ref=1),
array (size=2)
  0 => (refcount=1, is_ref=0),int 1
  1 => (refcount=2, is_ref=1),
    &array<

unset($a) 之后，就變成這樣

這時(shí)候，我們unset操作時(shí)refcount 由2變?yōu)?,因?yàn)橛袃?nèi)部引用指向 $a，所以在外部 其所占用的空間并不會(huì)被銷(xiāo)毀。

然后我們的外部引用已經(jīng)被中斷了，我們也不能使用它。它就成了一個(gè)“孤兒”，在c語(yǔ)言中叫做野指針。在php中叫做循環(huán)引用。內(nèi)存泄漏。想要銷(xiāo)毀變量的話，只能等 php腳本結(jié)束。

循環(huán)引用造成的內(nèi)存泄漏

為了清理這些垃圾，引入了兩個(gè)準(zhǔn)則

● 如果引用計(jì)數(shù)減少到零，所在變量容器將被清除(free)，不屬于垃圾

● 如果一個(gè)zval 的引用計(jì)數(shù)減少后還大于0，那么它會(huì)進(jìn)入垃圾周期。其次，在一個(gè)垃圾周期中，通過(guò)檢查引用計(jì)數(shù)是否減1，并且檢查哪些變量容器的引用次數(shù)是零，來(lái)發(fā)現(xiàn)哪部分是垃圾。

循環(huán)引用基本上只會(huì)出現(xiàn)在 數(shù)組和對(duì)象中，對(duì)象是因?yàn)樗谋旧砭褪且?/p>

object和array的回收過(guò)程

php7的垃圾回收包含兩個(gè)部分，一個(gè)是垃圾收集器，一個(gè)是垃圾回收算法。

垃圾收集器，把剛剛提到的，可能是垃圾的元素收集到回收池中 也就是把變量的 zend_refcount的信息 放在回收池中。 當(dāng)回收池的值達(dá)到一定額度了，會(huì)進(jìn)行統(tǒng)一處理。

處理的過(guò)程呢，就比較簡(jiǎn)單。

遍歷回收池中的每一個(gè)變量，根據(jù)每一個(gè)變量，再遍歷每一個(gè)成員，如果成員還有嵌套的話繼續(xù)遍歷。然后把所有成員的 做模擬的 refcount -1。如果此時(shí)外部的變量的 引用次數(shù)為 0 。那么可以視為垃圾，清楚。如果大于0，那么恢復(fù)引用次數(shù)，并從垃圾回收池中取出。

垃圾回收的原理

如果你這個(gè)變量不是垃圾，那么它的所有成員變量的引用減一之后，必然不會(huì)是總變量的引用為0。

例子

說(shuō)的比較死，不如舉個(gè)例子。剛刷 sf.gg 的時(shí)候看到一道關(guān)于 GC 的題，我回答了一波。關(guān)于GC垃圾回收機(jī)制

題目如下

//我的回答
1、只要zval.value的refcount減一，然后缺其refcount的值不為0那么它就可能是垃圾，進(jìn)入垃圾周期。
2、進(jìn)入垃圾池遍歷所有成員，包括其嵌套的成員，都對(duì)其做 refcount-1的操作，看外部的引用是否為0。
那么對(duì)于 題主的問(wèn)題來(lái)說(shuō)，
首先，你要想$a為垃圾，一定要先對(duì) unset($a)操作，那么此時(shí) $a的 refcount = 2
對(duì)于$a[0] refcount-1 不影響外部的$a，
$a[1] refcount-1 ，此時(shí) $a的 refount=1
$a[2] refcount-1 ,此時(shí) $a 的 refount=0 
模擬減結(jié)束，那么此變量被當(dāng)成垃圾回收。

以上是php7垃圾回收機(jī)制是什么的所有內(nèi)容，感謝各位的閱讀！相信大家都有了一定的了解，希望分享的內(nèi)容對(duì)大家有所幫助，如果還想學(xué)習(xí)更多知識(shí)，歡迎關(guān)注億速云行業(yè)資訊頻道！