OpenResty 中的 LuaJIT：运行机制与 luajit2 分支
内容提要
OpenResty 使用 LuaJIT 2.1 运行 Lua 代码，LuaJIT 嵌入每个 Nginx worker 进程，请求代码在协程中执行，热点路径经 JIT 编译为机器码。开源版捆绑 OpenResty 维护的 luajit2 分支，定期同步上游，并增加表操作 API、更适合大型应用的 JIT 默认参数及核心 C API。另有私有增强版 LuaJIT-plus，针对长期运行中 RSS 偏高问题治理内存。
延伸解读
理解 luajit2 的定位：分支而非 fork
luajit2 是 OpenResty 维护的 LuaJIT 2.1 分支，会定期同步上游改动，因此不是独立分叉。它运行同样的 Lua 5.1 代码，但增加了表操作 API、更适合大型应用的 JIT 默认参数以及 OpenResty 核心使用的 C API。部署时应使用发行版捆绑的组合，避免自行拼接版本导致兼容性问题。
JIT 编译与 trace abort 的实践含义
LuaJIT 先解释执行并监测热点路径，达到条件后生成机器码（trace）。trace abort 表示某次记录中止，并不等于函数从此只能解释执行，后续仍可能再次触发编译。abort 计数、lj_BC_* 帧等只是诊断线索，需结合采样工具解读。基准测试要考虑 JIT 预热，先让代码运行到稳定状态再计时。
worker 隔离与协程非阻塞的边界
每个 Nginx worker 进程有独立的 LuaJIT 虚拟机，模块级变量和状态只在当前 worker 的后续请求间保留，跨 worker 共享需使用 lua_shared_dict 等机制。请求代码运行在协程中，cosocket 等待网络时协程挂起、worker 继续处理其他事件，但这依赖 OpenResty 的非阻塞 API，Lua 标准库的阻塞调用不会自动变为非阻塞。
luajit2 与 LuaJIT-plus 的选用边界
普通 OpenResty 应用使用发行版捆绑的 luajit2 即可。LuaJIT-plus 是私有增强运行时，针对 Lua GC 回收对象后分配器不立即归还物理页、导致 RSS 持续升高的长期运行问题，增加主动治理空闲和碎片化内存的能力，降低 RSS 虚高引发的 OOM Kill 风险。它替换的是运行时，需在构建或部署时使用对应发行版，并非通过定时重启释放内存。
Q&A
OpenResty 用的是什么 Lua 运行时？
OpenResty 使用 LuaJIT 2.1 作为 Lua 运行时。从 lua-nginx-module v0.10.16 起，该模块要求 LuaJIT，不再支持标准 Lua 解释器（PUC-Rio Lua）。开源发行版捆绑的是 OpenResty 维护的 luajit2 分支。
LuaJIT 在 Nginx worker 中是如何运行的？
LuaJIT 虚拟机存在于每个 Nginx worker 进程中，HTTP 和 Stream 子系统各自使用独立的 Lua 虚拟机。请求处理代码运行在轻量级 Lua 协程里，使用 cosocket 等非阻塞 API 时，网络等待期间协程挂起，worker 可继续处理其他事件。热点路径会被 JIT 编译成机器码。
luajit2 和上游 LuaJIT 有什么区别？
luajit2 是 OpenResty 维护的 LuaJIT 2.1 分支，会定期同步上游改动，并增加面向 OpenResty 的修改：提供 table.isempty、table.isarray、table.nkeys、table.clone 等表操作 API；采用更适合大型应用的 JIT 默认参数（如 maxtrace=8000、maxrecord=16000、minstitch=3、maxmcode=40960 KB）；增加 OpenResty 核心使用的 C API（如 lua_resetthread）和 OPENRESTY_LUAJIT 宏；字节码工具增加 -bL 选项；提高 upvalue 数量上限等。
OpenResty 应该用上游 LuaJIT 还是 luajit2？
标准 OpenResty 部署应使用该发行版捆绑的 LuaJIT（即 luajit2），因为 LuaJIT、lua-nginx-module 及相关组件是一起打包的。lua-nginx-module 也支持官方 LuaJIT 2.x 发布版，但其文档指出性能会明显下降；检测到非 OpenResty 的 LuaJIT 时，Nginx 还会记录一条告警日志。
LuaJIT-plus 是什么？和 luajit2 有什么不同？
LuaJIT-plus 是 OpenResty Inc. 提供的私有增强版 LuaJIT 运行时，可直接替代标准 LuaJIT。它针对生产环境中 Lua GC 回收对象后分配器不立即归还物理页导致 RSS 持续升高的问题，增加对空闲、碎片化内存的主动治理能力，使 RSS 更接近实际工作集，降低 OOM Kill 风险。它不是 luajit2 的另一个语法模式，也不是 GC64 的别名。普通应用使用 luajit2 即可；若遇到 RSS 只增不降、内存限制难以设置，可评估 LuaJIT-plus。
LuaJIT 的 JIT 编译中 trace abort 是什么意思？
Trace abort 表示某次 trace 记录中止，可能由遇到尚未实现 JIT 支持的操作（NYI）或达到记录限制等原因引起。它并不等于整个函数从此只能解释执行：后续执行可能继续走解释器，也可能再次触发编译尝试。因此 abort 计数、lj_BC_* 帧或 trace#N 帧都只是诊断线索，应结合采样和具体分析工具解读。
