LuaJIT 字符串驻留
内容提要
LuaJIT中的字符串驻留是一种优化方法，通过存储唯一字符串副本来提高效率。虽然它能节省内存并加快字符串比较，但在高冲突情况下，尤其是处理相似字符串时，可能导致性能下降。因此，建议在使用LuaJIT时避免使用相似的大字符串，以提升性能。
延伸解读
字符串驻留的代价：哈希冲突与内存比较
LuaJIT 对所有字符串分配都进行驻留，即使字符串仅用于存储而非比较或作表键。当大量相似字符串出现时，稀疏哈希（hash_sparse）会快速产生相同哈希值，导致同一槽位内链表过长，触发大量 memcmp 比较。若冲突超过阈值，还会切换到稠密哈希（hash_dense）重新计算整个槽位，进一步增加 CPU 开销。因此，在高冲突场景下，驻留反而可能成为性能瓶颈。
实测数据：相似大字符串的驻留开销
文章通过实验对比了相似字符串与唯一随机字符串的驻留开销。在 1MB 大小、仅末尾字符不同的字符串场景下，单次 memcmp 耗时显著，每秒仅能执行约 90 次。模拟缓存场景中，相似字符串导致 lj_str_new 平均耗时约 1 毫秒，而唯一随机字符串平均约 0.65 毫秒，且最大延迟从 78 毫秒降至 6 毫秒。这表明相似大字符串会大幅拖慢字符串创建过程。
动态驻留的可行性：改造难度大
文章探讨了仅对表键和字符串比较进行驻留的可能性，但指出在 LuaJIT 中实现动态驻留需要修改大量代码。解释器由 DynASM 生成，需针对不同 CPU 架构调整；表键操作、GC 扫描、对象相等判断以及 tracing 编译等环节都硬编码了驻留假设。此外，非驻留字符串需要额外管理生命周期和 GC 处理。因此，动态驻留优化难度极高，短期内难以实现。
实践建议：避免相似大字符串，预热缓存
基于分析，文章建议在使用 LuaJIT 时避免使用相似的大字符串，尤其是在 OpenResty 中缓存来自 cosocket 的数据时。由于 cosocket 仅支持字符串，无法绕过驻留。为减轻影响，可在启动时预热缓存，并尽量使用唯一随机字符串以减少哈希冲突。若必须处理大量相似字符串，需评估驻留带来的 CPU 开销，并考虑其他存储方式。
Q&A
LuaJIT中的字符串驻留是什么？
字符串驻留是一种优化方法，通过存储唯一字符串副本来提高效率。
使用LuaJIT时，字符串驻留有哪些优点？
字符串驻留可以通过指针比较字符串，提高表键的使用效率，并节省内存。
字符串驻留在高冲突情况下会有什么影响？
在高冲突情况下，字符串驻留可能导致性能下降，增加比较和重新哈希的时间。
在使用LuaJIT时，如何避免字符串驻留带来的性能问题？
建议避免使用相似的大字符串，以提升性能。
LuaJIT的字符串驻留与其他编程语言有何不同？
大多数编程语言仅对字面量或常量表达式进行字符串驻留，而LuaJIT对所有字符串分配都进行驻留。
动态字符串驻留的实现难度如何？
动态字符串驻留的实现需要对LuaJIT的多个部分进行修改，优化难度较大。
