PHP的垃圾回收機制代碼實例講解
PHP可以自動進行內存管理,清除不需要的對象,主要使用瞭引用計數
在zval
結構體中定義瞭ref_count
和is_ref
, ref_count
是引用計數 ,標識此zval
被多少個變量引用 , 為0時會被銷毀
is_ref
標識是否使用的 &
取地址符強制引用
為瞭解決循環引用內存泄露問題 , 使用同步周期回收算法
比如當數組或對象循環的引用自身 , 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賦值給另外一個變量的時候, a賦值給另外一個變量的時候,a對應的zval的refcount_gc
會加1
<?php $a = "new string"; $b = $a; ?>
此時 a 和 a和 a和b變量對應的內部存儲信息為, a 和 a和 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 , 值 為 字 符 o n e , 另 外 一 個 索 引 為 1 , 為 a數組就有兩個元素,一個索引為0,值為字符one,另外一個索引為1,為 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會從符號表中刪除,同時` a會從符號表中刪除,同時‘a指向的
zval的
refcount_gc`減少1.
<?php $a = array('one'); $a[] = &$a; unset($a); ?>
那麼問題就產生瞭, a 已 經 不 在 符 號 表 中 , 用 戶 無 法 再 訪 問 此 變 量 , 但 是 a已經不在符號表中,用戶無法再訪問此變量,但是 a已經不在符號表中,用戶無法再訪問此變量,但是a之前指向的zval的refcount_gc
變為1而不是0,因此不能被回收,從而產生內存泄露,新的GC
要做的工作就是清理此類垃圾。
為瞭解決循環引用內存泄露問題 , 使用同步周期回收算法 , 這種ref_count
減1後還大於0的會被作為疑似垃圾
比如當數組或對象循環的引用自身 , unset
掉數組的時候 , 當refcount-1
後還大於0的 , 會進行遍歷 ,並且模擬的刪除一次refcount-1
如果是0就刪除 ,如果不是0就恢復。
到此這篇關於PHP的垃圾回收機制代碼實例講解的文章就介紹到這瞭,更多相關PHP的垃圾回收機制內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet!