深入了解 v8 最大堆栈帧/大小

Question

我想更详细地了解最大堆栈帧/大小。

function computeMaxCallStackFrames() {
    try {
        //
        // <Variable part here>
        //
        return 1 + computeMaxCallStackFrames();
    } catch (e) {
        // Call stack overflow
        return 1;
    }
}
computeMaxCallStackFrames()  // 5447  on Chrome 58.0.3029.110, Mac 10.11

将// <Variable part here> 更改为：

测试用例 1：

var a = 1;
// computeMaxCallStackFrames() => 5220

测试用例 2：

var a = 1;
var b = 2;    
// computeMaxCallStackFrames() => 5011

测试用例 3：

var a = 1;
var b = {};    
// computeMaxCallStackFrames() => 5011  (no change from `var b = 2;`)

测试用例 4：

var a = 1;
var b = {c: 3};    
// computeMaxCallStackFrames() => 5010

我的问题是为什么 Test case 4 会发生变化，以及为什么它会减少 1 个堆栈帧。

** 编辑 ** 任何指向 v8 源代码的相关链接都很棒。即使只是显示设置堆栈大小内存限制的位置也是很好的介绍。很抱歉，当 Andreas Rossberg 和 jmrk 已经分别留下了他们很好的答案和 cmets 时，没有问这个问题。

Answer 1

有很多很多因素会影响 V8 和其他 JS 引擎中单个堆栈帧的大小：例如，参数的数量、变量的数量、这些变量的生命周期、这些变量的使用方式，它们是否在内部闭包中被捕获，是否有 try-handlers，函数中发生了哪些其他操作（内部可能需要临时变量），甚至之前已经传递给函数的实际参数的类型。此外，这一切都取决于运行时分析和函数（以及它可能调用的其他函数）的优化级别，这可能会随着时间而变化，甚至取决于它何时被编译/优化/去优化，这可能有些不确定。

这就是说——和往常一样——微基准不会提供有用的信息，最坏的情况是会产生严重的误导。你真的需要衡量你关心的具体程序。