Lua5.1代码阅读（七）：lvm.h/lvm.c

 

Lua5.1代码阅读（七）：lvm.h/lvm.c

 

（未完成，待修改）

一、概览

lvm.h/lvm.c的作用是提供底层的Lua虚拟机。

这个模块主要是用于循环读取并分解指令，

然后根据其操作码的枚举值进行处理或跳转到Lua的其它模块。

内部的函数引用图如下：

 

参考资料：

* A No-Frills Introduction to Lua 5.1 VM Instructions

http://luaforge.net/docman/83/98/ANoFrillsIntroToLua51VMInstructions.pdf

* 翻译Lua 5.1 VM Instructions(一)

http://blog.csdn.net/tm_wb/article/details/3453159

* 详解关于Lua源码分析学习教程

http://www.61ic.com/Mobile/iPhone/201108/36968.html

 

（Lua虚拟机的体系结构图，链接已废除，见

http://mobile.51cto.com/iphone-286631.htm ）

 

* Lua VM 指令：导言

http://blog.csdn.net/chenyufei1013/article/details/4445803

* lua5.1.3编译器和虚拟机  

http://blog.163.com/very_fyy/blog/static/2252168520083731434459/

* Lua 5.1.4 Annotated Source

http://stevedonovan.github.com/lua-5.1.4/

* Lua VM hack for execution time limits.

http://www.gammon.com.au/forum/?id=8453

* 详解如何实现Lua调试器案例

http://cnztech.com/html/mobile/iOS/2011/0924/46517.html

* Lua源代码分析顺序

http://wenku.baidu.com/view/24241ec4aa00b52acfc7caea.html

* 解析关于Lua调试器案例实现

http://mobile.51cto.com/iphone-288412.htm

* strange warnings

http://comments.gmane.org/gmane.comp.lang.lua.general/79521

* Lua GC 的源码剖析 (4)

http://blog.codingnow.com/2011/03/lua_gc_4.html

* 详解关于Lua源码分析学习教程

http://mobile.51cto.com/iphone-286631.htm

* Lua4虚拟机运行概述

http://blog.csdn.net/wondeful18/article/details/2982251

* Lua4

http://cjbskysea.blogbus.com/logs/84351473.html

二、头文件

#include "ldo.h"

#include "lobject.h"

#include "ltm.h"

#include <stdio.h>

#include <stdlib.h>

#include <string.h>

#include "lua.h"

#include "ldebug.h"

#include "ldo.h"

#include "lfunc.h"

#include "lgc.h"

#include "lopcodes.h"

#include "lstate.h"

#include "lstring.h"

#include "ltable.h"

#include "lvm.h"

 

三、公共或私有的宏定义

1. #define tostring(L,o) ((ttype(o) == LUA_TSTRING) || (luaV_tostring(L, o)))

转换o为LUA_TSTRING类型。

* 判断o（TValue*类型）是否为LUA_TSTRING类型。

* 如果不是，就用luaV_tostring把o（必须是LUA_TNUMBER类型）转换为字符串。

* 如果转换后o仍然不是LUA_TSTRING类型，那么返回0，否则返回1。

2. #define tonumber(o,n) (ttype(o) == LUA_TNUMBER || \

        (((o) = luaV_tonumber(o,n)) != NULL))

        转换o为LUA_TNUMBER类型。

        * 判断o（TValue*类型）是否为LUA_TNUMBER类型。

        * 如果不是，就用luaV_tonumber把o（必须是LUA_TSTRING而且可以转换为数字）转换为数。

* 如果转换后o仍然不是LUA_TNUMBER类型，那么返回0，否则返回1。

 

3. #define equalobj(L,o1,o2) \

(ttype(o1) == ttype(o2) && luaV_equalval(L, o1, o2))

判断o1和o2的类型和值是否都相等。

4. #define lvm_c

象征意味，表示当前在lvm.c中

5. #define LUA_CORE

象征意味，表示当前代码为Lua底层实现

6. #define MAXTAGLOOP 100

表的标签方法链的最大限制（避免死循环）。

这个宏定义在luaV_gettable和luaV_settable。

因为这两个函数在查询和修改表元素时，

如果__index和__newindex元方法的值本身也是一个table，

则可能出现迭代调用。

如果出现死循环，将调用luaG_runerror抛出异常。

7. #define runtime_check(L, c) { if (!(c)) break; }

在luaV_execute使用，

用于判断OP_SETLIST指令的RA值是否为table类型，如果不是就跳出switch。

（OP_SETLIST表示不带"="的表构造式，例如a={1}）

8. #define RA(i) (base+GETARG_A(i))

