JavaScript虚拟机通过解释器、JIT编译器和垃圾回收器协同工作，实现高效执行。代码经词法与语法分析生成AST，再转为字节码由解释器执行；热点函数被JIT编译为机器码优化性能，配合内联缓存加速属性访问。内存管理采用分代式GC，新生代用Scavenge算法，老生代结合Mark-Sweep与Mark-Compact，并支持增量与并发回收以减少停顿。V8通过隐藏类提升对象属性访问速度，不同结构对象形成转换链，相同结构共享类以便JIT优化。主流引擎如V8、JavaScriptCore、SpiderMonkey均采用多层编译策略，平衡启动速度与运行效率，理解其机制有助于编写高性能代码。
JavaScript虚拟机（JS VM）是现代浏览器和运行时环境的核心组件，负责解析、编译并执行JavaScript代码。它并非传统意义上的“虚拟机”如JVM那样基于字节码运行，而是结合解释器、即时编译器（JIT）、垃圾回收器等模块，形成一个高度优化的动态执行引擎。下面从关键模块出发，深入剖析其内部架构。
1. 执行流程：从源码到机器码
当一段JavaScript代码进入虚拟机后，并不会直接执行，而是经历多个阶段处理：
- 词法分析（Lexical Analysis）：将源码字符串拆分为有意义的“token”，例如变量名、操作符、关键字等。
- 语法分析（Parsing）：根据ECMAScript规范构建抽象语法树（AST），表达程序结构。
- 字节码生成（Bytecode Generation）：部分引擎（如V8从Ignition开始）会将AST转换为轻量级字节码，便于解释执行。
- 解释执行与JIT编译：解释器快速启动执行；热点函数被标记并交由JIT编译为高效机器码。
这一流程在V8、SpiderMonkey、JavaScriptCore中大体相似，但实现策略不同。
2. 核心组件：解释器、编译器与优化机制
现代JS虚拟机采用多层执行策略，平衡启动速度与运行性能。
立即学习“Java免费学习笔记（深入）”；
解释器（Interpreter）以V8的Ignition为例，它是一个基于寄存器的解释器，生成紧凑字节码并在虚拟寄存器上执行。优势在于启动快、内存占用低，适合执行非热点代码。
即时编译器（JIT）V8使用TurboFan作为优化编译器。工作方式如下：
- 监控函数执行频率，识别“热点函数”。
- 基于类型推测进行优化编译，生成高度优化的机器码。
- 若推测失败（如对象结构变化），触发去优化（Deoptimization），回退到解释执行。
用于加速属性访问。首次访问对象属性时记录隐藏类（Hidden Class）和偏移量，后续访问直接使用缓存结果，极大提升性能。
3. 内存管理：垃圾回收机制
JS是自动内存管理语言，虚拟机通过垃圾回收器（GC）管理堆内存。
分代回收（Generational GC）
基于“弱代假说”：大多数对象生命周期短暂。V8将堆分为新生代（Young Generation）和老生代（Old Generation）：
- 新生代使用Scavenge算法（如Cheney算法），复制存活对象。
- 老生代使用标记-清除（Mark-Sweep）和标记-整理（Mark-Compact）结合。
为减少停顿时间，现代GC支持：
- 增量式标记：将标记过程分片，穿插于JS执行之间。
- 并发标记与清理：在单独线程运行，减少主线程阻塞。
4. 对象模型与隐藏类
JavaScript对象是动态的，属性可随时增删。为提升属性访问速度，V8引入隐藏类（Hidden Class，又称Map）机制。
- 每个对象关联一个隐藏类，描述其结构（属性名、偏移量）。
- 相同结构的对象共享隐藏类，便于JIT优化。
- 添加/删除属性时，创建新的隐藏类，形成转换链或字典模式。
这种设计使动态语言的属性访问接近静态语言的速度。
5. 典型引擎对比
不同浏览器使用的JS引擎架构略有差异：
- V8（Chrome, Node.js）：Ignition + TurboFan，强调JIT优化和去优化机制。
- JavaScriptCore（Safari）：具备LLInt（低延迟解释器）、Baseline JIT、DFG、FTL多级优化管道。
- SpiderMonkey（Firefox）：使用Baseline Interpreter、IonMonkey优化编译器，支持Wasm高性能执行。
共同趋势是多层编译策略、精细化类型推测、并发GC。
基本上就这些。理解JS虚拟机的内部机制，有助于写出更高效、更可预测的代码，比如避免破坏隐藏类结构、减少原型链查找、控制对象动态性等。虽然开发者不直接与VM交互，但它的行为深刻影响着运行时表现。
