在C语言中,您能否从任何地方产生和恢复Luajit coroutines?

我正在尝试想出一种解决方案,从即创建一个任务以在另一个OS线程上处理的C函数中产生Luajit协程。

根据各种Lua文件,事情开始严重相互矛盾,这并不完全可能吗?这些文档不是很清楚,也没有解释原因。

Lua 5.1指出,每个协程都有一个堆栈。然而,只有一个全局C堆栈。我不是很确定这是一个障碍。

Lua 5.2显然用lua_pcallk和lua_yieldk解决了这个问题。但是解释非常令人困惑。

但是,这些都没有说明我正在使用的虚拟机...,即LuaJIT 2.0.4和LuaJIT 2.1.0。

谷歌搜索告诉我,Luajit 1.x实现了CoCo,其明显为每个lua线程(协程)使用真正的C堆栈。这允许从任何地方产生。

只有一次搜索让我看到,显然LuaJIT 2.x不实现coco,因为每个协程都使用C堆栈。

是否有人可以告诉我从C中产生协程的问题是什么?并验证我是否可以安全地从c中产生/恢复luajit 2.x协程?

点赞
用户646619
用户646619

在参考 Lua 实现中,每个 Lua 协程都有其自己的 Lua 堆栈,它就是 lua_State 内部的一个数组,并且与 C 堆栈没有关系。Lua 无法保存 C 堆栈(因为在标准 C 中不可能实现),因此如果正在执行 C 函数,就无法使协程暂停。

例如,如果有 Lua 函数 a 调用 C 函数 b,然后又调用 Lua 函数 c,如果 c 尝试暂停,Lua 将无法保存 b 的局部变量(因为它是一个 C 函数),并且会失败。

这同样适用于许多内置的 Lua 函数。正如你所提到的,在 Lua 5.1 中,实现不支持跨 pcall 暂停,直到 Lua 5.2 显然添加了特殊函数使其可行。

Coco 是标准 Lua 实现的一个补丁,实现了在协程中独立的 C 堆栈,以便 Lua 现在可以“保存”C 函数变量。LuaJit 1.x 也包含它。它不适用于 LuaJit 2.x,因为它是一个完全不同的 Lua 实现。


LuaJit 2.x 在 扩展网页 中有以下段落:

Fully Resumable VM

LuaJIT VM 是完全可暂停的。这意味着,即使在上下文之间,也可以从协程中进行暂停,这在标准 Lua 5.1 VM 中是不可能的:例如,您可以跨 pcall() 和 xpcall() 进行暂停,在迭代器之间进行暂停,并且可以跨元方法进行暂停。

因此,暂停内置函数应该可以实现,尽管它仍然不确定是否适用于任意 Lua C API 函数。不过这很容易测试。编写一个简单的 C API 函数,它可以接受一个 Lua 函数并调用它,然后传递一个需要暂停的函数给它。如果它不工作,应该会抛出错误。

请注意,使用 FFI 加载的纯 C 函数根本不允许触及 Lua 状态。这包括尝试执行暂停操作。

2016-11-24 16:21:52