热搜:NVER 

facebook hiphop php vm 兑现概述(二)

2024-04-29 20:15:02
 facebook hiphop php vm 兑现概述(二)

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函数调用转化为外部函数的执行逻辑