QuickJS-NG 项目中栈回溯调用过频问题分析

问题背景

在 QuickJS-NG JavaScript 引擎中，开发者发现了一个关于错误栈回溯的有趣现象。当执行递归函数并抛出异常时，引擎会异常频繁地调用栈回溯构建函数，导致性能问题和意外行为。

现象重现

通过以下两个测试用例可以清晰地观察到这个问题：

1. 递归调用计数测试

function f() { f() }
let count = 0
Error.prepareStackTrace = () => count++
try {
    f()
} catch (e) {
    // 忽略异常
}
print(count) // 输出约157次，随着--stack-size增大而增加

2. 栈深度测试

function f(n) {
    if (--n > 0) f(n)
    else throw Error("unwind")
}
Error.prepareStackTrace = (exc, stk) => print(stk.length)
try {
    f(16)
} catch (e) {
    // 忽略异常
}

输出结果展示了一个递减的栈长度序列，表明在栈展开过程中被多次调用。

技术分析

问题的根源在于引擎内部实现。在 QuickJS-NG 的 JS_CallInternal 函数中，每次栈帧展开时都会调用 build_backtrace 函数。这种设计导致了：

1. 性能损耗：每个栈帧展开都会触发完整的栈回溯构建
2. 逻辑错误：prepareStackTrace 回调被过度调用
3. 结果不一致：每次调用看到的栈深度不同

解决方案

该问题已被确认为一个实现缺陷，并在后续提交中被修复。修复方案主要涉及：

1. 优化栈回溯的触发时机
2. 确保只在必要时构建完整的调用栈
3. 保持错误处理的一致性和性能

对开发者的启示

这个问题提醒我们：

1. 错误处理路径的性能同样重要
2. 递归和异常处理的交互需要特别关注
3. 引擎内部实现细节可能影响用户可见行为
4. 测试用例应覆盖边界条件和异常路径

对于使用 QuickJS-NG 的开发者，建议在涉及深度递归和自定义错误处理的场景中进行充分测试，确保行为符合预期。