获得TValue*型的RA值（寄存器表基地址加上参数A偏移）

* 取出指令i中的参数A（栈偏移值），

* 把参数A作为偏移加上L->base（当前函数TValue数组的基）地址后算出指针。

9. #define RB(i) check_exp(getBMode(GET_OPCODE(i)) == OpArgR, base+GETARG_B(i))

获得TValue*型的RB值（寄存器表基地址加上参数B偏移）

* 取出指令i中的操作码

* 用lua_assert诊断操作码的B模式是OpArgR（通过查表判断，见getBMode和luaP_opmodes）。OpArgR表示参数是一个寄存器或跳转偏移。

* 取出指令i中的参数B（栈偏移值），

* 把参数B作为偏移加上L->base（当前函数TValue数组的基）地址后算出指针。

10. #define RC(i) check_exp(getCMode(GET_OPCODE(i)) == OpArgR, base+GETARG_C(i))

获得TValue*型的RC值（寄存器表加上参数C偏移，实际上没有任何代码使用此宏）

* 取出指令i中的操作码

* 用lua_assert诊断操作码的C模式是OpArgR（通过查表判断，见getCMode和luaP_opmodes）。OpArgR表示参数是一个寄存器或跳转偏移。

* 取出指令i中的参数C（栈偏移值），

* 把参数C作为偏移加上L->base（当前函数TValue数组的基）地址后算出指针。

11. #define RKB(i) check_exp(getBMode(GET_OPCODE(i)) == OpArgK, \

ISK(GETARG_B(i)) ? k+INDEXK(GETARG_B(i)) : base+GETARG_B(i))

获得TValue*型的RKB值（寄存器表或常量表基地址加上参数B偏移）

* 取出指令i中的操作码

* 用lua_assert诊断操作码的B模式是OpArgK（通过查表判断，见getBMode和luaP_opmodes）。OpArgK表示参数是一个常量或寄存器/常量。

* 取出指令i中的参数B（栈偏移值）

* 判断参数B（栈偏移值）是否为K型（常量），即它的最高位（参数B占二进制的9位）是否为1，

* 如果参数B是K型，那么参数B去掉最高位的1，然后作为偏移加上k（当前函数原型Proto结构体的k域指针）

* 否则，把参数B作为偏移加上L->base（当前函数TValue数组的基）地址后算出指针。

12. #define RKC(i) check_exp(getCMode(GET_OPCODE(i)) == OpArgK, \

ISK(GETARG_C(i)) ? k+INDEXK(GETARG_C(i)) : base+GETARG_C(i))

获得TValue*型的RKC值（寄存器表或常量表基地址加上参数C偏移）

* 取出指令i中的操作码

* 用lua_assert诊断操作码的C模式是OpArgK（通过查表判断，见getCMode和luaP_opmodes）。OpArgK表示参数是一个常量或寄存器/常量。

* 取出指令i中的参数C（栈偏移值）

* 判断参数C（栈偏移值）是否为K型（常量），即它的最高位（参数C占二进制的9位）是否为1，

* 如果参数C是K型，那么参数C去掉最高位的1，然后作为偏移加上k（当前函数原型Proto结构体的k域指针）

* 否则，把参数C作为偏移加上L->base（当前函数TValue数组的基）地址后算出指针。

13. #define KBx(i) check_exp(getBMode(GET_OPCODE(i)) == OpArgK, k+GETARG_Bx(i))

获得TValue*型的KBx值（常量表基地址加上参数Bx偏移）

* 取出指令i中的操作码

* 用lua_assert诊断操作码的B模式是OpArgK（通过查表判断，见getBMode和luaP_opmodes）。OpArgK表示参数是一个常量或寄存器/常量。

* 取出指令i中的参数Bx（栈偏移值）

* 把参数Bx作为偏移加上k（当前函数原型Proto结构体的k域指针）

14. #define dojump(L,pc,i) {(pc) += (i); luai_threadyield(L);}

增加程序计数器。

把pc值（即L->savedpc）递增i，然后用luai_threadyield挂起L栈以切换到其它系统级线程。

（默认luai_threadyield是无操作的）。

15. #define Protect(x) { L->savedpc = pc; {x;}; base = L->base; }

保护代码，同步L栈和luaV_execute函数栈两者之间的pc和base（？）

（貌似是因为luaV_execute函数太长，需要把部分代码分离到其它函数）

* 把临时的pc保存到L->savedpc

* 执行一段代码。

* 把最新的L->base同步到函数luaV_execute的局部变量base。

16. #define arith_op(op,tm) { \

TValue *rb = RKB(i); \

TValue *rc = RKC(i); \

