想要走到科技的天花板,那麼學習過程中在於知其然且知其所以然。今天我們來討論PHP底層的寫時複製(也稱寫時分裂)。首先我們先來看看一段程式碼:兩段程式碼的輸出結果相信各位都知道,但是我們今天講講這之中發生了什麼事。下圖是PHP儲存變數的結構體(為方便講解已寫了註解),zend.h在Zend目錄下。可以看到,該結構體儲存了關於變數值,有幾個變數指向該"/> 想要走到科技的天花板,那麼學習過程中在於知其然且知其所以然。今天我們來討論PHP底層的寫時複製(也稱寫時分裂)。首先我們先來看看一段程式碼:兩段程式碼的輸出結果相信各位都知道,但是我們今天講講這之中發生了什麼事。下圖是PHP儲存變數的結構體(為方便講解已寫了註解),zend.h在Zend目錄下。可以看到,該結構體儲存了關於變數值,有幾個變數指向該">
想要走到科技的天花板,那麼學習過程中在於知其然且知其所以然。
今天我們來討論一下PHP底層的寫時複製(也稱寫時分裂)。
首先我們先來看看一段程式碼:
兩段程式碼的輸出結果相信各位都知道,但是我們今天講講這之中發生了什麼。
下圖是PHP儲存變數的結構體(為方便講解已寫了註解),zend.h在Zend目錄下。
可以看到,該結構體儲存了關於變數值,有幾個變數指向該結構體,變數類型,是否為引用變數等資訊。
那麼第一次印刷發生了什麼事呢?變數的資訊進入了一個結構體,相關如下:
$name = '傍晚八點半';
$myName = $name;
此時$name和$myName共用一個結構體的,refcount__gc為2,
我們發現,$myName = $name;這個過程中並沒有主動變成兩個結構體(這也算PHP內部實現優化的一種,只用一個結構體,省了內存)。
那麼當程式碼運行到 $myName = ‘gzchen’; 的時候,結構體如何變化呢?由於第一次輸出時是兩個變數共用結構體,那麼此時更改其中一個變量,會不會導致兩個值一起變化呢?純粹從結構體的邏輯來看,是有可能的,畢竟大家共用這個結構體嘛。
那麼我們看下第二次打印是怎麼樣的情況,相關變化如下:
並沒有按照我們所想的將$name和$myName同時改成'gzchen',而是複製多了一份結構體出來,兩個結構體分別對應$name和$myName。
這個就是寫時複製(Copy-on-write,COW)在作怪,他沒有在$myName = $name;賦值的時候就分裂成兩個結構體,而是在我們改寫其中一個變數時發生效果,屬於一種慢複製(也稱為慢分裂)。
偽代碼如下:
我們再看下另外一段代碼:
輸出為’b’,中途發生了什麼?
其實foreach遍歷過程中,並不是直接操作$arr(原數組)的,而是會將$arr複製出一個$arrcopy(實際上是一個副本,我這裡以$arrcopy代替),foreach在遍歷過程中操作的其實一直是$arrcopy,大概的流程是這樣:
和上面舉得例子其實是一個道理,我們可以看出,剛開始($arr = $arrcopy)還是共用一個結構體的,但是$arr[$k] = $v又再賦值,發生了寫時複製,結構體就分裂了。
接著前面說過foreach操作的是$arrcopy,所以$arr的結構體指針就被停留在第一位了(因為結構體不一樣了,$arrcopy沒辦法同步給$arr賦值了)。
其實這類技術通常只會在面試中用到,日常開發會用這種寫法的人終究還是少數,暫時看不明白的朋友也不用太在意,只要知道有」寫時複製」這個情況出現就行了。
以上就介紹了PHP底層分析:關於寫時複製cow,包括了cow,php方面的內容,希望對PHP教學有興趣的朋友有幫助。