天天看點

深入了解php底層機制(-)

作為一門動态語言,php是如何實作的,其底層機制如何,具有什麼樣的特點,本文深入淺出介紹了包括php設計理念、整體結構、核心資料結構和變量在内的相關底層知識,對我們更好的開發php程式,優化性能等有一定的指導意義。

TAG

Php 底層機制 性能優化

目錄

1、概述… 1

what is php?. 1

了解它底層實作的目的?. 1

2、php的設計理念及特點… 1

3、Php的四層體系… 2

4、Sapi 3

5、Php的執行流程&opcode. 5

6、HashTable  — 核心資料結構… 6

7、Php變量… 8

概述… 8

Zval 9

整數、浮點數類型變量… 10

字元串變量… 10

數組變量… 11

資源類型變量… 11

Php變量的作用域… 12

一種适用于web開發的動态語言。具體點說:就是一個用c語言實作包含大量元件的軟體架構。更狹義點看,可以把它認為是一個強大的ui架構。

動态語言要像用好首先得了解它

記憶體管理、架構模型值得我們借鑒

通過擴充開發實作更多更強大的功能,優化我們程式的性能

多程序模型

由于php是多程序模型,不同請求間互不幹涉,這樣保證了一個請求挂掉不會對全盤服務造成影響,當然,随着時代發展,php也早已支援多線程模型。

弱類型語言

和c/c++、java、c#等語言不同,Php是一門弱類型語言:一個變量的類型并不是一開始就确定不變,運作中才會确定并可能發生隐式或顯式的類型轉換,這種機制的靈活性在web開發中非常友善、高效,具體會在後面php變量中詳述。

引擎(Zend)+元件(ext)的模式降低内部耦合

中間層(sapi)隔絕web server和php

文法簡單靈活,沒有太多規範。(導緻風格混雜)

再差的程式員也不會寫出太離譜危害全局的程式。

Php的核心架構如下圖

<a target="_blank" href="http://blog.51cto.com/attachment/201112/193542556.jpg"></a>

圖1 php結構

從圖上可以看出,php從下到上是一個4層體系

Zend引擎

Zend整體用純c實作,是php的核心部分,它将php代碼翻譯(詞法、文法解析等一系列編譯過程)為可執行opcode的處理并實作相應的處理方法、實作了基本的資料結構(如hashtable、oo)、記憶體配置設定及管理、提供了相應的api方法供外部調用,是一切的核心,所有的外圍功能均圍繞zend實作。

Extensions

圍繞着zend引擎,extensions通過元件式的方式提供各種基礎服務,我們常見的各種内置函數(如array系列)、标準庫等都是通過extension來實作,使用者也可以根據需要實作自己的extension以達到功能擴充、性能優化等目的(如貼吧正在使用的php中間層、富文本解析就是extension的典型應用)。

Sapi

Sapi全稱是Server Application Programming Interface,也就是服務端應用程式設計接口,sapi通過一系列鈎子函數,使得php可以和外圍互動資料,這是php非常優雅和成功的一個設計,通過sapi成功的将php本身和上層應用解耦隔離,php可以不再考慮如何針對不同應用進行相容,而應用本身也可以針對自己的特點實作不同的處理方式。後面将在sapi章節中介紹

上層應用

這就是我們平時編寫的php程式,通過不同的sapi方式得到各種各樣的應用模式,如通過webserver實作web應用、在指令行下以腳本方式運作等等。

如果php是一輛車,那麼

車的架構就是php本身

Zend是車的引擎(發動機)

Ext下面的各種元件就是車的輪子

Sapi可以看做是公路,車可以跑在不同類型的公路上

而一次php程式的執行就是汽車跑在公路上。

是以,我們需要:性能優異的引擎+合适的車輪+正确的跑道

如前所述,sapi通過通過一系列的接口,使得外部應用可以和php交換資料并可以根據不同應用特點實作特定的處理方法,我們常見的一些sapi有:

apache2handler

這是以apache作為webserver,采用mod_php模式運作時候的處理方式,也是現在應用最廣泛的一種。

cgi

這是webserver和php直接的另一種互動方式,也就是大名鼎鼎的fastcgi協定,在最近今年fastcgi+php得到越來越多的應用,也是異步webserver所唯一支援的方式。關于fastcgi和mod_php,可以參見另外一篇文章《php性能調研-mod_php vs fastcgi》

