Lua中的线程和状态

1、概述
    线程（thread）作为Lua中一种基本的数据类型，它代表独立的执行线程（independent threads of execution），线程类型是实现协程（coroutines）的基础，注意这里的线程类型不要与操作系统线程混淆，Lua的线程类型是Lua虚拟机实现一种数据类型。
从Lua脚本来看，一个协程就是一个线程类型，比如：

local co = coroutine.create(function() print("hi") end)
print(co)  --output: thread: 0038BEE0

    准确来说，协程是一个线程外加一套良好的操作接口。
从实现角度来看，一个线程类型数据就是一个Lua与C交互的栈，每个栈包含函数调用链和数据栈，还有独立的调试钩子和错误信息。关于Lua与C交互的栈的可以参考之前写的一篇 文章。线程类型数据与table数据类型类似，它也是需要GC来管理的。
    当调用Lua C API中的大多数函数时，这些函数都是在特定的栈（或线程）上，因此在很多API中，第一个参数是lua_State*（线程类型对应的数据结构就是lua_State，或者说交互的栈就是用结构体lua_State来实现的），这个参数不仅表示了一个Lua状态，还表示一个记录在该状态中的线程。注意这里的状态，对一个虚拟机来说只有一个，而一个虚拟机可以包括多个线程（或者说交互栈）。这个状态也就是虚拟机的全局状态，我们可以通过调用函数luaL_newstate()来创建一个虚拟机的状态，该函数声明如下：

lua_State *lua_newstate (lua_Alloc f, void *ud);

没错，在应用程序（比如用C++编写的）中，为了加载和执行Lua脚本，首先要调用的函数就是这个函数来初始化虚拟机。该函数在初始化虚拟机状态的同时，还是创建整个虚拟机的第一个线程（称为主线程），或者说是第一个交互栈。为了在已经初始化的全局状态中创建一个新的线程（或交互栈）可以调用函数lua_newthread，该函数声明如下：

lua_State *lua_newthread (lua_State *L);

创建一个线程就拥有一个独立的执行栈了，但是它与其线程共用虚拟机的全局状态。Lua中没有函数去close或destroy 一个线程，创建的线程类型数据与其他GC对象一样，由虚拟机来管理销毁。

    总之，一个Lua虚拟机只有一个全局的状态，但可以包含多个执行环境（或者说多个线程