php代码编译的实现

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) = ;

        CG(ast) = NULL;

        CG(ast_arena) = zend_arena_create( * );

        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, );

            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 = ;

            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.c

void 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 = ; 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代码编译的实现

最新文章

热门文章