JavaScript 自诞生以来，长期背负着“慢”的刻板印象。然而今天，无论是 Node.js 后端服务还是浏览器中的复杂前端应用，JavaScript 的性能早已不可同日而语。这一转变的核心推手，正是 V8 引擎中精妙的 JIT（Just-In-Time）编译技术。理解 V8 如何执行 JavaScript，不仅能帮助我们写出更高性能的代码，更能让我们一窥现代语言运行时的设计智慧。
从字节码到机器码：V8 的执行流水线
要理解 JIT，首先需要知道 V8 并非简单地对 JavaScript 进行逐行解释。实际上，V8 的执行流程经过精心设计，大致可分为三个阶段：
- 解析（Parse）：JavaScript 源码首先被解析为抽象语法树（AST）。
- 字节码生成：Ignition 解释器将 AST 转换为字节码。字节码是一种介于源码和机器码之间的中间表示，比源码更紧凑，比机器码更抽象。
- 执行与优化：字节码由 Ignition 解释执行，同时 V8 会收集代码运行时的类型反馈信息。当某段代码被反复执行（即“热点代码”），TurboFan 优化编译器会将其直接编译为高度优化的机器码。
这种“解释器 + 优化编译器”的双重结构，正是现代 JIT 编译器的典型架构。
Ignition：轻量级解释器
在 V8 的早期版本中，代码会被直接编译为机器码，导致内存占用高、启动速度慢。2016 年引入的 Ignition 解释器改变了这一局面。
Ignition 的核心思想是：先用字节码快速启动执行，把优化留给真正需要的地方。字节码由一系列操作码组成，每个操作码对应一个小的操作单元。Ignition 逐条读取并执行这些字节码，同时记录执行过程中的类型信息。
例如，对于表达式 a + b，Ignition 在执行时会记录 a 和 b 的实际类型（如都是小整数、都是字符串等）。这些信息被存储在“反馈向量”（Feedback Vector）中，为后续的优化编译提供依据。
Ignition 的优势在于：
- 内存占用低：字节码比机器码紧凑得多。
- 启动速度快：无需等待完整编译即可开始执行。
- 为优化提供数据：类型反馈是 TurboFan 进行推测优化的基础。
TurboFan：推测优化的艺术
当某段字节码被多次执行后，V8 会将其标记为“热点代码”，并交给 TurboFan 进行优化编译。TurboFan 的核心策略是推测优化（Speculative Optimization）。
推测优化的逻辑是：根据 Ignition 收集的类型反馈，假设某些变量在未来仍然保持相同类型，然后基于这些假设生成极度优化的机器码。例如，如果 a + b 在多次执行中 a 和 b 都是小整数，TurboFan 会生成直接进行整数加法的机器指令，省去类型检查和动态查找的开销。
然而，推测意味着风险。如果假设失败——比如某次调用中 a 变成了字符串——优化后的机器码将无法正确处理。此时 V8 会触发去优化（Deoptimization），丢弃优化代码，回退到 Ignition 解释执行，并重新收集类型反馈。
这种“乐观假设 + 失败回退”的机制，使得 V8 既能享受优化带来的性能红利，又能保证语义的正确性。
内联缓存与隐藏类：性能的隐形推手
JIT 编译的效率，很大程度上依赖于 V8 对对象属性访问的优化，其中两个关键概念是隐藏类（Hidden Class）和内联缓存（Inline Cache）。
JavaScript 是动态类型语言，对象属性可以在运行时任意添加或删除。如果每次属性访问都进行哈希表查找，性能将非常低下。V8 的解决方案是为每个对象维护一个隐藏类，描述其形状（即有哪些属性、属性在内存中的偏移量）。当两个对象具有相同的属性结构时，它们共享同一个隐藏类。
内联缓存则是在字节码层面记录属性访问的历史。例如，对于 obj.x，IC 会记录上次访问时 obj 的隐藏类以及 x 的偏移量。如果下次访问时隐藏类相同，直接按偏移量读取即可，无需查找。
当隐藏类发生变化时，IC 会从“单态”（monomorphic）变为“多态”（polymorphic）甚至“超态”（megamorphic），性能依次下降。因此，保持对象形状稳定、避免频繁增删属性，是编写高性能 JavaScript 的重要原则。
实践启示：如何与 JIT 友好相处
理解 V8 的 JIT 机制后，我们可以总结出一些实用的编码建议：
- 保持类型稳定：避免一个变量时而为数字、时而为字符串。类型多变会导致优化失败和频繁去优化。
- 避免改变对象形状：在构造函数中一次性初始化所有属性，不要在运行时随意添加或删除属性。
- 慎用
delete：删除属性会破坏隐藏类，导致内联缓存失效。 - 热函数保持精简：过大的函数可能超出 TurboFan 的优化阈值，或导致优化收益不明显。
- 利用
--trace-opt和--trace-deopt：在 Node.js 中可以通过这些 V8 标志观察代码的优化与去优化行为，辅助性能调优。
结语
V8 的 JIT 编译并非一个简单的“翻译”过程，而是一套融合了解释执行、类型反馈、推测优化和去优化回退的复杂系统。Ignition 负责快速启动和收集信息，TurboFan 负责在恰当时机生成极致优化的机器码，而隐藏类和内联缓存则在底层默默支撑着对象访问的效率。
正是这些机制的协同工作，让 JavaScript 从一门“脚本语言”蜕变为能够支撑大型应用的高性能语言。作为开发者，理解这些底层原理，不仅能帮助我们写出更快的代码，更能让我们在遇到性能问题时，拥有清晰的排查思路和优化方向。
未经允许不得转载：任鹏个人博客 » 深入 V8 引擎的 JIT 编译：JavaScript 代码是如何被执行的
