资讯专栏INFORMATION COLUMN

【PHP7源码分析】如何理解PHP虚拟机(一)

tunny / 2506人阅读

摘要:操作数本身并无数据类型,它的数据类型由操作码确定任何架构的计算机都会对外提供指令集合运算器通过执行指令直接发出控制信号控制计算机各项操作。

顺风车运营研发团队 李乐

1.从物理机说起

虚拟机也是计算机,设计思想和物理机有很多相似之处;

1.1冯诺依曼体系结构

冯·诺依曼是当之无愧的数字计算机之父,当前计算机都采用的是冯诺依曼体系结构;设计思想主要包含以下几个方面:

指令和数据不加区别混合存储在同一个存储器中,它们都是内存中的数据。现代CPU的保护模式,每个内存段都有段描述符,这个描述符记录着这个内存段的访问权限(可读,可写,可执行)。这就变相的指定了哪些内存中存储的是指令哪些是数据);

存储器是按地址访问的线性编址的一维结构,每个单元的位数是固定的;

数据以二进制表示;

指令由操作码和操作数组成。操作码指明本指令的操作类型,操作数指明操作数本身或者操作数的地址。操作数本身并无数据类型,它的数据类型由操作码确定;任何架构的计算机都会对外提供指令集合;

运算器通过执行指令直接发出控制信号控制计算机各项操作。由指令计数器指明待执行指令所在的内存地址。指令计数器只有一个,一般按顺序递增,但执行顺序可能因为运算结果或当时的外界条件而改变;

1.2汇编语言简介

任何架构的计算机都会提供一组指令集合;

指令由操作码和操作数组成;操作码即操作类型,操作数可以是一个立即数或者一个存储地址;每条指令可以有0、1或2个操作数;

指令就是一串二进制;汇编语言是二进制指令的文本形式;

</>复制代码

  1. push %ebx
  2. mov %eax, [%esp+8]
  3. mov %ebx, [%esp+12]
  4. add %eax, %ebx
  5. pop %ebx

push、mov、add、pop等就是操作码;
%ebx寄存器;[%esp+12]内存地址;
操作数只是一块可存取数据的存储区;操作数本身并无数据类型,它的数据类型由操作码确定;
如movb传送字节,movw传送字,movl传送双字等

1.3 函数调用栈

过程(函数)是对代码的封装,对外暴露的只是一组指定的参数和一个可选的返回值;可以在程序中不同的地方调用这个函数;假设过程P调用过程Q,Q执行后返回过程P;为了实现这一功能,需要考虑三点:

指令跳转:进入过程Q的时候,程序计数器必须被设置为Q的代码的起始地址;在返回时,程序计数器需要设置为P中调用Q后面那条指令的地址;

数据传递:P能够向Q提供一个或多个参数,Q能够向P返回一个值;

内存分配与释放:Q开始执行时,可能需要为局部变量分配内存空间,而在返回前,又需要释放这些内存空间;

大多数的语言过程调用都采用了栈数据结构提供的内存管理机制;如下图所示:

函数的调用与返回即对应的是一系列的入栈与出栈操作;
函数在执行时,会有自己私有的栈帧,局部变量就是分配在函数私有栈帧上的;
平时遇到的栈溢出就是因为调用函数层级过深,不断入栈导致的;

2.PHP虚拟机

虚拟机也是计算机,参考物理机的设计,设计虚拟机时,首先应该考虑三个要素:指令,数据存储,函数栈帧;

下面从这三点详细分析PHP虚拟机的设计思路;

2.1指令 2.1.1 指令类型

任何架构的计算机都需要对外提供一组指令集,其代表计算机支持的一组操作类型;

PHP虚拟机对外提供186种指令,定义在zend_vm_opcodes.h文件中;

</>复制代码

  1. //加、减、乘、除等
  2. #define ZEND_ADD 1
  3. #define ZEND_SUB 2
  4. #define ZEND_MUL 3
  5. #define ZEND_DIV 4
  6. #define ZEND_MOD 5
  7. #define ZEND_SL 6
  8. #define ZEND_SR 7
  9. #define ZEND_CONCAT 8
  10. #define ZEND_BW_OR 9
  11. #define ZEND_BW_AND 10
  12. ……………………