cli

指令行調用的應用模式

         Sapi的定義及主要接口函數如下圖

<a target="_blank" href="http://blog.51cto.com/attachment/201112/193600806.jpg"></a>

圖2 Sapi協定

這裡介紹一下其中一些主要函數

startup:php被調用時初始化操作

比如cgi模式,在startup的時候會加載所有的extension并執行子產品初始化工作。

shutdown:php關閉時收尾工作

activate:請求初始化

dectivate:請求結束時收尾工作

ub_write:指定資料輸出方式

比如apache2handler方式,由于php作為apache的一個so存在,是以其輸出也就是調用apache的ap_write函數,而在cgi模式下,會系統調用write。

sapi_error:錯誤處理函數

read_post:讀取post資料

register_server_variables:往$_SERVER中注冊環境變量

這個一般根據不同協定标準注冊注冊的變量。

我們先來看看php代碼的執行所經過的流程。

<a target="_blank" href="http://blog.51cto.com/attachment/201112/193614337.jpg"></a>

圖3 php代碼的執行過程

從圖上可以看到,php實作了一個典型的動态語言執行過程:拿到一段代碼後,經過詞法解析、文法解析等階段後,源程式會被翻譯成一個個指令(opcodes),然後ZEND虛拟機順次執行這些指令完成操作。Php本身是用c實作的,是以最終調用的也都是c的函數,實際上,我們可以把php看做是一個c開發的軟體。

         通過上面描述不難看出,php的執行的核心是翻譯出來的一條一條指令,也即opcode

u  opcode

Opcode是php程式執行的最基本機關。一個opcode由兩個參數(op1,op2)、傳回值和處理函數組成。Php程式最終被翻譯為一組opcode處理函數的順序執行

常見的幾個處理函數

         ZEND_ASSIGN_SPEC_CV_CV_HANDLER : 變量配置設定 ($a=$b)

         ZEND_DO_FCALL_BY_NAME_SPEC_HANDLER:函數調用

         ZEND_CONCAT_SPEC_CV_CV_HANDLER:字元串拼接 $a.$b

         ZEND_ADD_SPEC_CV_CONST_HANDLER: 加法運算 $a+2

         ZEND_IS_EQUAL_SPEC_CV_CONST:判斷相等 $a==1

         ZEND_IS_IDENTICAL_SPEC_CV_CONST:判斷相等 $a===1

HashTable是zend的核心資料結構,在php裡面幾乎并用來實作所有常見功能,我們知道的php數組即是其典型應用,此外,在zend内部,如函數符号表、全局變量等也都是基于hash table來實作。

         php的hash table具有如下特點:

支援典型的key-&gt;value查詢

可以當做數組使用

添加、删除節點是O(1)複雜度

key支援混合類型:同時存在關聯數組合索引數組

Value支援混合類型:array (“string”,2332)

支援線性周遊:如foreach

Zend hash table實作了典型的hash表散列結構,同時通過附加一個雙向連結清單,提供了正向、反向周遊數組的功能。其結構如下圖

<a target="_blank" href="http://blog.51cto.com/attachment/201112/193635931.jpg"></a>

圖4 zend hash table資料結構

可以看到,在hash table中既有key-&gt;value形式的散列結構,也有雙向連結清單模式,使得它能夠非常友善的支援快速查找和線性周遊。

散列結構

Zend的散列結構是典型的hash表模型,通過連結清單的方式來解決沖突。需要注意的是zend的hash table是一個自增長的資料結構,當hash表數目滿了之後,其本身會動态以2倍的方式擴容并重新元素位置。初始大小均為8。

另外,在進行key-&gt;value快速查找時候,zend本身還做了一些優化,通過空間換時間的方式加快速度。比如在每個元素中都會用一個變量nKeyLength辨別key的長度以作快速判定。

雙向連結清單

Zend hash table通過一個連結清單結構,實作了元素的線性周遊。理論上,做周遊使用單向連結清單就夠了,之是以使用雙向連結清單,主要目的是為了快速删除,避免周遊。

         Zend hash table是一種複合型的結構,作為數組使用時,即支援常見的關聯數組也能夠作為順序索引數字來使用,甚至允許2者的混合。

Php關聯數組

