Lua代码的执行流程
脚本语言通常都是解释执行的,每一门脚本语言都会有自己定义的OpCode(operation code, 也称为 bytecode
,即操作码或字节码),即为这门程序定义的“汇编语言”。一般的编译型语言,比如C等,经过编译器编译之后,生成的都是与当前硬件环境相匹配的汇编代码。而脚本型语言经过编译器前端处理之后,生成的就是字节码,在将该字节码放在这门语言的虚拟机中逐个执行。
脚本语言没有像编译型语言那样直接编译为机器能识别的机器代码,这意味着解释性脚本语言与编译型语言的区别:
- 由于每个脚本语言都有自己的一套字节码,与具体的硬件平台无关,所以无需修改脚本代码,就能运行在各个平台上。硬件、软件平台的差异都由语言自身的虚拟机解决。
- 由于脚本语言的字节码需要由虚拟机执行,而不像机器代码那样能够直接执行,所以运行速度比编译型语言差不少。
有了虚拟机这个中间层,同样的代码可以不经修改就运行在不同的操作系统、硬件平台上。Java、Python都是基于虚拟机的编程语言,Lua同样也是这样。一般而言,一个语言的虚拟机需要完成以下工作。
- 将源代码编译成虚拟机可以识别执行的字节码
- 为函数调用准备调用栈
- 内部维持一个IP(指令指针,Instruction Pointer)来保护下一个将执行的指令地址。在Lua代码中,IP对应的是PC指针。
- 模拟一个CPU的运行:循环拿出由IP指向的字节码,根据字节码格式进行编码,然后执行字节码。
虚拟机有2种不同的实现方式:基于栈的虚拟机和基于寄存器的虚拟机(stack-based vs. register-based)。市面上常见的虚拟机如Java、.Net都是基于栈的虚拟机,Lua是已知的第一个使用基于寄存器虚拟机并被广泛是用的编程语言。
在基于栈的虚拟机中,字节码的操作数是从栈顶上弹出pop
,在执行完操作之后再压入push
栈顶的。
例如:以一个加法操作为例,在操作前后它的栈结构对比。
# 伪代码
POP 2
POP 1
ADD 2,1,result
PUSH result
![4933701-280c61e7d2c4ef56.png](https://i-blog.csdnimg.cn/blog_migrate/8f6151f1866185d7fadcb6adb53bd9bb.png)
可以看到,执行一条加法操作需要执行4条字节码,其中前几条指令用于准备数据,将数据压栈,这是这种设计的缺点。但是优点是,指令中不需要关心操作数的地址,在执行操作之前已经将操作数准备栈顶上了。
![4933701-49f9c475f8b720fd.png](https://i-blog.csdnimg.cn/blog_migrate/25fca7f8997da72600bea95a1f6bfc6f.png)
与基于栈的虚拟机不同,在基于寄存器的指令中,操作数是放在“CPU的寄存器”中,因为并不是物理意义上的寄存器。因此,同样的操作不在需要PUSH
、POP
指令,取而代之的是在字节码中带上具体操作数所在的寄存器地址。
对比基于栈的寄存器,这里只需一条指令就可以完成加法操作,但缺点是成程序需要关注操作数所在的位置。
Lua使用的是基于寄存器的虚拟机实现方式,其中很大的原因是它的设计目标之一就是尽可能高效。
![4933701-835dfb773eb8f2d6.png](https://i-blog.csdnimg.cn/blog_migrate/8ec8669048ed06b8b4342c9155f26e3e.png)
总结一下,实现一个脚本语言的解释器,其核心问题如下:
- 设计一套字节码,分析源代码文件生成字节码。
- 在虚拟机中执行字节码
- 如何在整个执行过程中保存整个执行环境
![4933701-55574344700c1d00.png](https://i-blog.csdnimg.cn/blog_migrate/a5f82fa4a99618e52c775e0039491697.png)
Lua源码可分为3部分:虚拟机核心、内嵌库、解释器和编译器
Lua解释器中,内部模块对外提供的接口、数据结构都以lua模块名简称_
作为前缀,供外部调用的API则使用lua_
作为前缀。
Lua虚拟机核心文件
-
lapi.c
lua_
C语言接口 -
lcode.c
luaK_
源码生成器 -
ldebug.c
luaG_
调试库 -
ldo.c
luaD_
函数调用及栈管理 -
ldump.o
序列化预编译的Lua字节码 -
lfunc.c
luaF_
提供操作函数原型及闭包的辅助函数 -
lgc.c
luaC_
GC垃圾收集 -
llex.c
luaX_
词法分析 -
lmem.c
luaM_
内存管理 -
lobject.c
luaO_
对象管理 -
lopcodes.c
luaP_
字节码操作 -
lparser.c
luaY_
分析器 -
lstate.c
luaE_
全局状态机 -
lstring.c
luaS_
字符串操作 -
ltable.c
luaH_
表操作 -
lundump.c
luaH_
加载预编译字节码 -
ltm.c
luaT_
tag方法 -
lzio.c
luaZ_
缓存流接口
Lua虚拟机工作流程
Lua代码通过翻译成Lua虚拟机能识别的字节码运行,以此它主要分为两部分:
- 翻译代码并编译为字节码
负责将Lua代码进行词法分析、语法分析等,最终生成字节码。涉及这部分的代码文件包括:
-
llex.c
用于词法分析 -
lparser.c
用于进行语法分析 -
lcode.c
最终生成代码
在lopcodes.h
、lopcodes.c
文件中,定义了Lua虚拟机相关的字节码指令的格式以及相关的API。
- Lua虚拟机相关部分
经过分析之后生成对应的字节码,此后就是将字节码装载到虚拟机中执行。
lvm.c
Lua虚拟机执行的主函数luaV_execute
,主函数是一个大的循环,依次从字节码中取出指令并执行。Lua虚拟机对外看到的数据结构是lua_State
,这个结构体将一直贯穿整个分析以及执行阶段。
ldo.c
除了虚拟机的执行之外,Lua的核心部分还包括进行函数调用和返回处理的相关代码,主要处理函数调用前后环境的准备和还原。
lgc.c
垃圾收回部分
lapi.c
Lua是一门嵌入式脚本语言,意味着其设计目标之一必须满足能够与宿主系统进行交互。
指令的解析与执行
Lua词法
学过编译原理的人都知道,对一门语言进行解析一般是2编遍历的过程。
![4933701-3f9888eba7052659.png](https://i-blog.csdnimg.cn/blog_migrate/fd3c2811cd694f0503bdb1d951b00b82.png)
第1遍:解析源代码并生成AST(Abstract Syntax Tree,抽象语法树)
第2遍:将AST翻译为对应的字节码
可以看出,AST仅进是分析过程中的中间产物,在实际输出中是不需要的。
Lua使用的是递归下降法(recursive descent method)进行解析,这个分析方式针对文法中的每一个非终结符(non-terminal symbol),建立一个子程序模拟语法树向下推导,在推导过程中遇到终结符(terminal symbol)则检查是否匹配,遇到非终结符则调用对应的相关子程序进行处理。