单独使用%OptimizeFunctionOnNextCall()与搭配%PrepareFunctionForOptimization()的差异是什么？

问题 #

单独调用%OptimizeFunctionOnNextCall()，与先调用%PrepareFunctionForOptimization()再搭配%OptimizeFunctionOnNextCall()使用，二者存在什么差异？

示例代码1：单独调用%OptimizeFunctionOnNextCall() #

function test() {
    // 此处为待优化的代码
}

%OptimizeFunctionOnNextCall(test);
test();

// 执行命令：./d8 test.js --allow-natives-syntax --trace-turbo --trace-turbo-path turbo_out --trace-turbo-filter test

示例代码2：先准备再触发优化 #

function test() {
    // 此处为待优化的代码
}

%PrepareFunctionForOptimization(test);
test();
%OptimizeFunctionOnNextCall(test);
test();

// 执行命令：./d8 test.js --allow-natives-syntax --trace-turbo --trace-turbo-path turbo_out --trace-turbo-filter test

核心差异 #

这两个都是V8引擎的原生优化控制函数，差异集中在优化时机、类型反馈收集上：

• 单独调用%OptimizeFunctionOnNextCall()：函数下一次调用会直接触发优化，但此时V8没有提前收集该函数的运行时类型数据（比如参数类型、内部变量类型、分支走向等）。生成的优化机器码仅基于单次调用的情况，后续如果函数运行时的类型或分支模式发生变化，极易触发去优化（deoptimization），导致性能回落。
• 先调用%PrepareFunctionForOptimization()再搭配%OptimizeFunctionOnNextCall()：
  1. 第一次调用test()时，V8会以未优化的解释器模式执行，同时完整收集函数的运行类型反馈和执行特征；
  2. 第二次调用test()时，V8会基于前期收集的精准数据生成适配性更强的优化机器码，这种优化更贴合函数实际运行模式，后续触发去优化的概率更低，优化效果更稳定。

简单来说，前者是无准备的“仓促优化”，后者是基于运行数据的“精准优化”。

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