http://www.laruence.com/2008/06/18/221.html
最近要給Yahoo的同事們做一個(gè)關(guān)于PHP和Apache處理請(qǐng)求的內(nèi)部機(jī)制的講座，剛好寫(xiě)了些關(guān)于Opcodes的文字，就發(fā)上來(lái)了，這個(gè)文章基于 Sara Golemon大師的《Understanding OPcode》
Opcode是一種PHP腳本編譯后的中間語(yǔ)言，就像Java的ByteCode,或者.NET的MSL，舉個(gè)例子，比如你寫(xiě)下了如下的PHP代碼：
- <?php
- echo "Hello World";
- $a = 1 + 1;
- echo $a;
- ?>
PHP執(zhí)行這段代碼會(huì)經(jīng)過(guò)如下4個(gè)步驟(確切的來(lái)說(shuō)，應(yīng)該是PHP的語(yǔ)言引擎Zend)
- 1.Scanning(Lexing) ,將PHP代碼轉(zhuǎn)換為語(yǔ)言片段(Tokens)
- 2.Parsing, 將Tokens轉(zhuǎn)換成簡(jiǎn)單而有意義的表達(dá)式
- 3.Compilation, 將表達(dá)式編譯成Opocdes
- 4.Execution, 順次執(zhí)行Opcodes，每次一條，從而實(shí)現(xiàn)PHP腳本的功能
題外話:現(xiàn)在有的Cache比如APC,可以使得PHP緩存住Opcodes，這樣，每次有請(qǐng)求來(lái)臨的時(shí)候，就不需要重復(fù)執(zhí)行前面3步，從而能大幅的提高PHP的執(zhí)行速度。
那什么是Lexing? 學(xué)過(guò)編譯原理的同學(xué)都應(yīng)該對(duì)編譯原理中的詞法分析步驟有所了解，Lex就是一個(gè)詞法分析的依據(jù)表。 Zend/zend_language_scanner.c會(huì)根據(jù)Zend/zend_language_scanner.l(Lex文件),來(lái)輸入的 PHP代碼進(jìn)行詞法分析，從而得到一個(gè)一個(gè)的“詞”，PHP4.2開(kāi)始提供了一個(gè)函數(shù)叫token_get_all,這個(gè)函數(shù)就可以講一段PHP代碼 Scanning成Tokens；
如果用這個(gè)函數(shù)處理我們開(kāi)頭提到的PHP代碼，將會(huì)得到如下結(jié)果:
- Array
- (
- [0] => Array
- (
- [0] => 367
- [1] => Array
- (
- [0] => 316
- [1] => echo
- )
- [2] => Array
- (
- [0] => 370
- [1] =>
- )
- [3] => Array
- (
- [0] => 315
- [1] => "Hello World"
- )
- [4] => ;
- [5] => Array
- (
- [0] => 370
- [1] =>
- )
- [6] => =
- [7] => Array
- (
- [0] => 370
- [1] =>
- )
- [8] => Array
- (
- [0] => 305
- [1] => 1
- )
- [9] => Array
- (
- [0] => 370
- [1] =>
- )
- [10] => +
- [11] => Array
- (
- [0] => 370
- [1] =>
- )
- [12] => Array
- (
- [0] => 305
- [1] => 1
- )
- [13] => ;
- [14] => Array
- (
- [0] => 370
- [1] =>
- )
- [15] => Array
- (
- [0] => 316
- [1] => echo
- )
- [16] => Array
- (
- [0] => 370
- [1] =>
- )
- [17] => ;
- )
分析這個(gè)返回結(jié)果我們可以發(fā)現(xiàn)，源碼中的字符串，字符，空格，都會(huì)原樣返回。每個(gè)源代碼中的字符，都會(huì)出現(xiàn)在相應(yīng)的順序處。而，其他的比如標(biāo)簽，操作符，語(yǔ)句，都會(huì)被轉(zhuǎn)換成一個(gè)包含倆部分的Array: Token ID (也就是在Zend內(nèi)部的改Token的對(duì)應(yīng)碼，比如,T_ECHO,T_STRING)，和源碼中的原來(lái)的內(nèi)容。
接下來(lái)，就是Parsing階段了，Parsing首先會(huì)丟棄Tokens Array中的多于的空格，然后將剩余的Tokens轉(zhuǎn)換成一個(gè)一個(gè)的簡(jiǎn)單的表達(dá)式
- 1.echo a constant string
- 2.add two numbers together
- 3.store the result of the prior expression to a variable
- 4.echo a variabl
然后就改Compilation階段了，它會(huì)把Tokens編譯成一個(gè)個(gè)op_array, 每個(gè)op_arrayd包含如下5個(gè)部分：
- 1.Opcode數(shù)字的標(biāo)識(shí)，指明了每個(gè)op_array的操作類型，比如add , echo
- 2.結(jié)果 存放Opcode結(jié)果
- 3.操作數(shù)1 給Opcode的操作數(shù)
- 4.操作數(shù)2
- 5.擴(kuò)展值 1個(gè)整形用來(lái)區(qū)別被重載的操作
比如，我們的PHP代碼會(huì)被Parsing成:
- * ZEND_ECHO 'Hello World'
- * ZEND_ADD ~0 1 1
- * ZEND_ASSIGN !0 ~0
- * ZEND_ECHO !
呵呵，你可能會(huì)問(wèn)了，我們的$a去那里了？
恩，這個(gè)要介紹操作數(shù)了，每個(gè)操作數(shù)都是由以下倆個(gè)部分組成：
- a)op_type : 為IS_CONST, IS_TMP_VAR, IS_VAR, IS_UNUSED, or IS_CV
-
- b)u,一個(gè)聯(lián)合體，根據(jù)op_type的不同，分別用不同的類型保存了這個(gè)操作數(shù)的值(const)或者左值(var
而對(duì)于var來(lái)說(shuō)，每個(gè)var也不一樣
IS_TMP_VAR, 顧名思義，這個(gè)是一個(gè)臨時(shí)變量，保存一些op_array的結(jié)果，以便接下來(lái)的op_array使用，這種的操作數(shù)的u保存著一個(gè)指向變量表的一個(gè)句柄（整數(shù)），這種操作數(shù)一般用~開(kāi)頭，比如~0,表示變量表的0號(hào)未知的臨時(shí)變量
IS_VAR 這種就是我們一般意義上的變量了,他們以$開(kāi)頭表示
IS_CV 表示ZE2.1/PHP5.1以后的編譯器使用的一種cache機(jī)制，這種變量保存著被它引用的變量的地址，當(dāng)一個(gè)變量第一次被引用的時(shí)候，就會(huì)被CV起來(lái)，以后對(duì)這個(gè)變量的引用就不需要再次去查找active符號(hào)表了，CV變量以！開(kāi)頭表示。
這么看來(lái)，我們的$a被優(yōu)化成!0了。
Related Posts:
Tags: PHP, Zend/PHP