转lua解释执行脚本流程

本文转自：http://www.cnblogs.com/zxh1210603696/p/4458473.html



#include "lua.hpp"#include <iostream>
using namespace std;#pragma comment(lib, "lua5.1.lib")struct lua_guard{lua_State *pL;lua_guard(lua_State *s) :pL(s){}~lua_guard(){ lua_close(pL); }
};int main(){lua_guard g(lua_open());luaL_openlibs(g.pL);int err;if ((err = luaL_dofile(g.pL, "mylua.lua") != 0)){throw runtime_error("open lua file error");}system("pause");return 0;
}

首先利用lua提供的函数luaL_dofile来执行一个lua脚本。

可以看到有两个过程，首先luaL_loadfile函数将lua文件加载进来然后进行词法语法语义分析，得到一个closure函数放入栈中，接着调用lua_pcall函数来执行栈顶的closure。

我们先来看看第一个过程：

首先在luaL_loadfile中真正加载lua文件的是lua_load函数

在lua_load中调用了luaD_protectedparser来进行parse过程

在luaD_protectedparser中又调用了f_parser

在f_parser中根据一些选择来分别处理不同的情况，我们示例中会跑到luaY_parser函数中去，在luaY_parser中会调用luaX_next进行分析，这个函数会首先读取源文件中的第一个token

最后在luaX_next中调用了llex，llex是真正切出token的例程

在读取了第一个token后luaX_next返回，相关的词法信息保存在了lexstate中，接着luaY_parser调用chunk函数来递归的生成一个chunk块

在chunk中循环读取下一个token并根据token的类型一层一层的递归的生成chunk，将chunks根据层次组合成tree，位于root的是最外层chunk

在分析完lua脚本后会返回到f_parser，在f_parser中接着调用luaF_newLclosure来将分析结果包裹成一个closure然后push到lua栈中

接下来分析第二个过程：

当第一个过程完成后lua栈顶存放着一个closure，luaL_dofile中调用lua_pcall让其来调用这个closure：

在lua_pcall中调用了f_call

f_call中又接着调用了luaD_call，传入了被调用的closure和参数个数

最后在luaD_call中调用了luaV_execute来执行closure中的opcode

luaV_execute既是lua虚拟机执行opcode的函数，其中可以看到一个无限循环，利用switch (GET_OPCODE(i))来根据不同的opcode进行不同的过程

