关注
分享
yuanlin2008
这个作者很懒，什么都没留下…
展开
-
探索Lua5.2内部实现:编译系统(3) 表达式
原文地址:http://blog.csdn.net/yuanlin2008/article/details/8516325表达式(expression)在编程语言中代表一个可以返回值的语法单位，比如常量表达式，变量表达式，函数调用表达式，算术、关系和逻辑表达式等等。对于函数式编程语言来说，几乎所有的语句都是表达式，可以被估值。而对于命令式语言，一般会将语句分成表达式和陈述语句(statem原创 2013-01-23 15:30:03 · 19514 阅读 · 0 评论 -
探索Lua5.2内部实现:Garbage Collection(3)
GC步骤global_State中的gcstate记录了当前incremental gc的执行状态。根据执行状态，整个gc过程被分为很多步执行。GCSpauseGCSpause状态标志着当前没有开始gc。gc一旦开始，第一步要做的就是标识所有的root对象。root对象包括global_State引用的mainthread对象，registry table，全局的metatable和上原创 2017-01-06 13:48:54 · 2706 阅读 · 0 评论 -
探索Lua5.2内部实现:Garbage Collection(2)
原文：http://blog.csdn.net/yuanlin2008/article/details/8684869GCObjectLua使用union GCObject来表示所有的垃圾回收对象：182 /*183 ** Union of all collectable objects184 */185 union GCObject {186 GCheader g原创 2013-04-08 14:14:59 · 17663 阅读 · 1 评论 -
探索Lua5.2内部实现:Garbage Collection(1) 原理
Lua5.2采用垃圾回收机制对所有的lua对象(GCObject)进行管理。Lua虚拟机会定期运行GC，释放掉已经不再被被引用到的lua对象。基本算法基本的垃圾回收算法被称为"mark-and-sweep"算法。算法本身其实很简单。首先，系统管理着所有已经创建了的对象。每个对象都有对其他对象的引用。root集合代表着已知的系统级别的对象引用。我们从root集合出发，就可以访问到系统引用原创 2013-03-13 17:55:07 · 24892 阅读 · 2 评论 -
探索Lua5.2内部实现:TString
原文http://blog.csdn.net/yuanlin2008/article/details/8423923Lua使用TString结构体代表一个字符串对象。/*** Header for string value; string bytes follow the end of this structure*/typedef union TString { L_U原创 2013-02-05 17:57:33 · 19349 阅读 · 1 评论 -
探索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 · 21473 阅读 · 3 评论 -
探索Lua5.2内部实现:编译系统(1) 概述
原文Lua是一个轻量级高效率的语言。这种轻量级和高效率不仅体现在它本身虚拟机的运行效率上，而且也体现在他整个的编译系统的实现上。因为绝大多数的lua脚本需要运行期动态的加载编译，如果编译过程本身非常耗时，或者占用很多的内存，也同样会影响到整体的运行效率，使你感觉这个语言不够“动态”。正是因为编译系统实现的非常出色，我们在实际使用lua时基本感觉不到这个过程的存在。要实现一个Lua的编译原创 2013-01-18 19:03:25 · 26033 阅读 · 10 评论 -
探索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 · 19103 阅读 · 4 评论 -
探索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 · 18238 阅读 · 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 · 18559 阅读 · 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 · 18583 阅读 · 1 评论 -
探索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 · 19475 阅读 · 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 · 20864 阅读 · 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 · 23369 阅读 · 2 评论 -
探索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 · 17642 阅读 · 0 评论 -
探索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 · 33439 阅读 · 4 评论 -
探索Lua5.2内部实现:Function
基本概念Lua函数引入了很多functional programming的概念，这些概念使得Lua函数在使用上可谓“功能强大，简洁统一”，非常符合程序员的“审美观”。函数在Lua中属于“带有词法范围的一类值”(first-class values with proper lexical scoping)。所谓“一类值”（first-class values），应该符合以下条件：原创 2017-01-06 13:50:25 · 5308 阅读 · 1 评论