2.1.2 指令 2.1.2.1指令的表示

指令由操作码和操作数组成;操作码指明本指令的操作类型,操作数指明操作数本身或者操作数的地址;

PHP虚拟机定义指令格式为:操作码 操作数1 操作数2 返回值;其使用结构体_zend_op表示一条指令:

</>复制代码

  1. struct _zend_op {
  2. const void *handler; //指针,指向当前指令的执行函数
  3. znode_op op1; //操作数1
  4. znode_op op2; //操作数2
  5. znode_op result; //返回值
  6. uint32_t extended_value;//扩展
  7. uint32_t lineno; //行号
  8. zend_uchar opcode; //指令类型
  9. zend_uchar op1_type; //操作数1的类型(此类型并不代表字符串、数组等数据类型;其表示此操作数是常量,临时变量,编译变量等)
  10. zend_uchar op2_type; //操作数2的类型
  11. zend_uchar result_type; //返回值的类型
  12. };
2.1.2.2 操作数的表示

从上面可以看到,操作数使用结构体znode_op表示,定义如下:

constant、var、num等都是uint32_t类型的,这怎么表示一个操作数呢?(既不是指针不能代表地址,也无法表示所有数据类型);
其实,操作数大多情况采用的相对地址表示方式,constant等表示的是相对于执行栈帧首地址的偏移量;
另外,_znode_op结构体中有个zval *zv字段,其也可以表示一个操作数,这个字段是一个指针,指向的是zval结构体,PHP虚拟机支持的所有数据类型都使用zval结构体表示;

</>复制代码

  1. typedef union _znode_op {
  2. uint32_t constant;
  3. uint32_t var;
  4. uint32_t num;
  5. uint32_t opline_num;
  6. #if ZEND_USE_ABS_JMP_ADDR
  7. zend_op *jmp_addr;
  8. #else
  9. uint32_t jmp_offset;
  10. #endif
  11. #if ZEND_USE_ABS_CONST_ADDR
  12. zval *zv;
  13. #endif
  14. } znode_op;
2.2 数据存储

PHP虚拟机支持多种数据类型:整型、浮点型、字符串、数组,对象等;PHP虚拟机如何存储和表示多种数据类型?

2.1.2.2节指出结构体_znode_op代表一个操作数;操作数可以是一个偏移量(计算得到一个地址,即zval结构体的首地址),或者一个zval指针;PHP虚拟机使用zval结构体表示和存储多种数据;

</>复制代码

  1. struct _zval_struct {
  2. zend_value value; //存储实际的value值
  3. union {
  4. struct { //一些标志位
  5. ZEND_ENDIAN_LOHI_4(
  6. zend_uchar type, //重要;表示变量类型
  7. zend_uchar type_flags,
  8. zend_uchar const_flags,
  9. zend_uchar reserved) /* call info for EX(This) */
  10. } v;
  11. uint32_t type_info;
  12. } u1;
  13. union { //其他有用信息
  14. uint32_t next; /* hash collision chain */
  15. uint32_t cache_slot; /* literal cache slot */
  16. uint32_t lineno; /* line number (for ast nodes) */
  17. uint32_t num_args; /* arguments number for EX(This) */
  18. uint32_t fe_pos; /* foreach position */
  19. uint32_t fe_iter_idx; /* foreach iterator index */
  20. uint32_t access_flags; /* class constant access flags */
  21. uint32_t property_guard; /* single property guard */
  22. } u2;
  23. };

zval.u1.type表示数据类型, zend_types.h文件定义了以下类型:

</>复制代码

  1. #define IS_UNDEF 0
  2. #define IS_NULL 1
  3. #define IS_FALSE 2
  4. #define IS_TRUE 3
  5. #define IS_LONG 4
  6. #define IS_DOUBLE 5
  7. #define IS_STRING 6
  8. #define IS_ARRAY 7
  9. #define IS_OBJECT 8
  10. #define IS_RESOURCE 9
  11. #define IS_REFERENCE 10
  12. …………