if (ttisnumber(rb) && ttisnumber(rc)) { \

 lua_Number nb = nvalue(rb), nc = nvalue(rc); \

 setnvalue(ra, op(nb, nc)); \

} \

else \

 Protect(Arith(L, ra, rb, rc, tm)); \

 }

直接或用元方法执行算术运算（Arithmetic）

包括加、减、乘、除、取模和乘幂。

* 如果RKB和RKC都是LUA_TNUMBER型，那么用op宏或函数计算RKB和RKC，结果保存到RA

* 否则用提供的tm（元方法枚举量）调用Arith（查元表）进行算术运算。

 

四、私有的静态函数

1. static void traceexec (lua_State *L, const Instruction *pc) {

每次指令解析前调用钩子函数。

2. static void callTMres (lua_State *L, StkId res, const TValue *f,

const TValue *p1, const TValue *p2) {

调用元方法，用于__index、算术运算、大小比较的元方法值，

3. static void callTM (lua_State *L, const TValue *f, const TValue *p1,

        const TValue *p2, const TValue *p3) {

        调用元方法，用于function型的__newindex元方法值。

 

    4. static int call_binTM (lua_State *L, const TValue *p1, const TValue *p2,

StkId res, TMS event) {

调用一元或二元的元方法，用于算术运算、取长度或拼接。

    5. static const TValue *get_compTM (lua_State *L, Table *mt1, Table *mt2,

        TMS event) {

从Table*对象的mt1和mt2中取出要使用的元方法的值。

用于判定要使用的元方法__eq的值。

    6. static int call_orderTM (lua_State *L, const TValue *p1, const TValue *p2,

        TMS event) {

        对p1和p2执行用于比较操作的元方法。

    7. static int l_strcmp (const TString *ls, const TString *rs) { 

字符串TString*对象的大小比较。

8. static int lessequal (lua_State *L, const TValue *l, const TValue *r) {

判断同类型TValue对象l和r的值是否满足小于。

必要时调用元方法__lt和__le。

9. static void Arith (lua_State *L, StkId ra, const TValue *rb,

        const TValue *rc, TMS op) {

算术运算ra := rb op rc或ra := op rb

* 尝试转换为Number型

* 如果两个操作数都转换成功，则执行默认操作luai_numadd，luai_numsub，luai_nummul，luai_numdiv，luai_nummod，luai_numpow和luai_numunm。

* 如果不成功，执行元方法__add，__sub，__mul，__div，__mod，__pow和__unm。

五、公开的导出函数

1. LUAI_FUNC const TValue *luaV_tonumber (const TValue *obj, TValue *n);

const TValue *luaV_tonumber (const TValue *obj, TValue *n) {

把obj转换为Number型。

2. LUAI_FUNC int luaV_tostring (lua_State *L, StkId obj);

int luaV_tostring (lua_State *L, StkId obj) {

把obj转换为string型。

3. LUAI_FUNC void luaV_gettable (lua_State *L, const TValue *t, TValue *key, StkId val);

void luaV_gettable (lua_State *L, const TValue *t, TValue *key, StkId val) {

表的get操作（查询）。

必要时调用元方法__index。

4. LUAI_FUNC void luaV_settable (lua_State *L, const TValue *t, TValue *key, StkId val);

void luaV_settable (lua_State *L, const TValue *t, TValue *key, StkId val) {

表的set操作（更新）。

必要时调用元方法__newindex。

5. LUAI_FUNC int luaV_lessthan (lua_State *L, const TValue *l, const TValue *r);

int luaV_lessthan (lua_State *L, const TValue *l, const TValue *r) {

判断两个同类型TValue对象l和r的值是否满足小于。

必要时调用元方法__lt。

6. LUAI_FUNC int luaV_equalval (lua_State *L, const TValue *t1, const TValue *t2);

int luaV_equalval (lua_State *L, const TValue *t1, const TValue *t2) {

判断两个同类型TValue对象t1和t2的值是否相等。

必要时调用元方法__eq。

7. LUAI_FUNC void luaV_concat (lua_State *L, int total, int last);

void luaV_concat (lua_State *L, int total, int last) {

默认的拼接操作，

必要时调用元方法__concat。

8. LUAI_FUNC void luaV_execute (lua_State *L, int nexeccalls);

void luaV_execute (lua_State *L, int nexeccalls) {

提取当前指令的操作码和参数，然后执行与操作码对应的switch跳转。

它是解释器（虚拟机）的主循环。

六、值得关注的函数

1. luaV_execute

虚拟机的核心。

 

七、补充：

Lua虚拟机的体系结构图

摘自

http://mobile.51cto.com/iphone-286631.htm

 

 

 

（未完成，待修改）