2013年01月_yuanlin2008

原创探索Lua5.2内部实现:编译系统(4) 表达式分类

原文：http://blog.csdn.net/yuanlin2008/article/details/8534583常量表达式常量表达式在Lua用来表示"nil"，“true”，“false”，字符串和数字的值。在BNF中常量表达式属于终结符，也就是语法解析的最底端，在simpleexp函数中被解析出来，并创建对应类型的expdesc对象。VNIL，VTRUE和VFALSE这三个类型

2013-01-29 10:52:33 19196 4

原创探索Lua5.2内部实现:编译系统(3) 表达式

原文地址:http://blog.csdn.net/yuanlin2008/article/details/8516325表达式(expression)在编程语言中代表一个可以返回值的语法单位，比如常量表达式，变量表达式，函数调用表达式，算术、关系和逻辑表达式等等。对于函数式编程语言来说，几乎所有的语句都是表达式，可以被估值。而对于命令式语言，一般会将语句分成表达式和陈述语句(statem

2013-01-23 15:30:03 19651

原创探索Lua5.2内部实现:编译系统(2) 跳转的处理

原文跳转用来控制程序的指令流程。Lua使用OP_JMP指令来执行一个跳转，有关OP_JMP的详细介绍，可以参见《虚拟机指令》。跳转可以分为条件跳转和非条件跳转。非条件跳转比较简单，我们可以先从这里入手。goto在Lua5.2中，goto和label是新加入的statement，用来执行非条件跳转。这两个statement分别在lparser.c中的gotostat和labelsta

2013-01-21 13:07:22 21634 3

原创探索Lua5.2内部实现:编译系统(1) 概述

原文Lua是一个轻量级高效率的语言。这种轻量级和高效率不仅体现在它本身虚拟机的运行效率上，而且也体现在他整个的编译系统的实现上。因为绝大多数的lua脚本需要运行期动态的加载编译，如果编译过程本身非常耗时，或者占用很多的内存，也同样会影响到整体的运行效率，使你感觉这个语言不够“动态”。正是因为编译系统实现的非常出色，我们在实际使用lua时基本感觉不到这个过程的存在。要实现一个Lua的编译

2013-01-18 19:03:25 26221 10

原创探索Lua5.2内部实现:虚拟机指令(8) LOOP

原文Lua5.2种除了for循环之外，其他的各种循环都使用关系和逻辑指令，配合JMP指令来完成。local a = 0;while(a < 10) do a = a + 1;end 1 [1] LOADK 0 -1 ; 0 2 [2] LT 0 0 -2

2013-01-15 18:10:00 18324 1

原创探索Lua5.2内部实现:虚拟机指令(7) 关系和逻辑指令

原文nameargsdescOP_JMPA sBxpc+=sBx; if (A) close all upvalues >= R(A) + 1JMP执行一个跳转，sBx表示跳转的偏移位置，被加到当前指向下一指令的指令指针上。如果sBx为0，表示没有任何跳转；1表示跳过下一个指令；-1表示重新执行当前指令。如果A>0，表示需要关

2013-01-15 12:39:26 18679 2

原创探索Lua5.2内部实现:虚拟机指令(6）FUNCTION

原文nameargsdescOP_CALLA B CA B C R(A), ... ,R(A+C-2) := R(A)(R(A+1), ... ,R(A+B-1))CALL执行一个函数调用。寄存器A中存放函数对象，所有参数按顺序放置在A后面的寄存器中。B－1表示参数个数。如果参数列表的最后一个表达式是变长的，则B会设

2013-01-13 20:32:01 18707 1

原创探索Lua5.2内部实现:虚拟机指令(5）Arithmetic

原文nameargsdescOP_ADDA B CR(A) := RK(B) + RK(C)OP_SUBA B CR(A) := RK(B) - RK(C)OP_MULA B CR(A) := RK(B) * RK(C)OP_DIVA B CR(A) := RK(B) / RK(C)

2013-01-11 18:14:27 17743

原创探索Lua5.2内部实现:虚拟机指令(4) Table

原文nameargsdescOP_NEWTABLEA B CR(A) := {} (size = B,C)NEWTABLE在寄存器A处创建一个table对象。B和C分别用来存储这个table数组部分和hash部分的初始大小。初始大小是在编译期计算出来并生成到这个指令中的，目的是使接下来对table的初始化填充不会造成reh

2013-01-11 18:13:36 19615 1

原创探索Lua5.2内部实现:虚拟机指令(3) Upvalues & Globals

原文在编译期，如果要访问变量a时，会依照以下的顺序决定变量a的类型：a是当前函数的local变量a是外层函数的local变量，那么a是当前函数的upvaluea是全局变量local变量本身就存在于当前的register中，所有的指令都可以直接使用它的id来访问。而对于upvalue，lua则有专门的指令负责获取和设置。全局变量在lua5.1中也是使用专门的指令，而5.2

2013-01-11 18:12:38 21033 1

原创探索Lua5.2内部实现:虚拟机指令(2) MOVE & LOAD

原文nameargsdescOP_MOVEA BR(A) := R(B)OP_MOVE用来将寄存器B中的值拷贝到寄存器A中。由于Lua是register based vm，大部分的指令都是直接对寄存器进行操作，而不需要对数据进行压栈和弹栈，所以需要OP_MOVE指令的地方并不多。最直接的使用之处就是将一个local变量

2013-01-11 18:12:00 23566 2

原创探索Lua5.2内部实现:虚拟机指令(1) 概述

原文Lua一直把虚拟机执行代码的效率作为一个非常重要的设计目标。而采用什么样的指令系统的对于虚拟机的执行效率来说至关重要。Stack based vs Register based VM根据指令获取操作数方式的不同，我们可以把虚拟机的实现分为stack based和register based。Stack based vm对于大多数的虚拟机，比如JVM，Python，都采用

2013-01-11 18:11:34 33855 4

原林的专栏