關聯數組是典型的hash_table應用。一次查詢過程經過如下幾步

          getKeyHashValue h;

          index = n &amp; nTableMask;

          Bucket *p = arBucket[index];

          while (p) {

              if ((p-&gt;h == h) &amp;&amp; (p-&gt;nKeyLength == nKeyLength)) {

                 RETURN p-&gt;data;   

                    }

               p=p-&gt;next;

    }

RETURN FALTURE;

從代碼可以看出,這是一個常見的hash查詢過程并增加一些快速判定加速查找。

Php索引數組

索引數組就是我們常見的數組,通過下标通路。例如 $arr[0]

Zend HashTable内部進行了歸一化處理,對于index類型key同樣配置設定了hash值和nKeyLength(為0)。内部成員變量nNextFreeElement就是目前配置設定到的最大id,每次push後自動加一。

正是這種歸一化處理,php才能夠實作關聯和非關聯的混合

由于push操作的特殊性,索引key在php數組中先後順序并不是通過下标大小來決定,而是由push的先後決定。

例如 $arr[1] = 2; $arr[2] = 3;

對于double類型的key,Zend HashTable會将他當做索引key處理

Php是一門弱類型語言,本身不嚴格區分變量的類型。

Php在變量申明的時候不需要指定類型。

Php在程式運作期間可能進行變量類型的隐示轉換。

和其他強類型語言一樣,程式中也可以進行顯示的類型轉換。

Php變量可以分為簡單類型(int、string、bool)、集合類型(array resource object)和常量(const)

以上所有的變量在底層都是同一種結構 zval

Zval是zend中另一個非常重要的資料結構,用來辨別并實作php變量,其資料結構如下

<a target="_blank" href="http://blog.51cto.com/attachment/201112/193655550.jpg"></a>

Zval主要由三部分組成:

1、  type:指定了變量所述的類型(整數、字元串、數組等)

2、  refcount&amp;is_ref:用來實作引用計數(後面具體介紹)

3、  value:核心部分,存儲了變量的實際資料

u  zvalue

Zvalue是用來儲存一個變量的實際資料。因為要存儲多種類型,是以zvalue是一個union,也由此實作了弱類型。

Php變量類型和其實際存儲對應關系如下

IS_LONG   -&gt; lvalue

IS_DOUBLE -&gt; dvalue

IS_ARRAY  -&gt; ht

IS_STRING -&gt; str

IS_RESOURCE -&gt; lvalue

u  引用計數

引用計數在記憶體回收、字元串操作等地方使用非常廣泛。Php中的變量就是引用計數的典型應用

Zval的引用計數通過成員變量is_ref和ref_count實作,通過引用計數,多個變量可以共享同一份資料。避免頻繁拷貝帶來的大量消耗

在進行指派操作時,zend将變量指向相同的zval同時ref_count++,在unset操作時,對應的ref_count-1。隻有ref_count減為0時才會真正執行銷毀操作

如果是引用指派,則zend會修改is_ref為1

u  寫時拷貝

Php變量通過引用計數實作變量共享資料,那如果改變其中一個變量值呢?

當試圖寫入一個變量時,Zend若發現該變量指向的zval被多個變量共享,則為其複制一份ref_count為1的zval,并遞減原zval的refcount,這個過程稱為“zval分離”。可見,隻有在有寫操作發生時zend才進行拷貝操作,是以也叫copy-on-write(寫時拷貝)

對于引用型變量,其要求和非引用型相反,引用指派的變量間必須是捆綁的,修改一個變量就修改了所有捆綁變量。

整數、浮點數是php中的基礎類型之一,也是一個簡單型變量。

對于整數和浮點數,在zvalue中直接存儲對應的值。其類型分别是long和double。

從zvalue結構中可以看出,對于整數類型,和c等強類型語言不同,php是不區分int、unsigned int、long、long long等類型的,對它來說,整數隻有一種類型也就是long。由此,可以看出,在php裡面,整數的取值範圍是由編譯器位數來決定而不是固定不變的。

對于浮點數,類似整數,它也不區分float和double而是統一隻有double一種類型。

在php中,如果整數範圍越界了怎麼辦?

這種情況下會自動轉換為double類型,這個一定要小心,很多trick都是由此産生。

和整數一樣,字元變量也是php中的基礎類型和簡單型變量

通過zvalue結構可以看出,在php中,字元串是由由指向實際資料的指針和長度結構體組成,這點和c++中的string比較類似。