zend_value存储具体的数据内容,结构体定义如下:

_zend_value占16字节内存;long、double类型会直接存储在结构体;引用、字符串、数组等类型使用指针存储;

代码中根据zval.u1.type字段,判断数据类型,以此决定操作_zend_value结构体哪个字段;

可以看出,字符串使用zend_string表示,数组使用zend_array表示…

</>复制代码

  1. typedef union _zend_value {
  2. zend_long lval;
  3. double dval;
  4. zend_refcounted *counted;
  5. zend_string *str;
  6. zend_array *arr;
  7. zend_object *obj;
  8. zend_resource *res;
  9. zend_reference *ref;
  10. zend_ast_ref *ast;
  11. zval *zv;
  12. void *ptr;
  13. zend_class_entry *ce;
  14. zend_function *func;
  15. struct {
  16. uint32_t w1;
  17. uint32_t w2;
  18. } ww;
  19. } zend_value;

如下图为PHP7中字符串结构图:

2.3 再谈指令

2.1.2.1指出,指令使用结构体_zend_op表示;其中最主要2个属性:操作函数,操作数(两个操作数和一个返回值);

操作数的类型(常量、临时变量等)不同,同一个指令对应的handler函数也会不同;操作数类型定义在 Zend/zend_compile.h文件:

</>复制代码

  1. //常量
  2. #define IS_CONST (1<<0)
  3. //临时变量,用于操作的中间结果;不能被其他指令对应的handler重复使用
  4. #define IS_TMP_VAR (1<<1)
  5. //这个变量并不是PHP代码中声明的变量,常见的是返回的临时变量,比如$a=time(), 函数time返回值的类型就是IS_VAR,这种类型的变量是可以被其他指令对应的handler重复使用的
  6. #define IS_VAR (1<<2)
  7. #define IS_UNUSED (1<<3) /* Unused variable */
  8. //编译变量;即PHP中声明的变量;
  9. #define IS_CV (1<<4) /* Compiled variable */

操作函数命名规则为:ZEND_[opcode]_SPEC_(操作数1类型)_(操作数2类型)_(返回值类型)_HANDLER

比如赋值语句就有以下多种操作函数:

</>复制代码

  1. ZEND_ASSIGN_SPEC_VAR_CONST_RETVAL_UNUSED_HANDLER,
  2. ZEND_ASSIGN_SPEC_VAR_TMP_RETVAL_UNUSED_HANDLER,
  3. ZEND_ASSIGN_SPEC_VAR_VAR_RETVAL_UNUSED_HANDLER,
  4. ZEND_ASSIGN_SPEC_VAR_CV_RETVAL_UNUSED_HANDLER,

对于$a=1,其操作函数为: ZEND_ASSIGN_SPEC_CV_CONST_RETVAL_UNUSED_HANDLER;函数实现为:

</>复制代码

  1. static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_ASSIGN_SPEC_CV_CONST_RETVAL_UNUSED_HANDLER(ZEND_OPCODE_HANDLER_ARGS)
  2. {
  3. USE_OPLINE
  4. zval *value;
  5. zval *variable_ptr;
  6. SAVE_OPLINE();
  7. //获取op2对应的值,也就是1
  8. value = EX_CONSTANT(opline->op2);
  9. //在execute_data中获取op1的位置,也就是$a(execute_data类似函数栈帧,后面详细分析)
  10. variable_ptr = _get_zval_ptr_cv_undef_BP_VAR_W(execute_data, opline->op1.var);
  11. //赋值
  12. value = zend_assign_to_variable(variable_ptr, value, IS_CONST);
  13. if (UNEXPECTED(0)) {
  14. ZVAL_COPY(EX_VAR(opline->result.var), value);
  15. }
  16. ZEND_VM_NEXT_OPCODE_CHECK_EXCEPTION();
  17. }