void luaV_execute (lua_State *L, int nexeccalls) {LClosure *cl;StkId base;TValue *k;const Instruction *pc;reentry:  /* entry point */lua_assert(isLua(L->ci));pc = L->savedpc;cl = &clvalue(L->ci->func)->l;base = L->base;k = cl->p->k;/* main loop of interpreter */for (;;) {const Instruction i = *pc++;StkId ra;if ((L->hookmask & (LUA_MASKLINE | LUA_MASKCOUNT)) &&(--L->hookcount == 0 || L->hookmask & LUA_MASKLINE)) {
      traceexec(L, pc);if (L->status == LUA_YIELD) {  /* did hook yield? */L->savedpc = pc - 1;return;}base = L->base;}/* warning!! several calls may realloc the stack and invalidate `ra' */ra = RA(i);lua_assert(base == L->base && L->base == L->ci->base);lua_assert(base <= L->top && L->top <= L->stack + L->stacksize);lua_assert(L->top == L->ci->top || luaG_checkopenop(i));switch (GET_OPCODE(i)) {case OP_MOVE: {setobjs2s(L, ra, RB(i));continue;}case OP_LOADK: {setobj2s(L, ra, KBx(i));continue;}case OP_LOADBOOL: {setbvalue(ra, GETARG_B(i));if (GETARG_C(i)) pc++;  /* skip next instruction (if C) */continue;}case OP_LOADNIL: {TValue *rb = RB(i);do {setnilvalue(rb--);} while (rb >= ra);continue;}case OP_GETUPVAL: {int b = GETARG_B(i);setobj2s(L, ra, cl->upvals[b]->v);continue;}case OP_GETGLOBAL: {TValue g;TValue *rb = KBx(i);sethvalue(L, &g, cl->env);lua_assert(ttisstring(rb));Protect(luaV_gettable(L, &g, rb, ra));continue;}case OP_GETTABLE: {Protect(luaV_gettable(L, RB(i), RKC(i), ra));continue;}case OP_SETGLOBAL: {TValue g;sethvalue(L, &g, cl->env);lua_assert(ttisstring(KBx(i)));Protect(luaV_settable(L, &g, KBx(i), ra));continue;}case OP_SETUPVAL: {UpVal *uv = cl->upvals[GETARG_B(i)];setobj(L, uv->v, ra);luaC_barrier(L, uv, ra);continue;}case OP_SETTABLE: {Protect(luaV_settable(L, ra, RKB(i), RKC(i)));continue;}case OP_NEWTABLE: {int b = GETARG_B(i);int c = GETARG_C(i);sethvalue(L, ra, luaH_new(L, luaO_fb2int(b), luaO_fb2int(c)));Protect(luaC_checkGC(L));continue;}case OP_SELF: {StkId rb = RB(i);setobjs2s(L, ra+1, rb);Protect(luaV_gettable(L, rb, RKC(i), ra));continue;}case OP_ADD: {arith_op(luai_numadd, TM_ADD);continue;}case OP_SUB: {arith_op(luai_numsub, TM_SUB);continue;}case OP_MUL: {arith_op(luai_nummul, TM_MUL);continue;}case OP_DIV: {arith_op(luai_numdiv, TM_DIV);continue;}case OP_MOD: {arith_op(luai_nummod, TM_MOD);continue;}case OP_POW: {arith_op(luai_numpow, TM_POW);continue;}case OP_UNM: {TValue *rb = RB(i);if (ttisnumber(rb)) {lua_Number nb = nvalue(rb);setnvalue(ra, luai_numunm(nb));}else {Protect(Arith(L, ra, rb, rb, TM_UNM));}continue;}case OP_NOT: {int res = l_isfalse(RB(i));  /* next assignment may change this value */setbvalue(ra, res);continue;}case OP_LEN: {const TValue *rb = RB(i);switch (ttype(rb)) {case LUA_TTABLE: {setnvalue(ra, cast_num(luaH_getn(hvalue(rb))));break;}case LUA_TSTRING: {setnvalue(ra, cast_num(tsvalue(rb)->len));break;}default: {  /* try metamethod */Protect(if (!call_binTM(L, rb, luaO_nilobject, ra, TM_LEN))luaG_typeerror(L, rb, "get length of");)}}continue;}case OP_CONCAT: {int b = GETARG_B(i);int c = GETARG_C(i);Protect(luaV_concat(L, c-b+1, c); luaC_checkGC(L));setobjs2s(L, RA(i), base+b);continue;}case OP_JMP: {dojump(L, pc, GETARG_sBx(i));continue;}case OP_EQ: {TValue *rb = RKB(i);TValue *rc = RKC(i);Protect(if (equalobj(L, rb, rc) == GETARG_A(i))dojump(L, pc, GETARG_sBx(*pc));)pc++;continue;}case OP_LT: {Protect(if (luaV_lessthan(L, RKB(i), RKC(i)) == GETARG_A(i))dojump(L, pc, GETARG_sBx(*pc));)pc++;continue;}case OP_LE: {Protect(if (lessequal(L, RKB(i), RKC(i)) == GETARG_A(i))dojump(L, pc, GETARG_sBx(*pc));)pc++;continue;}case OP_TEST: {if (l_isfalse(ra) != GETARG_C(i))dojump(L, pc, GETARG_sBx(*pc));pc++;continue;}case OP_TESTSET: {TValue *rb = RB(i);if (l_isfalse(rb) != GETARG_C(i)) {setobjs2s(L, ra, rb);dojump(L, pc, GETARG_sBx(*pc));}pc++;continue;}case OP_CALL: {int b = GETARG_B(i);int nresults = GETARG_C(i) - 1;if (b != 0) L->top = ra+b;  /* else previous instruction set top */L->savedpc = pc;switch (luaD_precall(L, ra, nresults)) {case PCRLUA: {nexeccalls++;goto reentry;  /* restart luaV_execute over new Lua function */}case PCRC: {/* it was a C function (`precall' called it); adjust results */if (nresults >= 0) L->top = L->ci->top;base = L->base;continue;}default: {return;  /* yield */}}}case OP_TAILCALL: {int b = GETARG_B(i);if (b != 0) L->top = ra+b;  /* else previous instruction set top */L->savedpc = pc;lua_assert(GETARG_C(i) - 1 == LUA_MULTRET);switch (luaD_precall(L, ra, LUA_MULTRET)) {case PCRLUA: {/* tail call: put new frame in place of previous one */CallInfo *ci = L->ci - 1;  /* previous frame */int aux;StkId func = ci->func;StkId pfunc = (ci+1)->func;  /* previous function index */if (L->openupval) luaF_close(L, ci->base);L->base = ci->base = ci->func + ((ci+1)->base - pfunc);for (aux = 0; pfunc+aux < L->top; aux++)  /* move frame down */setobjs2s(L, func+aux, pfunc+aux);ci->top = L->top = func+aux;  /* correct top */lua_assert(L->top == L->base + clvalue(func)->l.p->maxstacksize);ci->savedpc = L->savedpc;ci->tailcalls++;  /* one more call lost */L->ci--;  /* remove new frame */
            goto reentry;}case PCRC: {  /* it was a C function (`precall' called it) */base = L->base;continue;}default: {return;  /* yield */}}}case OP_RETURN: {int b = GETARG_B(i);if (b != 0) L->top = ra+b-1;if (L->openupval) luaF_close(L, base);L->savedpc = pc;b = luaD_poscall(L, ra);if (--nexeccalls == 0)  /* was previous function running `here'? */return;  /* no: return */else {  /* yes: continue its execution */if (b) L->top = L->ci->top;lua_assert(isLua(L->ci));lua_assert(GET_OPCODE(*((L->ci)->savedpc - 1)) == OP_CALL);goto reentry;}}case OP_FORLOOP: {lua_Number step = nvalue(ra+2);lua_Number idx = luai_numadd(nvalue(ra), step); /* increment index */lua_Number limit = nvalue(ra+1);if (luai_numlt(0, step) ? luai_numle(idx, limit): luai_numle(limit, idx)) {dojump(L, pc, GETARG_sBx(i));  /* jump back */setnvalue(ra, idx);  /* update internal index... */setnvalue(ra+3, idx);  /* ...and external index */}continue;}case OP_FORPREP: {const TValue *init = ra;const TValue *plimit = ra+1;const TValue *pstep = ra+2;L->savedpc = pc;  /* next steps may throw errors */if (!tonumber(init, ra))luaG_runerror(L, LUA_QL("for") " initial value must be a number");else if (!tonumber(plimit, ra+1))luaG_runerror(L, LUA_QL("for") " limit must be a number");else if (!tonumber(pstep, ra+2))luaG_runerror(L, LUA_QL("for") " step must be a number");setnvalue(ra, luai_numsub(nvalue(ra), nvalue(pstep)));dojump(L, pc, GETARG_sBx(i));continue;}case OP_TFORLOOP: {StkId cb = ra + 3;  /* call base */setobjs2s(L, cb+2, ra+2);setobjs2s(L, cb+1, ra+1);setobjs2s(L, cb, ra);L->top = cb+3;  /* func. + 2 args (state and index) */Protect(luaD_call(L, cb, GETARG_C(i)));L->top = L->ci->top;cb = RA(i) + 3;  /* previous call may change the stack */if (!ttisnil(cb)) {  /* continue loop? */setobjs2s(L, cb-1, cb);  /* save control variable */dojump(L, pc, GETARG_sBx(*pc));  /* jump back */}pc++;continue;}case OP_SETLIST: {int n = GETARG_B(i);int c = GETARG_C(i);int last;Table *h;if (n == 0) {n = cast_int(L->top - ra) - 1;L->top = L->ci->top;}if (c == 0) c = cast_int(*pc++);runtime_check(L, ttistable(ra));h = hvalue(ra);last = ((c-1)*LFIELDS_PER_FLUSH) + n;if (last > h->sizearray)  /* needs more space? */luaH_resizearray(L, h, last);  /* pre-alloc it at once */for (; n > 0; n--) {TValue *val = ra+n;setobj2t(L, luaH_setnum(L, h, last--), val);
          luaC_barriert(L, h, val);}continue;}case OP_CLOSE: {luaF_close(L, ra);continue;}case OP_CLOSURE: {Proto *p;Closure *ncl;int nup, j;p = cl->p->p[GETARG_Bx(i)];nup = p->nups;ncl = luaF_newLclosure(L, nup, cl->env);ncl->l.p = p;for (j=0; j<nup; j++, pc++) {if (GET_OPCODE(*pc) == OP_GETUPVAL)ncl->l.upvals[j] = cl->upvals[GETARG_B(*pc)];else {lua_assert(GET_OPCODE(*pc) == OP_MOVE);ncl->l.upvals[j] = luaF_findupval(L, base + GETARG_B(*pc));}}setclvalue(L, ra, ncl);Protect(luaC_checkGC(L));continue;}case OP_VARARG: {int b = GETARG_B(i) - 1;int j;CallInfo *ci = L->ci;int n = cast_int(ci->base - ci->func) - cl->p->numparams - 1;if (b == LUA_MULTRET) {Protect(luaD_checkstack(L, n));ra = RA(i);  /* previous call may change the stack */b = n;L->top = ra + n;}for (j = 0; j < b; j++) {if (j < n) {setobjs2s(L, ra + j, ci->base - n + j);}else {setnilvalue(ra + j);}}continue;}}}
}

 

