PHP-Zend引擎剖析之Hello World（二）

我们还是从命令行入手，在$PHPSRC/sapi/cli/php_cli.c中的do_cli函数里边接收了命令行的参数输入（php -f HelloWorld.php表示执行HelloWorld.php文件）。

我们追踪到$PHPSRC/main/main.c里边有php_execute_script的定义，紧接着调用了zend_execute_scripts() <Zend/Zend.c>，在zend_execute_scripts的定义里边我们发现了：

 EG(active_op_array) = zend_compile_file(file_handle, type TSRMLS_CC);
zend_execute(EG(active_op_array) TSRMLS_CC);

首先通过zend_compile_file把文件解析成opcode中间代码（这一步会经过词法语法分析），然后用zend_execute执行这个生成的中间代码（这里就是所谓的运行时）。

这里很像C语言的编译方式，先编译成汇编，然后再转成机器码，这里的opcode就类似C语言编译过程中生成的汇编。

还可以延伸出一个思路，因为每次解析PHP文件时，都需要经过词法语法分析得到对应的opcode，其实在脚本文件不变化的时候，生成的opcode也不需要变化，因此为了减少PHP脚本的执行时间，可以把脚本的opcode缓存起来（例如缓存在共享内存里边）。

我给出一个流程图，然后随着这个流程图，看看Zend做了些什么事情：

我们先看看如何编译出opcode的。

start:
top_statement_list     { zend_do_end_compilation(TSRMLS_C); }
;top_statement_list:
top_statement_list  { zend_do_extended_info(TSRMLS_C); } top_statement { HANDLE_INTERACTIVE(); }
|     /* empty */
;top_statement:
statement                              { zend_verify_namespace(TSRMLS_C); }
;statement:
unticked_statement { DO_TICKS(); }
|     T_STRING ':' { zend_do_label(&$1 TSRMLS_CC); }
;unticked_statement:
|     T_ECHO echo_expr_list ';'echo_expr_list:
echo_expr_list ',' expr { zend_do_echo(&$3 TSRMLS_CC); }
|     expr                         { zend_do_echo(&$1 TSRMLS_CC); }
;

expr:
r_variable                         { $$ = $1; }
|     expr_without_variable          { $$ = $1; }
;

expr_without_variable:
|     scalar                    { $$ = $1; }

scalar:
|     common_scalar               { $$ = $1; }
;

common_scalar:
|     T_CONSTANT_ENCAPSED_STRING     { $$ = $1; }
;

语法分析从start开始，自上而下的分析，一个PHP脚本就是对应一个top_statement_list，接着分成每一行一条语句statement，发现echo ‘Hello World’是一条unticked_statement（留意一下echo_expr_list的声明， 我们还可以发现语法上是支持echo ‘Hello’, ‘ World’的）。最后递归到T_CONSTANT_ENCAPSED_STRING状态就结束了这一行的语法解析。在这里我们忽略掉编译原理在语法分析阶段是怎么去做回溯等等东西，我们关注一下Zend引擎自身的的问题。

在zend_vm_execute.h定义了opcode对应的所有的handler，我们只关注echo相关的handler，注意到其中的代码：

请花费短暂的时间先记住这里的labels以及行数。

---

---

结语