深入理解PHP内核(四)概览-PHP脚本的执行

本文链接:http://www.orlion.ml/236/

下面以php命令行程序为例解释PHP脚本是怎么被执行的。例如如下脚本:

<?php
$str = 'hello world';
echo $str;
?>

假设这段代码保存在hello.php文件中,在命令行中执行:

$ php ./hello.php

会输出hello world,那么在执行脚本的时候PHP/Zend都做了什么呢?

一、程序的执行

  上例中,传递给php程序需要执行的文件,php程序完成基本的准备工作后启动PHP及Zend引擎,加载注册的扩展模块。

  初始化后读取脚本文件,Zend引擎对脚本文件进行词法分析,语法分析。然后编译成opcode执行。如安装了apc之类的opcode缓存,编译环节可能会被跳过而直接从缓存中读取opcode执行

  1、脚本的编译执行

  php在读入到脚本文件后首先对代码进行词法分析,php的词法分析器是通过lex生成的,词法规则文件在$PHP_SRC/Zend/Zend_language_scanner.l,这一阶段lex会会将源代码按照词法规则切分一个一个的标记(token).PHP中提供了一个函数token_get_all()函数,该函数接收一个字符串参数,返回一个按照词法规则切分好的数组。例如将上边的php代码作为参数传递给这个函数:

<?php
$code = <<<PHP_CODE
<?php
$str = 'hello world';
echo $str;
PHP_CODE;
var_dump(token_get_all($code));
?>

运行上边的代码结果:

array (size=10)
0 =>
array (size=3)
0 => int 374 // 脚本开始标记
1 => string '<?php // 匹配到的字符串
' (length=6)
2 => int 1
1 =>
array (size=3)
0 => int 377
1 => string ' ' (length=1)
2 => int 2
2 => string '=' (length=1)
3 =>
array (size=3)
0 => int 377
1 => string ' ' (length=1)
2 => int 2
4 =>
array (size=3)
0 => int 316
1 => string ''hello world'' (length=13)
2 => int 2
5 => string ';' (length=1)
6 =>
array (size=3)
0 => int 377
1 => string '
' (length=1)
2 => int 2
7 =>
array (size=3)
0 => int 317
1 => string 'echo' (length=4)
2 => int 3
8 =>
array (size=3)
0 => int 377
1 => string ' ' (length=1)
2 => int 3
9 => string ';' (length=1)

这也是Zend引擎词法分析做的事情,将代码切分为一个个的标记,然后使用语法分析器(PHP使用bison生成语法分析器,规则见$PHP_SRC/Zend/zend_language_parser.y)bison根据规则进行相应的处理,如果代码找不到匹配的规则,也就是语法错误时Zend引擎会停止,并输出错误信息。匹配到相应的语法规则后,Zend引擎还会进行编译,将代码编译为opcode,完成后Zend引擎会执行这些opcode,在执行过程中还有可能会继续重复进行编译-执行。例如执行eval,include,require等语句。

  例如上例中的echo语句会编译成为一条ZEND_ECHO指令,执行过程中,该指令由C函数zend_print_variable(zval *z)执行,将传递的字符串打印出来。

  

  2、词法分析和语法分析

  3、opcode

在PHP实现内部,opcode由如下的结构体表示:

struct _zend_op {
opcode_handler_t handler; // 执行该opcode时调用的处理函数
znode result;
znode op1;
znode op2;
ulong extended_value;
uint lineno;
zend_uchar opcode; // opcode代码
};

和CPU指令类似,有一个标示指令的opcode字段,以及这个opcode所操作的操作数,PHP不像汇编那么底层,在脚本实际执行的时候可能还需要其他更多的信息,extend_value字段就保存了这类信息,其中result域则是保存该指令执行完成后的结果。

例如如下代码就是在编译器遇到print语句的时候进行编译的函数:

void zend_do_print(znode *resultconst znode *arg TSRMLS_DC)
{
zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC); opline->result.op_type = IS_TMP_VAR;
opline->result.u.var = get_temporary_variable(CG(active_op_array));
opline->opcode = ZEND_PRINT;
opline->op1 = *arg;
SET_UNUSED(opline->op2);
*result = opline->result;
}

这个函数新创建一条zend_op,将返回值的类型设置为临时变量(IS_TMP_VAR),并为临时变量申请空间,随后执行opcode为ZEND_PRINT,并将传递进来的参数复制给这条opcode的第一个操作数。这样在最终执行这条opcode的时候,Zend引擎能获取到足够的信息以便输出内容。

PHP脚本编译为opcode保存在op_array中,其内部存储的结构如下:

struct _zend_op_array {
/* Common elements */
zend_uchar type;
char *function_name; // 如果是用户定义的函数则这里将保存函数的名字
zend_class_entry *scope;
zend_uint fn_flags;
union _zend_function *prototype;
zend_uint num_args;
zend_uint required_num_args;
zend_arg_info *arg_info;
zend_bool pass_rest_by_reference;
unsigned char return_reference;
/* END of common elements */ zend_bool done_pass_two; zend_uint *refcount; zend_op *opcodes; // opcode数组 zend_uint lastsize; zend_compiled_variable *vars;
 
  int last_varsize_var;
  // ...
}

如上边的注释,opcode保存在这里,在执行的时候有下面的execute函数执行:

ZEND_API void execute(zend_op_array *op_array TSRMLS_DC)
{
// 循环执行op_array中的opcode或者执行其他op_array中的opcode
}
上一篇:JavaScript学习总结(二十三)——JavaScript 内存泄漏教程


下一篇:洛谷P2542 [AHOI2005]航线规划(LCT,双连通分量,并查集)