由于通過一個實際變量表示長度,和c不同,它的字元串可以是2進制資料(包含\0),同時在php中,求字元串長度strlen是O(1)操作。

在新增、修改、追加字元串操作時,php都會重新配置設定記憶體生成新的字元串。

最後,出于安全考慮,php在生成一個字元串時末尾仍然會添加\0

常見的字元串拼接方式及速度比較

假設有如下4個變量:

$strA=‘123’;  $strB = ‘456’; $intA=123; intB=456;

現在對如下的幾種字元串拼接方式做一個比較和說明

1、$res = $strA.$strB和$res = “$strA$strB”

         這種情況下,zend會重新malloc一塊記憶體并進行相應處理,其速度一般

2、$strA = $strA.$strB

         這種是速度最快的,zend會在目前strA基礎上直接relloc,避免重複拷貝

3、$res = $intA.$intB

這種速度較慢,因為需要做隐式的格式轉換,實際編寫程式中也應該注意盡量避免

4、$strA = sprintf (“%s%s”,$strA.$strB);

這會是最慢的一種方式,因為sprintf在php中并不是一個語言結構,本身對于格式識别和處理就需要耗費比較多時間,另外本身機制也是malloc。不過sprintf的方式最具可讀性,實際中可以根據具體情況靈活選擇。

如前所述,Php的數組通過Zend HashTable來天然實作

foreach操作如何實作?

         對一個數組的foreach就是通過周遊hashtable中的雙向連結清單完成。對于索引數組,通過foreach周遊效率比for高很多,省去了key-&gt;value的查找

Count操作直接調用HashTable-&gt;NumOfElements,O(1)操作

對于’123’這樣的字元串,zend會轉換為其整數形式。$arr[‘123’]和$arr[123]是等價的

         這是php中最複雜的一種變量,也是一種複合型結構。

Php的zval可以表示廣泛的資料類型,但是對于自定義的資料類型卻很難充分描述。由于沒有有效的方式描繪這些複合結構,是以也沒有辦法對它們使用傳統的操作符。要解決這個問題,隻需要通過一個本質上任意的辨別符(label)引用指針,這種方式被稱為資源。

在zval中,對于resource,lval作為指針來使用,直接指向資源所在的位址。

Resource可以是任意的複合結構,我們熟悉的mysqli、fsock、memcached等都是資源。

使用資源

• 注冊

對于一個自定義的資料類型,要想将它作為資源。首先需要進行注冊,zend會為它配置設定全局唯一标示

• 擷取一個資源變量

對于資源,zend維護了一個id-&gt;實際資料的hash_tale。對于一個resource,在zval中隻記錄了它的id。fetch的時候通過id在hash_table中找到具體的值傳回

• 資源銷毀

資源的資料類型是多種多樣的。Zend本身沒有辦法銷毀它。是以需要使用者在注冊資源的時候提供銷毀函數。當unset資源時,zend調用相應的函數完成析構。同時從全局資源表中删除它。

持久化資源

資源可以長期駐留,不隻是在所有引用它的變量超出作用域之後,甚至是在一個請求結束了并且新的請求産生之後。這些資源稱為持久資源,因為它們貫通SAPI的整個生命周期持續存在,除非特意銷毀。

很多情況下,持久化資源可以在一定程度上提高性能。比如我們常見的mysql_pconnect ,持久化資源通過pemalloc配置設定記憶體,這樣在請求結束的時候不會釋放。

對zend來說,對兩者本身并不區分。

Php中的局部變量和全局變量是如何實作的?

         對于一個請求,任意時刻php都可以看到兩個符号表(symbol_table和active_symbol_table),其中前者用來維護全局變量。後者是一個指針,指向目前活動的變量符号表,當程式進入到某個函數中時,zend就會為它配置設定一個符号表x同時将active_symbol_table指向a。通過這樣的方式實作全局、局部變量的區分

擷取變量值

          php的符号表是通過hash_table實作的,對于每個變量都配置設定唯一辨別,擷取的時候根據辨別從表中找到相應zval傳回

函數中使用全局變量

         在函數中,我們可以通過顯式申明global來使用全局變量。在active_symbol_table中建立symbol_table中同名變量的引用,如果symbol_table中沒有同名變量則會先建立。

本文轉自百度技術51CTO部落格,原文連結:http://blog.51cto.com/baidutech/743751,如需轉載請自行聯系原作者