1.php是解析型的高级语言,zend内核使用c语言实现,有main函数,php脚本就是输入,内核处理后输出结果,内核将php脚本翻译成c程序可识别的opcode就是php的编译。
c语言的编译将c代码编译成机器码,这些机器码就是操作指令,将指令写入二进制程序load相应的内存区(常量区 数据区 代码区),分配运行栈,开始从代码区依次执行。
php编译差不多,将php脚本解析成opcode,每条opcode就是c的stuct,对应着相应的机器指令,执行过程就是zend引擎执行这些opcode,编译过程包括词法分析、语法分析,就的php版本直接生成opcode,php7新增在语法分析阶段生成抽象语法树,然后生成opcode_array。
2.词法分析、语法分析 (PHP代码->抽象语法树(AST))
PHP使用re2c、bison完成这个阶段的工作
re2c: 词法分析器,将输入分割为一个个有意义的词块,称为token
bison: 语法分析器,确定词法分析器分割出的token是如何彼此关联的
3.opcode_array结构
zend引擎会把AST进一步编译为 zend_op_array ,它是编译阶段最终的产物,也是执行阶段的输入。 AST解析过程确定了当前脚本定义了哪些变量,并为这些变量 顺序编号 ,这些值在使用时都是按照这个编号获取的,另外也将变量的初始化值、调用的函数/类/常量名称等值(称之为字面量)保存到zend_op_array.literals中,这些字面量也有一个唯一的编号,所以执行的过程实际就是根据各指令调用不同的C函数,然后根据变量、字面量、临时变量的编号对这些值进行处理加工。
PHP主脚本会生成一个zend_op_array,每个function也会编译为独立的zend_op_array,所以从二进制程序的角度看zend_op_array包含着当前作用域下的所有堆栈信息,函数调用实际就是不同zend_op_array间的切换
opcode的结构
struct _zend_op_array { ???//common是普通函数或类成员方法对应的opcodes快速访问时使用的字段,后面分析PHP函数实现的时候会详细讲 ???... ???uint32_t *refcount; ???uint32_t this_var; ???uint32_t last; ???//opcode指令数组 ???zend_op *opcodes; ???//PHP代码里定义的变量数:op_type为IS_CV的变量,不含IS_TMP_VAR、IS_VAR的 ???//编译前此值为0,然后发现一个新变量这个值就加1 ???int last_var; ???//临时变量数:op_type为IS_TMP_VAR、IS_VAR的变量 ???uint32_t T; ???//PHP变量名数组 ???zend_string **vars; //这个数组在ast编译期间配合last_var用来确定各个变量的编号,非常重要的一步操作 ???... ???//静态变量符号表:通过static声明的 ???HashTable *static_variables; ???... ???//字面量数量 ???int last_literal; ????//字面量(常量)数组,这些都是在PHP代码定义的一些值 ???zval *literals; ???//运行时缓存数组大小 ???int ?cache_size; ???//运行时缓存,主要用于缓存一些znode_op以便于快速获取数据,后面单独介绍这个机制 ???void **run_time_cache; ???void *reserved[ZEND_MAX_RESERVED_RESOURCES];};
handler是每条opcode对应的C语言编写的 处理过程,所有hadler定义在zend_vm_def.h
中,有三种不同的提供形式:CALL、SWITCH、GOTO,默认方式为CALL。
每条opcode都有两个操作数, 操作数记录着当前指令的关键信息(操作数类型实际就是个32位整形,它主要用于存储一些变量的索引位置、数值记录等等)。
每个操作都有5种不同的类型 IS_CONST:字面量,IS_TMP_VAR:临时变量, IS_VAR:PHP变量, IS_CV:PHP脚本变量, IS_UNUSED:表示操作数没有用。
PHP代码不会直接编译为机器码,但编译、执行的设计跟C程序是一致的,也有常量区、变量也通过偏移量访问、也有虚拟的执行栈。
在编译时就可确定且不会改变的量称为字面量,也称作常量(IS_CONST),这些值在编译阶段就已经分配zval,保存在zend_op_array->literals
数组中,访问时通过_zend_op_array->literals + 偏移量
读取。
4.抽象语法树(AST)编译 (AST-> zend_op_array)
ZEND_API zend_op_array *compile_file(zend_file_handle *file_handle, int type){ ???zend_op_array *op_array = NULL; //编译出的opcodes ???... ???if (open_file_for_scanning(file_handle)==FAILURE) {//文件打开失败 ???????... ???} else { ???????zend_bool original_in_compilation = CG(in_compilation); ???????CG(in_compilation) = 1; ???????CG(ast) = NULL; ???????CG(ast_arena) = zend_arena_create(1024 * 32); ???????if (!zendparse()) { //语法解析 ???????????zval retval_zv; ???????????zend_file_context original_file_context; //保存原来的zend_file_context ???????????zend_oparray_context original_oparray_context; //保存原来的zend_oparray_context,编译期间用于记录当前zend_op_array的opcodes、vars等数组的总大小 ???????????zend_op_array *original_active_op_array = CG(active_op_array); ???????????op_array = emalloc(sizeof(zend_op_array)); //分配zend_op_array结构 ???????????init_op_array(op_array, ZEND_USER_FUNCTION, INITIAL_OP_ARRAY_SIZE);//初始化op_array ???????????CG(active_op_array) = op_array; //将当前正在编译op_array指向当前 ???????????ZVAL_LONG(&retval_zv, 1); ???????????if (zend_ast_process) { ???????????????zend_ast_process(CG(ast)); ???????????} ???????????zend_file_context_begin(&original_file_context); //初始化CG(file_context) ???????????zend_oparray_context_begin(&original_oparray_context); //初始化CG(context) ???????????zend_compile_top_stmt(CG(ast)); //AST->zend_op_array编译流程 ???????????zend_emit_final_return(&retval_zv); //设置最后的返回值 ???????????op_array->line_start = 1; ???????????op_array->line_end = CG(zend_lineno); ???????????pass_two(op_array); ???????????zend_oparray_context_end(&original_oparray_context); ???????????zend_file_context_end(&original_file_context); ???????????CG(active_op_array) = original_active_op_array; ???????} ???????... ???} ???... ???return op_array;}
compile_file()操作中有几个保存原来值的操作,这是因为这个函数在PHP脚本执行中并不会只执行一次,主脚本执行时会第一次调用,而include、require也会调用,所以需要先保存当前值,然后执行完再还原回去。
AST->zend_op_array编译是在 zend_compile_top_stmt() 中完成,这个函数是总入口,会被多次递归调用:
//zend_compile.cvoid zend_compile_top_stmt(zend_ast *ast){ ???if (!ast) { ???????return; ???} ???if (ast->kind == ZEND_AST_STMT_LIST) { //第一次进来一定是这种类型 ???????zend_ast_list *list = zend_ast_get_list(ast); ???????uint32_t i; ???????for (i = 0; i < list->children; ++i) { ???????????zend_compile_top_stmt(list->child[i]);//list各child语句相互独立,递归编译 ???????} ???????return; ???} ???//各语句编译入口 ???zend_compile_stmt(ast); ???if (ast->kind != ZEND_AST_NAMESPACE && ast->kind != ZEND_AST_HALT_COMPILER) { ???????zend_verify_namespace(); ???} ???//function、class两种情况的处理,非常关键的一步操作,后面分析函数、类实现的章节再详细分析 ???if (ast->kind == ZEND_AST_FUNC_DECL || ast->kind == ZEND_AST_CLASS) { ???????CG(zend_lineno) = ((zend_ast_decl *) ast)->end_lineno; ???????zend_do_early_binding(); //很重要!!! ???}}
首先从AST的根节点开始编译,根节点类型为ZEND_AST_STMT_LIST,这个类型表示当前节点下有多个独立的节点,各child都是独立的语句生成的节点,所以依次编译即可,直到到达有效节点位置(非ZEND_AST_STMT_LIST节点),然后调用zend_compile_stmt
编译当前节点:
void zend_compile_stmt(zend_ast *ast){ ???CG(zend_lineno) = ast->lineno; ???switch (ast->kind) { ???????case xxx: ???????????... ???????break; ???????case ZEND_AST_ECHO: ???????????zend_compile_echo(ast); ???????????break; ???????... ???????default: ???????{ ???????????znode result; ???????????zend_compile_expr(&result, ast); ???????????zend_do_free(&result); ???????} ???} ???????if (FC(declarables).ticks && !zend_is_unticked_stmt(ast)) { ???????zend_emit_tick(); ???}}
根据不同的节点类型(kind)作不同的处理。
最终编译的结果就是zend_op_array,其中最核心的操作就是AST的编译了,编译阶段很关键的一个操作就是确定了各个 变量、中间值、临时值、返回值、字面量 的 内存编号 ,这个地方非常重要,后面介绍执行流程时也会用到。
php代码编译的实现
原文地址:https://www.cnblogs.com/hellohell/p/9101498.html