|
|
在開始之前，我們可以先看一段簡(jiǎn)單的代碼：
復(fù)制代碼 代碼如下:
<?php //例一
$foo = 1;
$bar = $foo;
echo $foo + $bar;
?>
執(zhí)行這段代碼，會(huì)打印出數(shù)字2。從內(nèi)存的角度來分析一下這段代碼“可能”是這樣執(zhí)行的：分配一塊內(nèi)存給foo變量，里面存儲(chǔ)一個(gè)1； 再分配一塊內(nèi)存給bar變量，也存一個(gè)1，最后計(jì)算出結(jié)果輸出。事實(shí)上，我們發(fā)現(xiàn)foo和bar變量因?yàn)橹迪嗤耆梢允褂猛粔K內(nèi)存，這樣，內(nèi)存的使用就節(jié)省了一個(gè)1，并且，還省去了分配內(nèi)存和管理內(nèi)存地址的計(jì)算開銷。沒錯(cuò)，很多涉及到內(nèi)存管理的系統(tǒng)，都實(shí)現(xiàn)了這種相同值共享內(nèi)存的策略：寫時(shí)復(fù)制
很多時(shí)候，我們會(huì)因?yàn)橐恍┬g(shù)語而對(duì)其概念產(chǎn)生莫測(cè)高深的恐懼，而其實(shí)，他們的基本原理往往非常簡(jiǎn)單。本小節(jié)將介紹php中寫時(shí)復(fù)制這種策略的實(shí)現(xiàn)：
寫時(shí)復(fù)制（Copy on Write，也縮寫為COW)的應(yīng)用場(chǎng)景非常多， 比如Linux中對(duì)進(jìn)程復(fù)制中內(nèi)存使用的優(yōu)化，在各種編程語言中，如C++的STL等等中均有類似的應(yīng)用。 COW是常用的優(yōu)化手段，可以歸類于：資源延遲分配。只有在真正需要使用資源時(shí)才占用資源， 寫時(shí)復(fù)制通常能減少資源的占用。
注： 為節(jié)省篇幅，下文將統(tǒng)一使用COW來表示“寫時(shí)復(fù)制”；
推遲內(nèi)存復(fù)制的優(yōu)化
正如前面所說，php中的COW可以簡(jiǎn)單描述為：如果通過賦值的方式賦值給變量時(shí)不會(huì)申請(qǐng)新內(nèi)存來存放新變量所保存的值，而是簡(jiǎn)單的通過一個(gè)計(jì)數(shù)器來共用內(nèi)存，只有在其中的一個(gè)引用指向變量的值發(fā)生變化時(shí)才申請(qǐng)新空間來保存值內(nèi)容以減少對(duì)內(nèi)存的占用。在很多場(chǎng)景下php都COW進(jìn)行內(nèi)存的優(yōu)化。比如：變量的多次賦值、函數(shù)參數(shù)傳遞，并在函數(shù)體內(nèi)修改實(shí)參等。
下面讓我們看一個(gè)查看內(nèi)存的例子，可以更容易看到COW在內(nèi)存使用優(yōu)化方面的明顯作用：
復(fù)制代碼 代碼如下:
<?php //例二
$j = 1;
var_dump(memory_get_usage());
$tipi = array_fill(0, 100000, 'php-internal');
var_dump(memory_get_usage());
$tipi_copy = $tipi;
var_dump(memory_get_usage());
foreach($tipi_copy as $i){
$j += count($i);
}
var_dump(memory_get_usage());
//-----執(zhí)行結(jié)果-----
$ php t.php
int(630904)
int(10479840)
int(10479944)
int(10480040)
上面的代碼比較典型的突出了COW的作用，在數(shù)組變量$tipi被賦值給$tipi_copy時(shí)，內(nèi)存的使用并沒有立刻增加一半，在循環(huán)遍歷數(shù)$tipi_copy時(shí)也沒有發(fā)生顯著變化，在這里$tipi_copy和$tipi變量的數(shù)據(jù)共同指向同一塊內(nèi)存，而沒有復(fù)制。
也就是說，即使我們不使用引用，一個(gè)變量被賦值后，只要我們不改變變量的值 ，也不會(huì)新申請(qǐng)內(nèi)存用來存放數(shù)據(jù)。據(jù)此我們很容易就可以想到一些COW可以非常有效的控制內(nèi)存使用的場(chǎng)景：只是使用變量進(jìn)行計(jì)算而很少對(duì)其進(jìn)行修改操作，如函數(shù)參數(shù)的傳遞，大數(shù)組的復(fù)制等等等不需要改變變量值的情形。
復(fù)制分離變化的值
多個(gè)相同值的變量共用同一塊內(nèi)存的確節(jié)省了內(nèi)存空間，但變量的值是會(huì)發(fā)生變化的，如果在上面的例子中，指向同一內(nèi)存的值發(fā)生了變化（或者可能發(fā)生變化），就需要將變化的值“分離”出去，這個(gè)“分離”的操作，就是“復(fù)制”。
在php中，Zend引擎為了區(qū)別同一個(gè)zval地址是否被多個(gè)變量共享，引入了ref_count和is_ref兩個(gè)變量進(jìn)行標(biāo)識(shí)：
復(fù)制代碼 代碼如下:
ref_count和is_ref是定義于zval結(jié)構(gòu)體中（見第一章第一小節(jié)）
is_ref標(biāo)識(shí)是不是用戶使用 & 的強(qiáng)制引用；
ref_count是引用計(jì)數(shù)，用于標(biāo)識(shí)此zval被多少個(gè)變量引用，即COW的自動(dòng)引用，為0時(shí)會(huì)被銷毀；
關(guān)于這兩個(gè)變量的更多內(nèi)容，跳轉(zhuǎn)閱讀：第三章第六節(jié)：變量的賦值和銷毀的實(shí)現(xiàn)。
注：由此可見， $a=$b; 與 $a=&$b; 在php對(duì)內(nèi)存的使用上沒有區(qū)別（值不變化時(shí)）；
下面我們把例二稍做變化：如果$copy的值發(fā)生了變化，會(huì)發(fā)生什么？：
復(fù)制代碼 代碼如下:
<?php //例三
//$tipi = array_fill(0, 3, 'php-internal');
//這里不再使用array_fill來填充 ，為什么？
$tipi[0] = 'php-internal';
$tipi[1] = 'php-internal';
$tipi[2] = 'php-internal';
var_dump(memory_get_usage());
$copy = $tipi;
xdebug_debug_zval('tipi', 'copy');
var_dump(memory_get_usage());
$copy[0] = 'php-internal';
xdebug_debug_zval('tipi', 'copy');
var_dump(memory_get_usage());
//-----執(zhí)行結(jié)果-----
$ php t.php
int(629384)
tipi: (refcount=2, is_ref=0)=array (0 => (refcount=1, is_ref=0)='php-internal',
1 => (refcount=1, is_ref=0)='php-internal',
2 => (refcount=1, is_ref=0)='php-internal')
copy: (refcount=2, is_ref=0)=array (0 => (refcount=1, is_ref=0)='php-internal',
1 => (refcount=1, is_ref=0)='php-internal',
2 => (refcount=1, is_ref=0)='php-internal')
int(629512)
tipi: (refcount=1, is_ref=0)=array (0 => (refcount=1, is_ref=0)='php-internal',
1 => (refcount=2, is_ref=0)='php-internal',
2 => (refcount=2, is_ref=0)='php-internal')
copy: (refcount=1, is_ref=0)=array (0 => (refcount=1, is_ref=0)='php-internal',
1 => (refcount=2, is_ref=0)='php-internal',
2 => (refcount=2, is_ref=0)='php-internal')
int(630088)
在這個(gè)例子中，我們可以發(fā)現(xiàn)以下特點(diǎn)：
$copy = $tipi；這種基本的賦值操作會(huì)觸發(fā)COW的內(nèi)存“共享”，不會(huì)產(chǎn)生內(nèi)存復(fù)制；
COW的粒度為zval結(jié)構(gòu)，由php中變量全部基于zval，所以COW的作用范圍是全部的變量，而對(duì)于zval結(jié)構(gòu)體組成的集合（如數(shù)組和對(duì)象等），在需要復(fù)制內(nèi)存時(shí)，將復(fù)雜對(duì)象分解為最小粒度來處理。這樣可以使內(nèi)存中復(fù)雜對(duì)象中某一部分做修改時(shí)，不必將該對(duì)象的所有元素全部“分離復(fù)制”出一份內(nèi)存拷貝；
復(fù)制代碼 代碼如下:
array_fill()填充數(shù)組時(shí)也采用了COW的策略，可能會(huì)影響對(duì)本例的演示，感興趣的讀者可以 閱讀：$php_SRC/ext/standard/array.c中php_FUNCTION(array_fill)的實(shí)現(xiàn)。
xdebug_debug_zval()是xdebug擴(kuò)展中的一個(gè)函數(shù)，用于輸出變量在zend內(nèi)部的引用信息。 如果你沒有安裝xdebug擴(kuò)展，也可以使用debug_zval_dump()來代替。 參考：http://www.php.NET/manual/zh/function.debug-zval-dump.php
實(shí)現(xiàn)寫時(shí)復(fù)制
看完上面的三個(gè)例子，相信大家也可以了解到php中COW的實(shí)現(xiàn)原理： php中的COW基于引用計(jì)數(shù)ref_count和is_ref實(shí)現(xiàn)，多一個(gè)變量指針，就將ref_count加1， 反之減去1，減到0就銷毀；同理，多一個(gè)強(qiáng)制引用&,就將is_ref加1，反之減去1。
這里有一個(gè)比較典型的例子：
復(fù)制代碼 代碼如下:
<?php //例四
$foo = 1;
xdebug_debug_zval('foo');
$bar = $foo;
xdebug_debug_zval('foo');
$bar = 2;
xdebug_debug_zval('foo');
?>
//-----執(zhí)行結(jié)果-----
foo: (refcount=1, is_ref=0)=1
foo: (refcount=2, is_ref=0)=1
foo: (refcount=1, is_ref=0)=1
經(jīng)過前面對(duì)變量章節(jié)的介紹，我們知道當(dāng)$foo被賦值時(shí)，$foo變量的值的只由$foo變量指向。當(dāng)$foo的值被賦給$bar時(shí)，php并沒有將內(nèi)存復(fù)制一份交給$bar，而是把$foo和$bar指向同一個(gè)地址。同時(shí)引用計(jì)數(shù)增加1，也就是新的2。隨后，我們更改了$bar的值，這時(shí)如果直接需該$bar變量指向的內(nèi)存，則$foo的值也會(huì)跟著改變。這不是我們想要的結(jié)果。于是，php內(nèi)核將內(nèi)存復(fù)制出來一份，并將其值更新為賦值的：2（這個(gè)操作也稱為變量分離操作），同時(shí)原$foo變量指向的內(nèi)存只有$foo指向，所以引用計(jì)數(shù)更新為：refcount=1。
看上去很簡(jiǎn)單，但由于&運(yùn)算符的存在，實(shí)際的情形要復(fù)雜的多。見下面的例子：
圖6.6 &操作符引起的內(nèi)存復(fù)制分離>
從這個(gè)例子可以看出php對(duì)&運(yùn)算符的一個(gè)容易出問題的處理：當(dāng) $beauty=&$pan; 時(shí)，兩個(gè)變量本質(zhì)上都變成了引用類型，導(dǎo)致看上去的普通變量$pan, 在某些內(nèi)部處理中與&$pan行為相同，尤其是在數(shù)組元素中使用引用變量，很容易引發(fā)問題。（見最后的例子）
php的大多數(shù)工作都是進(jìn)行文本處理，而變量是載體，不同類型的變量的使用貫穿著php的生命周期，變量的COW策略也就體現(xiàn)了Zend引擎對(duì)變量及其內(nèi)存處理，具體可以參閱源碼文件相關(guān)的內(nèi)容：
復(fù)制代碼 代碼如下:
Zend/zend_execute.c
========================================
zend_assign_to_variable_reference();
zend_assign_to_variable();
zend_assign_to_object();
zend_assign_to_variable();
//以及下列宏定義的使用
Zend/zend.h
========================================
#define Z_REFCOUNT(z) Z_REFCOUNT_P(&(z))
#define Z_SET_REFCOUNT(z, rc) Z_SET_REFCOUNT_P(&(z), rc)
#define Z_ADDREF(z) Z_ADDREF_P(&(z))
#define Z_DELREF(z) Z_DELREF_P(&(z))
#define Z_ISREF(z) Z_ISREF_P(&(z))
#define Z_SET_ISREF(z) Z_SET_ISREF_P(&(z))
#define Z_UNSET_ISREF(z) Z_UNSET_ISREF_P(&(z))
#define Z_SET_ISREF_TO(z, isref) Z_SET_ISREF_TO_P(&(z), isref)
最后，請(qǐng)慎用引用&
引用和前面提到的變量的引用計(jì)數(shù)和php中的引用并不是同一個(gè)東西，引用和C語言中的指針的類似，他們都可以通過不同的標(biāo)示訪問到同樣的內(nèi)容，但是php的引用則只是簡(jiǎn)單的變量別名，沒有C指令的靈活性和限制。
php中有非常多讓人覺得意外的行為，有些因?yàn)闅v史原因，不能破壞兼容性而選擇暫時(shí)不修復(fù)，或者有的使用場(chǎng)景比較少。在php中只能盡量的避開這些陷阱。例如下面這個(gè)例子。
由于引用操作符會(huì)導(dǎo)致php的COW策略優(yōu)化，所以使用引用也需要對(duì)引用的行為有明確的認(rèn)識(shí)才不至于誤用，避免帶來一些比較難以理解的的Bug。如果您認(rèn)為您已經(jīng)足夠了解了php中的引用，可以嘗試解釋下面這個(gè)例子：
復(fù)制代碼 代碼如下:
<?php
$foo['love'] = 1;
$bar = &$foo['love'];
$tipi = $foo;
$tipi['love'] = '2';
echo $foo['love'];
這個(gè)例子最后會(huì)輸出 2 ， 大家會(huì)非常驚訝于$tipi怎么會(huì)影響到$foo, $bar變量的引用操作，將$foo['love']污染變成了引用，從而Zend沒有對(duì)$tipi['love']的修改產(chǎn)生內(nèi)存的復(fù)制分離。
php技術(shù)：PHP 之 寫時(shí)復(fù)制介紹（Copy On Write），轉(zhuǎn)載需保留來源！
鄭重聲明：本文版權(quán)歸原作者所有，轉(zhuǎn)載文章僅為傳播更多信息之目的，如作者信息標(biāo)記有誤，請(qǐng)第一時(shí)間聯(lián)系我們修改或刪除，多謝。