2.4 函数栈帧 2.4.1指令集

上面分析了指令的结构与表示,PHP虚拟机使用_zend_op_array表示指令的集合:

</>复制代码

  1. struct _zend_op_array {
  2. …………
  3. //last表示指令总数;opcodes为存储指令的数组;
  4. uint32_t last;
  5. zend_op *opcodes;
  6. //变量类型为IS_CV的个数
  7. int last_var;
  8. //变量类型为IS_VAR和IS_TEMP_VAR的个数
  9. uint32_t T;
  10. //存放IS_CV类型变量的数组
  11. zend_string **vars;
  12. …………
  13. //静态变量
  14. HashTable *static_variables;
  15. //常量个数;常量数组
  16. int last_literal;
  17. zval *literals;
  18. };

注意: last_var代表IS_CV类型变量的个数,这种类型变量存放在vars数组中;在整个编译过程中,每次遇到一个IS_CV类型的变量(类似于$something),就会去遍历vars数组,检查是否已经存在,如果不存在,则插入到vars中,并将last_var的值设置为该变量的操作数;如果存在,则使用之前分配的操作数

2.4.2 函数栈帧

PHP虚拟机实现了与1.3节物理机类似的函数栈帧结构;

使用 _zend_vm_stack表示栈结构;多个栈之间使用prev字段形成单向链表;top和end指向栈低和栈顶,分别为zval类型的指针;

</>复制代码

  1. struct _zend_vm_stack {
  2. zval *top;
  3. zval *end;
  4. zend_vm_stack prev;
  5. };

考虑如何设计函数执行时候的帧结构:当前函数执行时,需要存储函数编译后的指令,需要存储函数内部的局部变量等(2.1.2.2节指出,操作数使用结构体znode_op表示,其内部使用uint32_t表示操作数,此时表示的就是当前zval变量相对于当前函数栈帧首地址的偏移量);

PHP虚拟机使用结构体_zend_execute_data存储当前函数执行所需数据;

</>复制代码

  1. struct _zend_execute_data {
  2. //当前指令指令
  3. const zend_op *opline;
  4. //当前函数执行栈帧
  5. zend_execute_data *call;
  6. //函数返回数据
  7. zval *return_value;
  8. zend_function *func;
  9. zval This; /* this + call_info + num_args */
  10. //调用当前函数的栈帧
  11. zend_execute_data *prev_execute_data;
  12. //符号表
  13. zend_array *symbol_table;
  14. #if ZEND_EX_USE_RUN_TIME_CACHE
  15. void **run_time_cache;
  16. #endif
  17. #if ZEND_EX_USE_LITERALS
  18. //常量数组
  19. zval *literals;
  20. #endif
  21. };

函数开始执行时,需要为函数分配相应的函数栈帧并入栈,代码如下:

</>复制代码

  1. static zend_always_inline zend_execute_data *zend_vm_stack_push_call_frame(uint32_t call_info, zend_function *func, uint32_t num_args, zend_class_entry *called_scope, zend_object *object)
  2. {
  3. //计算当前函数栈帧需要内存空间大小
  4. uint32_t used_stack = zend_vm_calc_used_stack(num_args, func);
  5. //根据栈帧大小分配空间,入栈
  6. return zend_vm_stack_push_call_frame_ex(used_stack, call_info,
  7. func, num_args, called_scope, object);
  8. }
  9. //计算函数栈帧大小
  10. static zend_always_inline uint32_t zend_vm_calc_used_stack(uint32_t num_args, zend_function *func)
  11. {
  12. //_zend_execute_data大小(80字节/16字节=5)+参数数目
  13. uint32_t used_stack = ZEND_CALL_FRAME_SLOT + num_args;
  14. if (EXPECTED(ZEND_USER_CODE(func->type))) {
  15. //当前函数临时变量等数目
  16. used_stack += func->op_array.last_var + func->op_array.T - MIN(func->op_array.num_args, num_args);
  17. }
  18. //乘以16字节
  19. return used_stack * sizeof(zval);
  20. }
  21. //入栈
  22. static zend_always_inline zend_execute_data *zend_vm_stack_push_call_frame_ex(uint32_t used_stack, uint32_t call_info, zend_function *func, uint32_t num_args, zend_class_entry *called_scope, zend_object *object)
  23. {
  24. //上一个函数栈帧地址
  25. zend_execute_data *call = (zend_execute_data*)EG(vm_stack_top);
  26. //移动函数调用栈top指针
  27. EG(vm_stack_top) = (zval*)((char*)call + used_stack);
  28. //初始化当前函数栈帧
  29. zend_vm_init_call_frame(call, call_info, func, num_args, called_scope, object);
  30. //返回当前函数栈帧首地址
  31. return call;
  32. }

