大話PHP的垃圾回收機制

1. PHP能夠自動進行內存管理,清除不須要的對象,主要使用了引用計數

2. 在zval結構體中定義了ref_count和is_ref , ref_count是引用計數 ,標識此zval被多少個變量引用 , 爲0時會被銷燬

is_ref標識是否使用的 &取地址符強制引用

1. 爲了解決循環引用內存泄露問題 , 使用同步週期回收算法

好比當數組或對象循環的引用自身 , unset掉數組的時候 , 當refcount-1後還大於0的 , 就會被當成疑似垃圾 , 會進行遍歷 ,而且模擬的刪除一次refcount-1若是是0就刪除 ,若是不是0就恢復

頑固垃圾的產生過程

<?php
    $a = "new string";
?>複製代碼

代碼中，$a變量內部存儲信息爲

a: (refcount_gc=1, is_ref_gc=0)='new string'複製代碼

當把a賦值給另一個變量的時候，a對應的zval的refcount_gc會加1

<?php
    $a = "new string";
    $b = $a;
?>複製代碼

此時a和b變量對應的內部存儲信息爲,a和b同時指向一個字符串"new string" ,它的refcount變成2

a,b: (refcount_gc=2, is_ref=0)='new string'複製代碼

當用unset刪除$b變量時，"new string" 的refcount_gc會減1變成1。

<?php
    $a = "new string"; //a: (refcount_gc=1, is_ref_gc=0)='new string'
    $b = $a;           //a,b: (refcount_gc=2, is_ref=0)='new string'
    unset($b);         //a: (refcount_gc=1, is_ref=0)='new string'
?>複製代碼

對於普通的變量來講，這一切很正常，可是在複合類型變量（數組和對象）中，會發生比較有意思的事情：

<?php
    $a = array('meaning' => 'life', 'number' => 42);
?>複製代碼

$a內部存儲信息爲:

a: (refcount=1, is_ref=0)=array (
'meaning' => (refcount=1, is_ref=0)='life',
'number' => (refcount=1, is_ref=0)=42
)複製代碼

數組變量自己($a)在引擎內部其實是一個哈希表，這張表中有兩個zval項 meaning和number，因此實際上那一行代碼中一共生成了3個zval,這3個zval都遵循變量的引用和計數原則，用圖來表示:

下面在$a中添加一個元素，並將現有的一個元素的值賦給新的元素:

<?php
    $a = array('meaning' => 'life', 'number' => 42);
    $a['name'] = $a['meaning'];
?>複製代碼

那麼$a的內部存儲爲 , "life" 的ref_count變成2 , 42的ref_count是1:

a: (refcount=1, is_ref=0)=array (
'meaning' => (refcount=2, is_ref=0)='life',
'number' => (refcount=1, is_ref=0)=42,
'name' => (refcount=2, is_ref=0)='life'
)複製代碼

若是將數組的引用賦值給數組中的一個元素，有意思的事情就會發生：

<?php
    $a = array('one');
    $a[] = &$a;
?>複製代碼

這樣a數組就有兩個元素，一個索引爲0，值爲字符one，另一個索引爲1，爲a自身的引用，內部存儲以下:

a: (refcount=2, is_ref=1)=array (
0 => (refcount=1, is_ref=0)='one',
1 => (refcount=2, is_ref=1)=…
)複製代碼

array這個zval的ref_count是2 , 是一個環形引用 這時對$a進行unset,那麼a會從符號表中刪除，同時‘a指向的zval的refcount_gc`減小1.

<?php
$a = array('one');
$a[] = &$a;
unset($a);
?>複製代碼

那麼問題就產生了，a已經不在符號表中，用戶沒法再訪問此變量，可是a以前指向的zval的refcount_gc變爲1而不是0，所以不能被回收，從而產生內存泄露，新的GC要作的工做就是清理此類垃圾。

爲了解決循環引用內存泄露問題 , 使用同步週期回收算法 , 這種ref_count減1後還大於0的會被做爲疑似垃圾

好比當數組或對象循環的引用自身 , unset掉數組的時候 , 當refcount-1後還大於0的 , 會進行遍歷 ,而且模擬的刪除一次refcount-1若是是0就刪除 ,若是不是0就恢復。

以上內容但願幫助到你們，不少PHPer在進階的時候總會遇到一些問題和瓶頸，業務代碼寫多了沒有方向感，不知道該從那裏入手去提高，對此我整理了一些資料，包括但不限於：分佈式架構、高可擴展、高性能、高併發、服務器性能調優、TP6，laravel，Redis，Swoole、Swoft、Kafka、Mysql優化、shell腳本、Docker、微服務、Nginx等多個知識點高級進階乾貨須要的能夠免費分享給你們