PHP線程的內存回收問題

2024-05-04 23:47:43

字體：大中小

來源：轉載

供稿：網友

當一個PHP線程結束時，當前占用的所有內存空間都會被銷毀。那么如果這個線程不結束，怎么回收內存呢？

refcount：引用技術器，可以理解為指向該個容器的指針個數吧。

is_ref：是否被引用（只可能是0或者1）

賦值的流程：

<?php$a = 'aa';xdebug_debug_zval(a); //(refcount=1, is_ref=0),string 'aa' (length=6)$b = $a; //以下的兩個其實是一個變量容器xdebug_debug_zval(a); //(refcount=2, is_ref=0),string 'aa' (length=6)xdebug_debug_zval(b); //(refcount=2, is_ref=0),string 'aa' (length=6)unset($b); //對變量容器 refcount 減1xdebug_debug_zval(a); //(refcount=1, is_ref=0),string 'aa' (length=6)xdebug_debug_zval(b); //b: no such symbol b變量被銷毀，指向被斷掉，如果對應容器的引用技術為零，那么該塊兒內存被回收$b = $a;$b = 'bb';xdebug_debug_zval(a); //(refcount=1, is_ref=0),string 'aa' (length=6)xdebug_debug_zval(b); //(refcount=1, is_ref=0),string 'aa' (length=6) 重新申請一個變量容器存儲b，a的變量容器引用減1

引用的流程：

<?php$a = 'aa';xdebug_debug_zval('a'); //(refcount=1, is_ref=0),string 'aa' (length=2)$b = & $a;//變量容器的引用技術加1，引用標記置為1xdebug_debug_zval('a'); //(refcount=2, is_ref=1),string 'aa' (length=2)xdebug_debug_zval('b'); //(refcount=2, is_ref=1),string 'aa' (length=2)$b = '123'; //php會發現，該容器變量是引用（is_ref），所以容器變量不用像賦值那樣再申請一個xdebug_debug_zval('a'); //(refcount=2, is_ref=1),string '123' (length=2)xdebug_debug_zval('b'); //(refcount=2, is_ref=1),string '123' (length=2)unset($b);//變量容器應用計數減1，引用為零xdebug_debug_zval('a'); //(refcount=1, is_ref=0),string '123' (length=2)xdebug_debug_zval('b'); // b: no such symbol

那如果多次引用，unset掉一個，is_ref是否會被置為零，那樣bug不就出現了么？變量容器還是引用啊。那么我們來看看：

<?php$a = 'aa';$b = &$a;$c = &$a;//可以看到引用refCount是3，is_ref永遠是1xdebug_debug_zval('a'); //(refcount=3, is_ref=1),string 'aa' (length=2)xdebug_debug_zval('b'); //(refcount=3, is_ref=1),string 'aa' (length=2)xdebug_debug_zval('c'); //(refcount=3, is_ref=1),string 'aa' (length=2)unset($b);//我們期待的bug沒有出現,只是refcount減1，is_ref還是1xdebug_debug_zval('a'); //(refcount=2, is_ref=1),string 'aa' (length=2)xdebug_debug_zval('b'); // b: no such symbolxdebug_debug_zval('c'); //(refcount=2, is_ref=1),string 'aa' (length=2)//那php它怎么知道這個容器還有引用，畢竟is_ref仍然是1，不能計數，那么現在refcount就起作用了，是它告訴php，該變量有幾個引用，但問題又來了，如果我干點壞事，在引用的時候，又賦值，它會不會有bug$e = $a;//我們看到期望的bug還是沒出現，這時候再賦值，就不像直接賦值那么簡單refcount加1了，而是申請了一個新的變量容器xdebug_debug_zval('a'); //(refcount=2, is_ref=1),string 'aa' (length=2)xdebug_debug_zval('e'); //(refcount=1, is_ref=0),string 'aa' (length=2)

unset和賦值null都能回收變量么？很多人都錯認為，這兩個都能回收變量空間，其實錯了，null只是把變量占用的空間變小了，從回收上來說，該容器依然存在。

<?php$a = 'aa';$b = $a;$b = null;//又申請了一個變量容器xdebug_debug_zval('a'); //(refcount=1, is_ref=0),string 'aa' (length=2)xdebug_debug_zval('b'); //(refcount=1, is_ref=0),null 變量空間并沒被回收unset($b);//這時候才釋放了b變量容器的空間xdebug_debug_zval('a'); //(refcount=1, is_ref=0),string 'aa' (length=2)xdebug_debug_zval('b'); //b: no such symbol

總結

1. 垃圾回收的時機

PHP中，引用計數為0，則內存立刻釋放。也就是說，不存在環狀引用的變量，離開變量的作用域，內存被立刻釋放。環狀引用檢測則是在滿足一定條件下觸發，所以在上面的例子中，會看到使用的內存有大幅度的波動。也可以通過 gc_collect_cycles 函數來主動進行環狀引用檢測。

2. &符號的影響

顯式引用一個變量，會增加該內存的引用計數：

$a = "something";
$b = &$a;
此時unset($a), 但是仍有$b指向該內存區域的引用，內存不會釋放。

3. unset函數的影響

unset只是斷開一個變量到一塊內存區域的連接，同時將該內存區域的引用計數-1；在上面的例子中，循環體內部，$a=new A(); unset($a);并不會將$a的引用計數減到零；

4. = null 操作的影響；

$a = null 是直接將$a 指向的數據結構置空，同時將其引用計數歸0。

5. 腳本執行結束的影響

腳本執行結束，該腳本中使用的所有內存都會被釋放，不論是否有引用環。