从上面分析可以得到函数栈帧结构图如下所示:

总结

PHP虚拟机也是计算机,有三点是我们需要重点关注的:指令集(包含指令处理函数)、数据存储(zval)、函数栈帧;

此时虚拟机已可以接受指令并执行指令代码;

但是,PHP虚拟机是专用执行PHP代码的,PHP代码如何能转换为PHP虚拟机可以识别的指令呢——编译;

PHP虚拟机同时提供了编译器,可以将PHP代码转换为其可以识别的指令集合;

理论上你可以自定义任何语言,只要实现编译器,能够将你自己的语言转换为PHP可以识别的指令代码,就能被PHP虚拟机执行;

文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。

转载请注明本文地址:https://www.ucloud.cn/yun/29184.html

相关文章

  • PHP7源码分析PHP7语言的执行原理

    摘要:在中,源代码首先将进行词法分析,将源代码切割为多个字符串单元,分割后的字符串称之为。图以为例解释型语言的执行示意图第步源码通过词法分析得到第步基于语法分析器生成抽象语法树第步抽象语法树转换为指令集合,解释执行。 顺风车运营研发团队 李志 发表在程序人生 公众号我们常用的高级语言有很多种,比较出名的有CC++、Python、 PHP、Go、Pascal等。而这些语言根据运行的方式不同,...

    VEIGHTZ 评论0 收藏0
  • PHP7源码分析PHP7源码研究之浅谈Zend虚拟

    摘要:中词法语法分析,生成抽象语法树,然后编译成及被执行均由虚拟机完成。通常情况下这部分是可选部分,主要为便于程序的读写方便而使用。指令虚拟机的指令称为,每条指令对应一个。 作者 陈雷编程语言的虚拟机是一种可以运行中间语言的程序。中间语言是抽象出的指令集,由原生语言编译而成,作为虚拟机执行阶段的输入。很多语言都实现了自己的虚拟机,比如Java、C#和Lua。PHP语言也有自己的虚拟机,称为Z...

    马龙驹 评论0 收藏0
  • PHP小知识点

    摘要:那些琐碎的知识点作者记录的的很奇特很难记的知识点。易错知识点整理注意和的区别中和都是输出的作用,但是两者之间还是有细微的差别。今天手头不忙,总结一下,分享过程中掌握的知识点。 深入理解 PHP 之:Nginx 与 FPM 的工作机制 这篇文章从 Nginx 与 FPM 的工作机制出发,探讨配置背后的原理,让我们真正理解 Nginx 与 PHP 是如何协同工作的。 PHP 那些琐碎的知识...

    hover_lew 评论0 收藏0
  • PHP7源码分析PHP7到底有多快,基准测试与特性分析告诉你

    摘要:我们修改上面代码,再来看下返回值类型限制的情况运行结果这段代码我们额外声明了返回值的类型为型。对函数返回值的声明做了扩充,可以定义其返回值为,无论是否开启严格模式,只要函数中有以外的其他语句都会报错。 顺风车运营研发团队 王坤 发表至21CTO公众号(https://mp.weixin.qq.com/s/ph...) showImg(https://segmentfault.c...

    Towers 评论0 收藏0

发表评论

0条评论

最新活动
阅读需要支付1元查看
<