您好,登錄后才能下訂單哦!
小編給大家分享一下php7垃圾回收機制是什么,相信大部分人都還不怎么了解,因此分享這篇文章給大家參考一下,希望大家閱讀完這篇文章后大有收獲,下面讓我們一起去了解一下吧!
php7 垃圾回收機制詳解
筆者前幾天對這個話題感興趣,于是到網上一搜,幾乎都是 php 5的垃圾回收機制,雖然 php5 到 php7 GC部分做出的改動較小,但我覺得還是有必要單獨做一遍博文出來。 不特意說明的話 php 版本為 7.2
在php中的變量占用的空間,是不需要我們手動回收的。內核幫我們處理了這一部分的工作。相比C,這大大方便了我們的操作。
本篇主要講解 變量的 GC機制
在了解我們 php GC 時,我覺得我有必要介紹一下們的 php 的變量在底層的實現。
zval 的結構
// php 變量對于的c結構體 struct _zval_struct { zend_value value; union { …… } u1; union { …… } u2; };
由于主要講垃圾回收,所以在這里簡單介紹下 u1 u2 聯合體的功能
u1 結構比較復雜,我認為主要是用于識別變量類型
u2 這里面大多都是輔助字段,變量內部功能的實現、提升緩存友好性等等
接下來是我們的主角
zend_value 它也是結構體中內嵌的一個聯合體
typedef union _zend_value { zend_long lval;//整形 double dval;//浮點型 zend_refcounted *counted;//獲取不同類型的gc頭部 zend_string *str;//string字符串 zend_array *arr;//數組 zend_object *obj;//對象 zend_resource *res;//資源 zend_reference *ref;//是否是引用類型 // 忽略下面的結構,與我們討論無關 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中就記錄了引用計數zend_refcounted *counted這個類型,我們的垃圾回收機制也是基于此的。
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;
所有的復雜類型的定義, 開始的時候都是zend_refcounted_h結構, 這個結構里除了引用計數以外, 還有GC相關的結構. 從而在做GC回收的時候, GC不需要關心具體類型是什么, 所有的它都可以當做zend_refcounted*結構來處理.
變量的自動回收
在php中 除了 array和object類型的變量,其余大部分是自動回收
php 普通變量的回收和 該變量的引用次數有關。
官方的例子
$a = 1; $b = $a; xdebug_debug_zval('a'); $a =10; xdebug_debug_zval('a'); unset($a); xdebug_debug_zval('a');
結果
a: (refcount=2, is_ref=0),int 1 a: (refcount=1, is_ref=0),int 10 a: no such symbol
可以看到 當$a =10 的時候 涉及到 php的COW(copy-on-write)機制,$b 會復制一份原先的 $a ,解除了他們之間的引用關系,所以a的引用次數(refcount)減少為1。
然后我們uset($a)之后 a的引用次數變為0。這就會被認為是垃圾變量,釋放空間。
在舉一個例子
$a = [1]; $a[1] = &$a; unset($a);
在 unset($a) 之前 $a 的類型為引用類型
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) 之后,就變成這樣
這時候,我們unset操作時refcount 由2變為1,因為有內部引用指向 $a,所以在外部 其所占用的空間并不會被銷毀。
然后我們的外部引用已經被中斷了,我們也不能使用它。它就成了一個“孤兒”,在c語言中叫做野指針。在php中叫做循環引用。內存泄漏。想要銷毀變量的話,只能等 php腳本結束。
循環引用造成的內存泄漏
為了清理這些垃圾,引入了兩個準則
● 如果引用計數減少到零,所在變量容器將被清除(free),不屬于垃圾
● 如果一個zval 的引用計數減少后還大于0,那么它會進入垃圾周期。其次,在一個垃圾周期中,通過檢查引用計數是否減1,并且檢查哪些變量容器的引用次數是零,來發現哪部分是垃圾。
循環引用基本上只會出現在 數組和對象中,對象是因為它的本身就是引用
object和array的回收過程
php7的垃圾回收包含兩個部分,一個是垃圾收集器,一個是垃圾回收算法。
垃圾收集器,把剛剛提到的,可能是垃圾的元素收集到回收池中 也就是把變量的 zend_refcount的信息 放在回收池中。 當回收池的值達到一定額度了,會進行統一處理。
處理的過程呢,就比較簡單。
遍歷回收池中的每一個變量,根據每一個變量,再遍歷每一個成員,如果成員還有嵌套的話繼續遍歷。然后把所有成員的 做模擬的 refcount -1。如果此時外部的變量的 引用次數為 0 。那么可以視為垃圾,清楚。如果大于0,那么恢復引用次數,并從垃圾回收池中取出。
垃圾回收的原理
如果你這個變量不是垃圾,那么它的所有成員變量的引用減一之后,必然不會是總變量的引用為0。
例子
說的比較死,不如舉個例子。剛刷 sf.gg 的時候看到一道關于 GC 的題,我回答了一波。關于GC垃圾回收機制
題目如下
//我的回答 1、只要zval.value的refcount減一,然后缺其refcount的值不為0那么它就可能是垃圾,進入垃圾周期。 2、進入垃圾池遍歷所有成員,包括其嵌套的成員,都對其做 refcount-1的操作,看外部的引用是否為0。 那么對于 題主的問題來說, 首先,你要想$a為垃圾,一定要先對 unset($a)操作,那么此時 $a的 refcount = 2 對于$a[0] refcount-1 不影響外部的$a, $a[1] refcount-1 ,此時 $a的 refount=1 $a[2] refcount-1 ,此時 $a 的 refount=0 模擬減結束,那么此變量被當成垃圾回收。
以上是php7垃圾回收機制是什么的所有內容,感謝各位的閱讀!相信大家都有了一定的了解,希望分享的內容對大家有所幫助,如果還想學習更多知識,歡迎關注億速云行業資訊頻道!
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。