lua堆栈

冷不防 2021-12-12 12:13 327阅读 0赞

# lua堆栈 #

来源 [https://blog.csdn.net/suhuaiqiang\_janlay/article/details/56702381][https_blog.csdn.net_suhuaiqiang_janlay_article_details_56702381]

来源 [https://blog.csdn.net/suhuaiqiang\_janlay/article/details/63683036][https_blog.csdn.net_suhuaiqiang_janlay_article_details_63683036]

一、Lua脚本语言

1. 概述

Lua是一种脚本编程语言，与一般脚本语言不同，被称为是嵌入式的脚本语言。Lua最著名的应用是在暴雪公司的网络游戏魔兽世界中。

Lua语言可以独立进行编程，但这不是其主要的使用方式。Lua最典型的用法，是作为一个库，嵌入到其他大型语言（称为宿主语言）的应用程序之中，为应用程序提供参数配置或逻辑描述等功能，带来前所未有的灵活性。

![825468-20190709155643466-52279383.png][]

Lua常见的宿主语言有：C/C++、Java、.NET，甚至脚本语言如PHP、Ruby。

2. Lua与相似解决方案的比较

![825468-20190709155655795-939843132.png][]

Lua体积很小，往往使用静态链接嵌入到程序内部，在发布应用时不需要附带任何的运行时支持。

3. 宿主语言中嵌入Lua的工作流程

（1）宿主语言建立Lua解释器对象

（2）将宿主语言实现的Lua扩展，如函数等，注册到Lua解释器中，供其使用。

（3）读入Lua源程序或预先编译好的Lua程序。

（4）执行读入的Lua程序。

二、Lua虚拟机的初始化

Lua工作的核心是Lua虚拟机，宿主语言在加载和执行Lua脚本时，做的第一件事情就是创建并初始化Lua虚拟机。

1. 创建Lua虚拟机

lua\_State \*lua\_newstate(lua\_Alloc f, void \*ud) API可以为我们创建一个新的独立的Lua虚拟机。

参数指定了虚拟机中的内存分配策略，例如我们已经在自己的代码中实现了内存池，这时候只需要写一个符合lua\_Alloc原型的适配器，然后指定为Lua的内存分配器就可以了，使得内存分配更加灵活。当然，如果不想自定义内存分配策略，也可以使用luaL\_newstate，这样Lua会帮你定义默认的内存分配策略。

我们可以先来看一下luaL\_newstate的源码：

// luaconf.h
    /*
    @@ LUA_EXTRASPACE defines the size of a raw memory area associated with
    ** a Lua state with very fast access.
    ** CHANGE it if you need a different size.
    */
    #define LUA_EXTRASPACE        (sizeof(void *))
     
    // lstate.c
    /*
    ** thread state + extra space
    */
    typedef struct LX {
      lu_byte extra_[LUA_EXTRASPACE];
      lua_State l;
    } LX;
     
    /*
    ** Main thread combines a thread state and the global state
    */
    typedef struct LG {
      LX l;
      global_State g;
    } LG;
     
    // lstate.c
    LUA_API lua_State *lua_newstate (lua_Alloc f, void *ud) {
      int i;
      lua_State *L;
      global_State *g;
      LG *l = cast(LG *, (*f)(ud, NULL, LUA_TTHREAD, sizeof(LG)));
      if (l == NULL) return NULL;
      L = &l->l.l;
      g = &l->g;
      ......
      return L;
    }

可见，通过luaL\_newstate 创建Lua虚拟机时，第一块申请的内存将用来存储global\_State（全局状态机）和lua\_State（主线程）实例。为了避免内存碎片的产生，同时减少内存分配和释放的次数，Lua采用了一个小技巧：利用一个LG结构，把分配lua\_State和global\_State的行为关联在一起。这个LG结构是在C文件内部定义，而不存在公开的H文件中，仅供该C代码文件使用，因此这种依赖数据结构内存布局的用法负作用不大。

![825468-20190709155819789-1858429019.png][]

2. 关于global\_State和lua\_State

在一个独立的Lua虚拟机中，global\_State是一个全局的结构, 而lua\_State可以有多个。

![825468-20190709155809152-1711948267.png][]

global\_State

global\_State结构，我们可以称之为Lua全局状态机。从Lua的使用者角度来看，global\_State结构是完全感知不到的：我们无法用Lua公开的API获取到它的指针、句柄或引用，而且实际上我们也并不需要引用到它。但是对于Lua的实现来说，global\_State是十分重要的部分。

它管理着Lua中全局唯一的信息，主要是以下功能：

（1）内存分配策略及其参数

在调用lua\_newstate的时候配置它们. 也可以通过lua\_getallocf和lua\_setallocf随时获取和修改它

（2）字符串的hashtable

全局的字符串哈希表，即保存那些短字符串，使得整个虚拟机中短字符串只有一份实例。具体参见 [Lua字符串处理][Lua]

（3）垃圾回收相关的信息，内存使用统计量

（4）panic, 当无保护调用发生时, 会调用该函数, 默认是null, 可以通过lua\_atpanic配置.（用于异常处理）

（5）注册表, 注册表是一个全局唯一的table

（6）记录lua中元方法名称 和 基本类型的元表

\[注意, lua中table和userdata每个实例可以拥有自己的独特的元表--记录在table和userdata的mt字段, 其他类型是每个类型共享一个元表--就是记录在这里\].

（7）upvalue链表

（8）主lua\_State, 一个lua虚拟机中, 可以有多个lua\_State, lua\_newstate会创建出一个lua\_State（称为主线程）, 并邦定到global\_state的主lua\_State上

lua\_State

线程，这里线程的概念区别于操作系统的线程，实际上也是Lua中定义的一种状态机。lua\_State主要是管理一个lua虚拟机的执行环境, 一个lua虚拟机可以有多个执行环境。

（1）要注意的是, 和nil, string, table一样,lua\_State也是lua中的一种基本类型, lua中的表示是TValue \{value = lua\_State, tt = LUA\_TTHREAD\}

（2）lua\_State的成员和功能

a. 栈的管理, 包括管理整个栈和当前函数使用的栈的情况

b. CallInfo的管理, 包括管理整个CallInfo数组和当前函数的CallInfo

c. hook相关的, 包括hookmask, hookcount, hook函数等

d. 全局表l\_gt, 注意这个变量的命名, 很好的表现了它其实只是在本lua\_State范围内是全局唯一的的, 和注册表不同, 注册表是lua虚拟机范围内是全局唯一的  
e. gc的一些管理和当前栈中upvalue的管理   
f.  错误处理的支持  
（3）从lua\_State的成员可以看出来, lua\_State最主要的功能就是函数调用以及和c的通信.

3. lua\_newstate函数的流程

（1）新建一个global\_state和一个lua\_State

（2）初始化, 包括给g\_s创建注册表, g\_s中各个类型的元表的默认值全部置为0

（3）给l\_s创建全局表, 预分配l\_s的CallInfo和stack空间

（4）其中涉及到了内存分配统统使用lua\_newstate传进来的内存分配器分配

1：lua\_push\* 压栈API

lua\_push\*这些API是把C语言里面的值封装成Lua类型的值压入栈中的，对于那些需要垃圾回收的元素，在压入栈时，都会在Lua（也就是Lua虚拟机中）生成一个副本。比如lua\_pushstring(lua\_State \*L, const char \*s)会向中栈压入由s指向的以'\\0'结尾的字符串，在C中调用这个函数后，我们可以任意释放或修改由s指向的字符串，也不会出现问题，原因就是在执行lua\_pushstring过程中Lua会生成一个内部副本。实质上，Lua不会持有指向外部字符串的指针，也不会持有指向任何其他外部对象的指针（除了C函数，因为C函数总是静态的）。

总之，一旦C中值被压入栈中，Lua就会生成相应的结构（实质就是Lua中实现的相应数据类型）并管理（比如自动垃圾回收）这个值，从此不会再依赖于原来的C值。

2：lua栈大小

lua 只保证在从 Lua 进入 C 的边界上提供额外的 LUA\_MINSTACK 个 slot 。这个值默认为 20 ，一般是够用的。正因为一般够用，反而容易被编写 C 扩展的同学忽视。尤其是在 C 扩展的代码里有 C 层次上的递归时，非常容易在边界情况下栈溢出。因为 Lua 的 stack 实际上又经常留出超过 LUA\_MINSTACK 的空间，这种 bug 不易察觉。记住：如果你在 C 扩展中做复杂的事情，一定要记得在使用 lua stack 前，用 luaL\_checkstack 留够你需要的空间。

OK，这篇文章主要是借lua\_newstate讲述global\_State和lua\_State的结构与作用，希望对大家了解Lua工作环境有一点帮助。

下一篇将讲述Lua栈相关的内容，更新中。。。

参考文献：

http://www.cnblogs.com/ringofthec/archive/2010/11/09/lua\_State.html

http://blog.csdn.net/maximuszhou/article/details/46277695

一、Lua栈

1. 什么是lua栈

lua的栈类似于以下的定义, 它是在创建lua\_State的时候创建的:  TValue stack\[max\_stack\_len\]  // 欲知内情可以查 lstate.c 的stack\_init函数

存入栈的数据类型包括数值, 字符串, 指针, talbe, 闭包等, 下面是一个栈的例子:

![825468-20190709160503831-363687149.png][]

2. TValue结构

压入的类型有数值, 字符串, 表和闭包\[在c中看来是不同类型的值\], 但是最后都是统一用TValue这种数据结构来保存的:), 下面用图简单的说明一下这种数据结构:

![loading.gif][]

p -- 可以存一个指针, 实际上是lua中的light userdata结构  
  n -- 所有的数值存在这里, 不过是int , 还是float

b -- Boolean值存在这里, 注意, lua\_pushinteger不是存在这里, 而是存在n中, b只存布尔  
  gc -- 其他诸如table, thread, closure, string需要内存管理垃圾回收的类型都存在这里  
  gc是一个指针, 它可以指向的类型由联合体GCObject定义, 从图中可以看出, 有string, userdata, closure, table, proto, upvalue, thread

从上面的图可以的得出如下结论:  
   1. lua中, number, boolean, nil, light userdata四种类型的值是直接存在栈上元素里的, 和垃圾回收无关.

2. lua中, string, table, closure, userdata, thread存在栈上元素里的只是指针, 他们都会在生命周期结束后被垃圾回收.

lua value 和 c value的对应关系

c          lua  
         nil           无    \{value=0, tt = t\_nil\}  
      boolean       int  非0, 0    \{value=非0/0， tt = t\_boolean\}  
      number       int/float等   1.5    \{value=1.5, tt = t\_number\}  
   lightuserdata    void\*, int\*, 各种\*  point    \{value=point, tt = t\_lightuserdata\}  
      string          char  str\[\]    \{value=gco, tt = t\_string\}   gco=TString obj  
      table            无    \{value=gco, tt = t\_table\}  gco=Table obj  
      userdata            无    \{value=gco, tt = t\_udata\} gco=Udata obj  
      closure            无    \{value=gco, tt = t\_function\} gco=Closure obj

![825468-20190709160738353-814326279.png][]

二、通过Lua栈实现和C++的通讯

1. Lua和C通讯的约定

lua和c通信时有这样的约定: 所有的lua中的值由lua来管理, c++中产生的值lua不知道, 类似表达了这样一种意思: "如果你(c/c++)想要什么, 你告诉我(lua), 我来产生, 然后放到栈上, 你只能通过api来操作这个值, 我只管我的世界", 这个很重要, 因为:  
     "如果你想要什么, 你告诉我, 我来产生"就可以保证, 凡是lua中的变量, lua要负责这些变量的生命周期和垃圾回收, 所以, 必须由lua来创建这些值(在创建时就加入了生命周期管理要用到的簿记信息)  
     "然后放到栈上, 你只能通过api来操作这个值", lua api给c提供了一套完备的操作界面, 这个就相当于约定的通信协议, 如果lua客户使用这个操作界面, 那么lua本身不会出现任何"意料之外"的错误.  
     "我只管我的世界"这句话体现了lua和c/c++作为两个不同系统的分界, c/c++中的值, lua是不知道的, lua只负责它的世界。

2. 栈的索引规则

栈底到栈顶索引呈+1递增的规律，同时索引有正数索引和负数索引两种表示方式：

1. 正数索引，不需要知道栈的大小，我们就能知道栈底在哪，栈底的索引永远是1

即：栈底是1，然后一直到栈顶逐渐+1  
2. 负数索引，不需要知道栈的大小，我们就能知道栈顶在哪，栈顶的索引永远是-1

即：栈顶是-1，然后一直到栈底逐渐-1

3. Lua和C++通讯实例

假设在一个lua文件中有如下定义：

-- hello.lua 文件
    myName = "beauty girl"

想要在C++中获取到myName的值，可以lua\_getglobal 来获取：

/* 取得table变量，在栈顶 */  
    lua_getglobal(pL, "myName ");

lua\_getglobal的处理过程如下：（请注意红色数字，代表通信顺序）

![825468-20190709160856685-1693189754.png][]

1） C++想获取Lua的myName字符串的值，所以它把myName放到Lua堆栈（栈顶），以便Lua能看到  
2） Lua从堆栈（栈顶）中获取myName，此时栈顶再次变为空  
3） Lua拿着这个myName去Lua全局表查找myName对应的字符串  
4） 全局表返回一个字符串”beauty girl”  
5） Lua把取得的“beauty girl”字符串放到堆栈（栈顶）  
6） C++可以从Lua堆栈中取得“beauty girl”

现在，我们给helloLua.lua文件添加一个table全局变量：

-- helloLua.lua文件  
    myName = "beauty girl"  
    helloTable = {name = "mutou", IQ = 125}

我们看到，多了一个helloTable的变量，它和数组十分相似，又和HashMap有点类似，总之它很强大。  
获取helloTable变量的方式和以前是一样的：

/* 取得table变量，在栈顶 */  
    lua_getglobal(pL, "helloTable");

这样，helloTable变量就被存放到栈顶。  
可我们并不是要取table变量，因为C++中是无法识别Lua的table类型的，所以我们要取得table中具体的值，也就是name和IQ的值。  
   
有一个和lua\_getglobal类似的函数，叫做lua\_gettable，顾名思义，它是用来取得table相关的数据的。  
lua\_gettable函数会从栈顶取得一个值，然后根据这个值去table中寻找对应的值，最后把找到的值放到栈顶。  
lua\_pushstring()函数可以把C++中的字符串存放到Lua的栈里；  
然后再用lua\_gettable()取执行前面所说的步骤，lua\_gettable的第二个参数是指定的table变量在栈中的索引。

为了方便理解，我们画个图来表示：

![825468-20190709161002808-373842667.png][]

这是初始状态，堆栈里还没有任何东西，那么，现在要先把helloTable变量放到栈顶：

/* 取得table变量，在栈顶 */  
    lua_getglobal(pL, "helloTable");

然后就变成了这样：

![825468-20190709161132975-1686512989.png][]

接着，我们要取得table的name对应的值，那么，先要做的就是把”name”字符串入栈：

/* 将C++的字符串放到Lua的栈中，此时，栈顶变为“name”， helloTable对象变为栈底 */  
    lua_pushstring(pL, "name");

然后变成这样：

![825468-20190709161159307-231095334.png][]

注意了，我把栈的索引也加上了，因为我们即将要使用，这次我们用负数索引。  
由于”name”的入栈，现在helloTable变量已经不在栈顶了。  
接着，我们调用要做最重要的一步了，取得name在table中对应的值：

/* 
    从table对象寻找“name”对应的值（table对象现在在索引为-2的栈中，也就是当前的栈底）, 
    取得对应值之后，将值放回栈顶 
    */ 
    lua_gettable(pL, -2);

此时，栈变成这样：

![825468-20190709161239424-613314661.png][]

lua\_gettable倒底做了什么事情？  
首先，我们来解释一下lua\_gettable的第二个参数，-2是什么意思，-2就是刚刚helloTable变量在栈中的索引。  
然后，Lua会去取得栈顶的值（之前的栈顶是”name”），然后拿着这个值去helloTable变量中寻找对应的值，当然就找到”mutou”了。  
最后，Lua会把找到的值入栈，于是”mutou”就到了栈顶了。

最后，简单写了个Lua和C++相互调用的实例，代码地址：[Lua和C++交互示例代码][Lua_C]

============= End

转载于:https://www.cnblogs.com/lsgxeva/p/11158168.html

[https_blog.csdn.net_suhuaiqiang_janlay_article_details_56702381]: https://blog.csdn.net/suhuaiqiang_janlay/article/details/56702381
[https_blog.csdn.net_suhuaiqiang_janlay_article_details_63683036]: https://blog.csdn.net/suhuaiqiang_janlay/article/details/63683036
[825468-20190709155643466-52279383.png]: /images/20211211/16411c2e9e414369aac89cf98ea0bd6f.png
[825468-20190709155655795-939843132.png]: /images/20211211/a522c32f7e6c49849fc6c07ebc3ca1c9.png
[825468-20190709155819789-1858429019.png]: /images/20211211/d5f89325e3b64b3da8bf1fc52a6d649b.png
[825468-20190709155809152-1711948267.png]: /images/20211211/27065fdf5b064f97a236bd051a0c1786.png
[Lua]: http://blog.csdn.net/john_crash/article/details/49619043
[825468-20190709160503831-363687149.png]: /images/20211211/5a512c35eb05443f9fb95b778d93f454.png
[loading.gif]: /images/20211211/199099c74e5f4cf8a2758e931dfce35b.png
[825468-20190709160738353-814326279.png]: /images/20211211/f9cb3d67e0d048b39e4390c9885bfa88.png
[825468-20190709160856685-1693189754.png]: /images/20211211/7b9c3495157443c39afb38d61f774bb6.png
[825468-20190709161002808-373842667.png]: /images/20211211/da277956dc49495ca65d1c542b4069e8.png
[825468-20190709161132975-1686512989.png]: /images/20211211/7dcd1dfa285247d48db3ae35928f1a51.png
[825468-20190709161159307-231095334.png]: /images/20211211/51d6a0c30c2048d89e59cb4eecc19b7d.png
[825468-20190709161239424-613314661.png]: /images/20211211/6f614208fb244ce19b5f5980e4bfbfec.png
[Lua_C]: http://dl.download.csdn.net/down11/20170319/2d7e03448be4fa32d886b8b2a93fe943.rar?response-content-disposition=attachment%3Bfilename%3D