V8引擎正确添加回调函数的技术咨询及编译错误解决

需求：添加一个回调函数，每次调用JavaScript函数时触发，传入函数名称与参数。尝试在Generate_InterpreterEntryTrampoline中插入以下代码：

{
    FrameScope scope(masm, StackFrame::INTERNAL);
    __ Push(rdi);  // Push the target function.
    __ CallRuntime(Runtime::kHOOK_OnBeforeCall);   
} 

对应的运行时函数实现：

RUNTIME_FUNCTION(Runtime_HOOK_OnBeforeCall) {                 
  
   HandleScope scope(isolate);
   DCHECK_EQ(1, args.length());

   Handle<Object> function_name = args.at(0);
   PrintF("Function Name: %s\n", Cast<String>(*function_name)->ToCString().get());

   return ReadOnlyRoots(isolate).undefined_value();
}
// ...
// runtime.h:
//  F(HOOK_OnBeforeCall, 1, 1)           

构建时出现错误：

Fatal error in ....\src\builtins\x64\builtins-x64.cc, line 1283 #

Check failed: masm->isolate()->heap()->interpreter_entry_return_pc_offset().value() == masm->pc_offset() (448 vs. 450). #

问题解答 #

1. 错误含义与修复方法 #

• 错误含义：V8的解释器入口蹦床对代码长度有严格校验。interpreter_entry_return_pc_offset是V8预设的返回点PC偏移值，插入的代码改变了蹦床指令总长度，导致实际PC偏移（450）与预期值（448）不匹配，触发断言失败。
• 修复方法：
  • 调整插入位置：找到interpreter_entry_return_pc_offset被记录的代码段（通常在生成返回指令附近），将回调代码插在这段逻辑之后，避免干扰偏移校验。
  • 指令长度对齐：计算插入代码的总长度，用nop指令填充差值，让最终PC偏移回到预期值。比如多了2字节就添加两条nop指令。
  • 更新预期偏移值：修改设置interpreter_entry_return_pc_offset的代码，将值调整为新的实际偏移（450），但此方法可能影响其他依赖该偏移的逻辑，需谨慎使用。

2. 在Generate_InterpreterEntryTrampoline实现是否正确？ #

不完全正确。该函数仅覆盖解释器模式下执行的自定义JS函数，无法覆盖以下场景：

• Web API函数：大部分Web API是V8内置的C++实现，调用时直接走内置函数入口，不经过解释器蹦床。
• JIT编译后的函数：热点JS函数会被TurboFan编译为机器码，调用时直接执行编译后的代码，不走解释器路径。

3. 仅在该函数实现是否足够？ #

不够。要覆盖所有JS函数调用场景，需要同时处理三个路径：

• 解释器路径：保留当前Generate_InterpreterEntryTrampoline中的逻辑，覆盖解释器执行的函数。
• JIT路径：在TurboFan生成函数入口代码时插入回调逻辑，比如在CodeGenerator相关函数中添加调用Runtime函数的代码。
• 内置函数路径：在内置函数的调用入口（比如Builtins::Call相关逻辑）插入回调，处理Web API等内置函数的调用。

此外，构造函数调用、Function.prototype.bind绑定后的函数调用、异步函数调用等特殊场景，也需要针对性处理对应入口点。

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