欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

facebook hiphop php vm 实现概述(二)

程序员文章站 2022-05-18 19:58:28
...
从上文可知,核心的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函数调用转化为外部函数的执行逻辑