关于V8引擎中JavaScript调用栈本质及与C++处理程序调用栈内存共存机制的技术问询

背景补充：在V8引擎中，负责创建JavaScript运行时调用栈的是引擎本身，它通过这个栈来追踪代码执行位置。V8主要由两个核心组件构成：Ignition（处理字节码的解释器）和TurboFan（生成优化机器码的编译器）。

我的问题是：当Ignition解释字节码时，它会用到处理程序（handlers）——这些是对应特定字节码指令的C函数。执行这些处理程序会创建一个独立于JavaScript函数调用栈的C调用栈。这两个栈是如何在栈内存中共存的？

咱们先把底层逻辑掰明白：其实这两个栈并没有物理上的分离，它们共享操作系统给V8所在线程分配的同一块原生栈内存空间，只是V8在逻辑层面对它们做了区分和管理。具体来说：

• 共享同一块栈内存区域：操作系统会给每个运行中的线程分配一块连续的栈内存（大小通常是几MB，取决于系统配置）。V8的JavaScript执行线程就用这块内存存储所有栈帧——不管是JS函数调用产生的JS栈帧，还是Ignition调用C++ handler时生成的C++栈帧，都遵循栈“后进先出”的规则依次排布在这块空间里，没有物理上的隔离。

• 靠专属标记区分栈帧身份：V8会给每个栈帧打上“身份标签”。比如JS栈帧有固定的结构，包含JS函数的上下文、局部变量槽、返回地址等专属信息；而C++ handler的栈帧就是标准的C栈帧结构（包含函数参数、返回地址、局部变量等）。当V8需要遍历栈（比如做垃圾回收、生成错误调用栈时），会通过这些标记快速识别出哪些是JS栈帧，哪些是C栈帧，从而在逻辑上把两个调用栈分开呈现。

• 调用切换时的栈变化流程：举个实际执行的例子，当Ignition要处理一条字节码指令时，会跳转到对应的C++ handler函数。此时CPU会把当前的执行状态（比如寄存器的值）压入原生栈，然后创建C栈帧开始执行handler逻辑；handler执行完成后，会弹出自己的C栈帧，CPU恢复之前的执行状态，回到Ignition继续处理下一条字节码。在这个过程中，JS的栈帧一直处于原生栈的“下方”（因为栈是从高地址向低地址生长的，先压入的JS栈帧在更高的内存地址，后压入的C++栈帧在更低地址，互相不会覆盖）。

• 栈溢出的统一处理逻辑：因为共享同一块栈空间，不管是JS函数嵌套调用太深，还是C++ handler内部的调用链过长，都会触发同一个栈溢出问题。V8会实时监控栈的使用情况，当剩余空间不足时，会在JS层面抛出RangeError: Maximum call stack size exceeded异常，或者在C++层面执行栈溢出的处理逻辑。

备注：内容来源于stack exchange，提问作者Aljoša Srebotnjak