一、內存管理機制

先看一段代碼：

?php
//內存管理機制
var_dump(memory_get_usage());//獲取內存方法，加上true返回實際內存，不加則返回表現內存
$a = "laruence";
var_dump(memory_get_usage());
unset($a);
var_dump(memory_get_usage());
//輸出(在我的個人電腦上, 可能會因為系統,PHP版本,載入的擴展不同而不同):
//int 240552
//int 240720
//int 240552

定義變量之后，內存增加，清除變量之后，內存恢復（有些可能不會恢復和以前一樣），好像定義變量時申請了一次內存，其實不是這樣的，php會預先申請一塊內存，不會每次定義變量就申請內存。

首先我們要打破一個思維: PHP不像C語言那樣, 只有你顯示的調用內存分配相關API才會有內存的分配. 也就是說, 在PHP中, 有很多我們看不到的內存分配過程.

比如對于:

$a = "laruence";

隱式的內存分配點就有:

• 為變量名分配內存, 存入符號表
• 為變量值分配內存

所以, 不能只看表象.

第二, 別懷疑,PHP的unset確實會釋放內存, 但這個釋放不是C編程意義上的釋放, 不是交回給OS.

對于PHP來說, 它自身提供了一套和C語言對內存分配相似的內存管理API:　

emalloc(size_t size);
efree(void *ptr);
ecalloc(size_t nmemb, size_t size);
erealloc(void *ptr, size_t size);
estrdup(const char *s);
estrndup(const char *s, unsigned int length);

這些API和C的API意義對應, 在PHP內部都是通過這些API來管理內存的.
當我們調用emalloc申請內存的時候, PHP并不是簡單的向OS要內存, 而是會像OS要一個大塊的內存, 然后把其中的一塊分配給申請者, 這樣當再有邏輯來申請內存的時候, 就不再需要向OS申請內存了, 避免了頻繁的系統調用.

比如以下的例子:

var_dump(memory_get_usage(true));//注意獲取的是real_size
$a = "laruence";
var_dump(memory_get_usage(true));
unset($a);
var_dump(memory_get_usage(true));
//輸出
//int 262144
//int 262144
//int 262144

也就是我們在定義變量$a的時候, PHP并沒有向系統申請新內存.同樣的, 在我們調用efree釋放內存的時候, PHP也不會把內存還給OS, 而會把這塊內存, 歸入自己維護的空閑內存列表. 而對于小塊內存來說, 更可能的是, 把它放到內存緩存列表中去

$a = "hello";
//定義變量時，存儲兩個方面：
//1.變量名，存儲在符號表
//2.變量值存儲在內存空間
//3.在刪除變量的時候，會將變量值存儲的空間釋放，而變量名所在的符號表不會減小（只增不減）

只增不減的數組

Hashtable是PHP的核心結構, 數組也是用她來表示的, 而符號表也是一種關聯數組, 對于如下代碼:

var_dump(memory_get_usage());
for($i=0;$i100;$i++)
{
    $a = "test".$i;
    $$a = "hello";
}
var_dump(memory_get_usage());
for($i=0;$i100;$i++)
{
    $a = "test".$i;
    unset($$a);
}
var_dump(memory_get_usage());

我們定義了100個變量, 然后又按個Unset了他們, 來看看輸出:

//int 242104

//int 259768

//int 242920

怎么少了這么多內存?

這是因為對于Hashtable來說, 定義它的時候, 不可能一次性分配足夠多的內存塊, 來保存未知個數的元素, 所以PHP會在初始化的時候, 只是分配一小部分內存塊給HashTable, 當不夠用的時候再RESIZE擴容。而Hashtable, 只能擴容, 不會減少,

對于上面的例子, 當我們存入100個變量的時候, 符號表不夠用了, 做了一次擴容, 而當我們依次unset掉這100個變量以后, 變量占用的內存是釋放了(118848 – 104448), 但是符號表并沒有縮小, 所以這些少的內存是被符號表本身占去了…

二、垃圾回收機制

PHP變量存儲在一個zval容器里面的

1.變量類型

2. 變量值

3. is_ref 代表是否有地址引用

4. refcount 指向該值的變量數量

變量賦值的時候：is_ref為false， refcount為1

$a = 1;
xdebug_debug_zval('a');
echo PHP_EOL;//換行符，提高代碼的源代碼級可移植性

輸出：

a:

將變量a的值賦給變量b，變量b不會立刻去在內存中存儲值，而是先指向變量a的值，一直到變量a有任何操作的時候

$b = $a;
xdebug_debug_zval('a');
echo PHP_EOL;

輸出：

a:

(refcount=2, is_ref=0),
int

 1

$c = $a;
xdebug_debug_zval('a');
echo PHP_EOL;

xdebug_debug_zval('b');
echo PHP_EOL;

輸出：

a:

(refcount=2, is_ref=1),
int

 1
b:

(refcount=1, is_ref=0),
int

 1

因為程序又操作了變量a，所以變量b會自己申請一塊內存將值放進去。
所以變量a的zval容器中refcount會減1變為1，變量c指向a，所以refcount會加1變為2，is_ref變為true

垃圾回收

1.在5.2版本或之前版本，PHP會根據refcount值來判斷是不是垃圾

如果refcount值為0，PHP會當做垃圾釋放掉

這種回收機制有缺陷，對于環狀引用的變量無法回收

環狀引用：

$attr = array("hello");
$attr[]= $attr;

xdebug_debug_zval('attr');
echo PHP_EOL;

輸出：

attr:

(refcount=2, is_ref=1),
array (size=2)
  0 => (refcount=1, is_ref=0),
string

 'hello' (length=5)
  1 => (refcount=2, is_ref=1),
    array

2.在5.3之后版本改進了垃圾回收機制

如果發現一個zval容器中的refcount在增加，說明不是垃圾

如果發現一個zval容器中的refcount在減少，如果減到了0，直接當做垃圾回收

如果發現一個zval容器中的refcount在減少，并沒有減到0，PHP會把該值放到緩沖區，當做有可能是垃圾的懷疑對象
當緩沖區達到臨界值，PHP會自動調用一個方法取遍歷每一個值，如果發現是垃圾就清理

以上就是詳解php內存管理機制與垃圾回收機制的詳細內容，更多關于php內存管理機制與垃圾回收機制的資料請關注腳本之家其它相關文章！