转载于:https://www.cnblogs.com/zhangdongsheng/p/8603355.html

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/267425.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

about hamout cloudra

about hamout cloudra

http://running.iteye.com/?page3
阅读更多...
（转）PowerHA完全手册（一，二，三）

（转）PowerHA完全手册（一，二，三）

PowerHA完全手册&#xff08;一&#xff09; 原文&#xff1a;http://www.talkwithtrend.com/Article/39889-----PowerHA完全手册&#xff08;一&#xff09; http://www.talkwithtrend.com/Article/40117---PowerHA完全手册&#xff08;二&#xff09; http://www.talkwithtre…
阅读更多...
dial up network

dial up network

dial up network 通过电话线拨号上网的网络系统
阅读更多...
事件处理 java_Java事件处理的4种方法

事件处理 java_Java事件处理的4种方法

第一种 自身类作为事件监听器import javax.swing.*;import java.awt.*;import java.awt.event.*;/***Java事件处理机制:自身类作为事件监听器*author Winty(wintysgmail.com)*version 2008-12-3*/class ThisClassEvent extends JFrame implements ActionListener{JButton btn;p…
阅读更多...
新浪微博推出具有中国特色的“关注但屏蔽”功能

新浪微博推出具有中国特色的“关注但屏蔽”功能

关注一个人&#xff0c;又偷偷屏蔽他&#xff0c;这项功能有人称之“虚伪”&#xff0c;有人称之“贴心”。 请听题&#xff0c;如何礼貌地回答熟人的这个问题&#xff1a;“你为什么取消了微博上对我的关注&#xff1f;”相信这是很多玩微博的人都会遇到的问题&#xff0c;取消…
阅读更多...
linux shell 脚本个人规范总结

linux shell 脚本个人规范总结

一、shell 语句格式 linux shell有一套自己的流程控制语句&#xff0c;其中包括条件语句(if)&#xff0c;循环语句(for,while)&#xff0c;选择语句(case)。下面我将通过例子介绍下&#xff0c;各个语句使用方法。 1.1、if语句结构[if/then/elif/else/fi] if 条件测试语句 then…
阅读更多...
java循环基础知识_java基础知识—循环结构

java循环基础知识_java基础知识—循环结构

1.while 循环语法&#xff1a;while(循环操作){循环操作&#xff1b;}特点:先判断&#xff0c;再执行&#xff1b;2. &#xff1a;用于数字比较 比较的是地址equals: 用于字符串比较 比较的是字符3.do-while语法&#xff1a;do{循环操作&#xff1b;}while(循环条件)&#xff…
阅读更多...
android文件读写

android文件读写

public class service { private Context context;//引入上下文对象&#xff0c;要使用其中的方法openFileOutput public service(Context context) { super(); this.context context; } public void save(String filename,String content)throws Exception//抛出异…
阅读更多...
接口的声明

接口的声明

C#中咩有多继承&#xff0c;为了解决多继承接口 什么是接口　　 接口可以理解为对一组方法声明进行统一命名&#xff0c;但是这些方法没有提供任何实现&#xff0c;也就是说&#xff0c;吧一组方法声明在一个接口中 然后继承于该接口的类都需要实现这些接口。 注意&#xff1a;…
阅读更多...
C51编程在不同内存空间（data xdata bdata）定义变量的注意事项

C51编程在不同内存空间（data xdata bdata）定义变量的注意事项

1、data区空间小,所以只有频繁用到或对运算速度要求很高的变量才放到data区内,比如for循环中的计数值。 2、data区内最好放局部变量。 因为局部变量的空间是可以覆盖的&#xff08;某个函数的局部变量空间在退出该函数是就释放,由别的函数的局部变量覆盖&#xff09;,可以提高内…
阅读更多...
java 类调用情况_java 如何调用类？情况如下

java 类调用情况_java 如何调用类？情况如下

本人目录如下&#xff1a;在surge目录下有一个java文件想创建一个LBChart2DFrameDemo对象&#xff0c;不知道如何创建&#xff1f;。注意&#xff1a;LBChart2DFrameDemo使用了Chart2D.jar包中内容。这个目录ClsChart2D尚未加在...本人目录如下&#xff1a;在surge目录下有一个…
阅读更多...
BZOJ1085: [SCOI2005]骑士精神

BZOJ1085: [SCOI2005]骑士精神

【传送门&#xff1a;BZOJ1085】 简要题意&#xff1a; 有一个5*5的棋盘&#xff0c;棋盘上有12个白棋子&#xff0c;12个黑棋子&#xff0c;和一个空格&#xff0c;每只棋子只能按照马走日的规则移动&#xff0c;求出最少步数达到以下状态 题解&#xff1a; DFSA* DFS很容易做…
阅读更多...
猎豹网校 java_猎豹网校Java 零基础入门 JAVA基础视频教程（精制）

猎豹网校 java_猎豹网校Java 零基础入门 JAVA基础视频教程（精制）

00.NetBeans_下载和安装.mp4 01.Java_语言概述.mp402.Java标识符和关键字.mp403.Java_变量和基本数据类型.mp404.Java_简单数据类型转换和类包装.mp405.Java_算术运算符表达式.mp406.Java_关系运算符和逻辑运算符.mp407.Java_位_赋值_条件运算符.mp408.Java_基本语句和跳转语句…
阅读更多...
获取实体表相关信息

获取实体表相关信息

ClassMetadata meta session.getSessionFactory().getClassMetadata(clazz);//实体名称String entityName meta.getEntityName();//主键名称String pkName meta.getIdentifierPropertyName();转载于:https://blog.51cto.com/javaworker/736018
阅读更多...
软测第二周作业WordCount

软测第二周作业WordCount

一、Github地址: https://github.com/duwei1996/wc 二、PSP2.1表格 PSP2.1 PSP阶段 预估耗时 &#xff08;分钟&#xff09; 实际耗时 &#xff08;分钟&#xff09; Planning 计划 3030 Estimate 估计这个任务需要多少时间 3030 Development 开发 540900 Analysis …
阅读更多...
hook java android_Android Hook Java的的一個改進版本

hook java android_Android Hook Java的的一個改進版本

Hook Java的的一個改進版本《注入安卓進程&#xff0c;並Hook java世界的方法》這篇好文相信大家都看這&#xff0c;里面所提到的方法估計大家也都試過。不過里面的所用的方法&#xff0c;我發現有兩個可以改進的地方。改進點一&#xff1a;更簡單地修改java方法為本地方法.../…
阅读更多...
VB6转换C#2010函数替换

VB6转换C#2010函数替换

VB6转换C#2010函数替换 VB6 ---------------->C#2010 1、InStr(strKey, " ")-->strKey.IndexOf(" ") InStr([start, ]string1, string2[, compare]) 返回指定一字符串在另一字符串中最先出现的位置。在字符串string1中&#xff0c;从start开始找stri…
阅读更多...
C#读写文本文件

C#读写文本文件

C#中读写文本文件.txt文件既可以用File类也可用StreamReader、StreamWrite类。这两种方法都需要引用using System.IO命名空间。 下面分别给出例子&#xff1a; 1.File类写入文本文件&#xff1a; 1 private void btnTextWrite_Click(object sender, EventArgs e)2 …
阅读更多...
java redirect 跨域_如何解决跨域重定向携带参数的问题？不使用将参数拼接在重定向url末尾的方式...

java redirect 跨域_如何解决跨域重定向携带参数的问题？不使用将参数拼接在重定向url末尾的方式...

如何解决跨域重定向携带参数的问题&#xff1f;不使用将参数拼接在重定向url末尾的方式需求&#xff0c;项目A在服务器A上&#xff0c;需要重定向到服务器B上项目B&#xff0c;并且需要携带参数&#xff0c;参数对用户不可见&#xff0c;所以不可以将参数拼接在重定向url后面&a…
阅读更多...
RichTextBox的使用

RichTextBox的使用

WPF里面虽然很多形式上跟Winform一样&#xff0c;但是控件的使用上面还是会有很多诧异。RichTextBox就是一个例子&#xff0c;是的&#xff0c;在WPF里面对这个控件可以做很多Winform很难做的效果出来。比如在对RichTextBox插入图片&#xff0c;winform时代除了用复制粘贴这种借…
阅读更多...
最新文章

Copyright @ 2022~2023