上一篇
firefoxjs源码怎么用？，怎么下载？
概览
firefoxjs 通常指 Firefox 浏览器中 JavaScript 引擎的源码，其核心是 SpiderMonkey，由 Mozilla 使用 C++ 编写，负责 JavaScript 的解析、编译与执行，SpiderMonkey 的源码托管在 mozilla-central 仓库，目录结构以 js/ 为主，包含解释器、JIT 编译器、垃圾回收器、类型系统等模块。
核心架构
解析器
- 词法分析：将源码拆分为 token，支持 Unicode 和 ECMAScript 最新语法。
- 语法分析：生成 AST（抽象语法树），使用递归下降解析器，支持 async/await、class 等特性。
- 字节码生成：将 AST 编译为字节码（Bytecode），存储在 JSScript 对象中,供解释器执行。
类型系统
- 动态类型：所有值都表示为 JS::Value，这是一个 64 位联合体，可存储整数、双精度浮点数、对象指针、字符串指针等。
- 类型推断：通过 TypeInference 机制跟踪变量和属性的类型，为 JIT 编译提供优化依据。
- 内联缓存：使用 IC（Inline Cache）加速属性访问和函数调用,记录类型信息并生成专用代码。
执行引擎
SpiderMonkey 采用 多层级执行,逐步提升性能：
| 层级 | 执行方式 | 特点 |
|---|---|---|
| 解释器 | 直接解释字节码 | 启动快，内存占用低，适用于短脚本 |
| Baseline 编译器 | 简单 JIT 编译为机器码 | 编译速度快，适合频繁执行的函数 |
| IonMonkey 编译器 | 高级优化 JIT | 基于 SSA 表示，进行类型特化、内联、循环优化等，产生高性能代码 |
| Warp 引擎 | 最新的 JIT 架构 | 简化优化流程，利用 CacheIR 和内联缓存，减少编译开销，提升吞吐量 |
垃圾回收
- 分代收集：将对象分为新生代（Nursery）和老年代（Tenured），新生代使用半空间复制算法,快速回收短期对象。
- 标记-清除：老年代使用增量标记和惰性清除,避免长时间暂停。
- 并行与并发：多线程辅助标记，减少主线程阻塞；GCRuntime 管理堆区，支持 WeakRef 和 FinalizationRegistry。
源码关键模块
- js/src/vm/：虚拟机核心，包括 JSContext、JSRuntime、Stack 等。
- js/src/jit/：JIT 编译器代码，含 Baseline、IonMonkey、Warp 各阶段。
- js/src/gc/：垃圾回收器实现，包含 Heap、Cell、Sweep 等。
- js/src/frontend/：解析器、字节码发射器,以及语义分析器。
- js/src/builtin/：内置对象（如 Array、Promise、RegExp）的 C++ 实现。
- js/src/shell/：js 命令行工具,用于测试和调试。
工具与调试
- --dump-bytecode：输出字节码
- --ion-offthread-compile：离线编译
- --no-baseline 和 --no-ion：禁用对应 JIT 层级
- JS_DumpFunction：打印函数内部表示
- js::DumpBacktrace：调试栈回溯
相关问题与解答
问题1：SpiderMonkey 的 JIT 编译与 V8 的 JIT 编译主要区别是什么？
解答：SpiderMonkey 采用多层级 JIT（解释器→Baseline→IonMonkey/Warp），启动更平滑，但编译层级较多；V8 使用解释器（Ignition）和编译器（TurboFan），中间层通过字节码优化，但去除了传统 Baseline 层，SpiderMonkey 的 Warp 引擎与 V8 的 TurboFan 类似，都依赖内联缓存和类型推断，但 Warp 更强调简单性与吞吐量，而 TurboFan 在 Sea of Nodes 基础上进行更激进的优化，SpiderMonkey 的垃圾回收与 JIT 结合更紧密,支持并行标记。
问题2：如何从源码编译 SpiderMonkey 并运行一个测试脚本？
解答：首先从 mozilla-central 获取源码，使用 mach 工具配置构建：
./mach build --enable-application=js
该命令会编译出 js 可执行文件（位于 obj-/dist/bin/js）,然后可以直接运行测试脚本：
./obj-/dist/bin/js test.js
也可使用 --ion、--baseline 等标志控制 JIT 行为，编译时可通过 --enable-debug 开启断言，--enable-optimize 进行优化，--enable-jitspew 输出 JIT 中间表示，测试框架 js/src/tests 中的 jstests.py 可用于批量运行标准测试。
