Lua 5.3中多次调用collectgarbage("count")后堆内存增长问题咨询

问题分析 #

你的代码在停止GC后连续调用collectgarbage("count")，出现前三次内存统计值一致、后两次突然增长的情况，这和Lua的内存管理机制、内部操作的隐性内存分配直接相关，具体原因可以从以下几点解释：

1. Lua调用栈的动态扩展 #

Lua的调用栈是动态分配的，初始栈大小有限。每次调用collectgarbage("count")都会执行「函数调用→返回值入栈→赋值变量时出栈」的操作。当调用次数达到一定阈值时，栈空间不足会触发栈扩展——Lua会分配更大的内存块来容纳栈数据，这部分内存会被计入collectgarbage("count")的统计结果中。

你的代码中前三次调用可能还在初始栈的容量范围内，第四次调用触发了栈扩展，导致总内存占用上升；后续调用复用扩展后的栈，所以内存值保持稳定。

2. Lua的Slab分配器行为 #

Lua使用Slab分配器管理小对象（比如空表、短字符串等）的内存，它会按固定大小的块（slab）预分配内存。当你创建空表a和b时，Lua可能从某个slab中分配空间，但该slab还有剩余空间未被使用。后续的内部操作（比如栈扩展）可能需要分配新的小对象，刚好触发了新的slab分配，从而推高了内存统计值。

由于GC已经停止，这些新分配的slab内存无法被回收，所以后续的count调用会持续显示更高的内存占用。

3. 内部统计结构的延迟初始化 #

虽然collectgarbage("count")核心逻辑只是读取全局状态中的totalbytes值，但Lua内部可能存在一些辅助统计结构，第一次调用时并未完全初始化。多次调用后，这些结构被触发初始化，需要分配额外内存，导致统计值上升。

验证方法 #

你可以修改代码验证上述推测：

• 先手动扩展栈：比如连续调用10次空函数，再执行collectgarbage("count")，观察第一次统计值是否直接是增长后的数值。
• 减少count调用次数到3次，确认内存值不会增长，第四次调用才会触发变化。

内容的提问来源于stack exchange，提问作者Aillieo