facebook hiphop php vm 实现概述(二)
从上文可知,核心的runtime环境的代码在 src/runtme/eval,本文主要简单概述此处的代码实现,下面的叙述按文件夹分类。
一、runtime:运行时的核心数据结构(符号表)
1、assoc_list.cpp 变量关联表
2、code_coverage.cpp 代码覆盖率工具
3、file_repository.cpp php文件的jit缓存
4、variable_environment.cpp 维护各个函数、变量等所属的环境(如所属的类、作用范围等)
5、variant_stack.cpp 变量栈结构(可以用于记录函数调用关系)
6、eval_state.cpp 最重要的runtime信息都收集在这里面,比如当前有哪objects、每个object有哪些method、全局函数、常量……
7、eval_object_data.h 记录一个class的信息
8、eval_frame_injection.h 函数调用中的一个栈帧
二、ext
此目录封装了往runtime中添加外部函数的方法,
三、parser
解析器,利用yacc实现的parser(ebnf语法文件是hphp.y, hphp.tab.cpp是工具生成的),此parser与compiler目录中的不同,此处主要是为语义解析服务的(可以理解treewalker)。对于hiphop php vm来说,语义处理就是想办法将php代码映射为c++代码(需要runtime提供大量的外部函数)。
1、hphp.y概述
文法开始符号:start
文件包含关系、语句添加等的处理在src/runtime/eval/parser/parser.cpp中, 就onxxx()此树遍历器的输出是一个ast,顶层节点是statement
四、debugger 利用socket实现的调试器
最后真正开始处理的是 void debuggerproxy::processinterrupt(cmdinterrupt &cmd)
五、base
基本数据结构声明
六、ast
针对 parser解析出的ast进行语义处理(即具体的对每一层树节点 将php代码转为c++代码)
每个statement的统一接口是
virtual statement *optimize(variableenvironment &env) { return null; } // 优化语句
virtual void eval(variableenvironment &env) const = 0; // 处理语句关系
virtual void bytecode(bytecodeprogram &code) const; //
dump(std::ostream &out) const = 0; // 输出c++的代码
ps:
eval::construct 发展出的继承结构写的很漂亮
七、analysis 分析作用域
八、runtime 语义处理即翻译php到c++的主流程
eval.cpp variant eval(lvariabletable *vars, cobjref self, cstrref code_str,bool prepend_php /* = true */)
1、php源代码预处理
2、parsestring() 树遍历
3、s->eval(env); 语义分析(递归往下走)
九、函数调用的实现
函数调用基本思路:根据符号表信息,找到object、method、variable等执行环境信息、每次进入一个函数时建立一个thread的栈帧,将php函数调用转化为外部函数的执行逻辑
