YJIT 是 Ruby 解释器 CRuby 中的一个即时编译器（JIT），旨在通过将 Ruby 字节码编译为 x86-64 机器码来提升性能，尤其针对 Rails 等 Web 应用中的热代码路径。其核心机制是基本块版本化（Basic Block Versioning, BBV），这允许编译器根据运行时类型信息动态生成优化的机器码版本，从而减少类型检查开销并加速执行。
YJIT 的编译过程从 Ruby 源代码开始，经过解析器生成抽象语法树（AST），然后转换为 YARV 字节码。这些字节码指令描述了虚拟机的操作，如加载变量、方法调用等。不同于传统的解释执行，YJIT 在运行时识别热基本块——即频繁执行的连续指令序列——并针对它们进行编译。基本块版本化采用懒惰策略（Lazy Basic Block Versioning, LBBV）：首先编译方法开头的入口基本块，假设常见类型（如整数或字符串），生成初始机器码。如果运行时类型不匹配，编译器会侧边退出（side-exit）到解释器，并基于实际类型信息增量编译后续版本。这种渐进式优化确保了快速预热时间，通常在基准测试的第一轮迭代后即可达到峰值性能。
在生成机器码时，YJIT 强调寄存器分配和内联缓存这两个关键优化。寄存器分配针对虚拟机栈操作：Ruby 的 YARV 使用栈机模型，但 x86-64 架构有有限的寄存器资源。YJIT 通过线性扫描寄存器分配算法，将栈顶元素映射到 CPU 寄存器，如 RAX 或 RDI，从而避免频繁的内存访问。根据 Shopify 的基准测试，这种分配在 Rails 应用中可将执行速度提升 20% 以上，因为它减少了栈溢出和缓存失效。内联缓存则用于方法分派：Ruby 的动态分发依赖消息传递，YJIT 在调用站点缓存目标方法和参数类型，例如对于 obj.method(arg)，首次调用时记录 obj 的类和 arg 的类型，并在后续调用中直接跳转到缓存的机器码入口。如果类型变化，缓存失效并回退到解释器重新优化。这种缓存机制特别适合热路径，如 ActiveRecord 查询循环，其中方法调用占比高达 40%。
为了优化热代码路径，YJIT 引入了阈值参数来控制编译时机。默认调用阈值（--yjit-call-threshold）为 30，表示一个基本块需被调用 30 次后才触发编译；对于冷代码，可设置 --yjit-cold-threshold 来跳过低频 ISEQ（指令序列）。内存管理是另一个关注点：编译生成的机器码占用执行内存，默认 --yjit-exec-mem-size 为 64 MiB，当超出时会触发代码 GC（垃圾回收），释放未用页以防止 OOM（Out of Memory）。在生产环境中，建议监控 RubyVM::YJIT.runtime_stats 中的指标，如 inline_code_size 和 code_gc_count，以调整这些参数。例如，对于内存敏感的 Rails 部署，可将 exec-mem-size 降至 32 MiB，并启用 --yjit-code-gc 以在峰值时回收 20-30% 的代码空间。
落地清单包括：1. 编译 Ruby 时启用 YJIT（./configure --enable-yjit，需要 Rust 1.58+）；2. 运行时使用 ruby --yjit 启动；3. 对于 Rails 7.2+，默认启用 via RubyVM::YJIT.enable；4. 监控热路径：使用 --yjit-stats 输出执行比例（ratio_in_yjit），目标 >80%；5. 回滚策略：若性能下降，禁用 via --yjit-disable，并 fallback 到解释器；6. 测试兼容性：运行完整 CI，确保无 side-exit 过多导致的解释器回退。风险包括兼容性问题（如 C 扩展干扰）和 ARM64 平台支持有限（虽已优化，但 x86-64 仍是主力）。通过这些参数，开发者可在不修改代码的情况下，将 Rails 基准如 railsbench 加速 22%，liquid-render 达 39%。
资料来源：Shopify Engineering 博客（https://shopify.engineering/yjit-just-in-time-compiler-cruby）；Ruby 3.1 发布笔记（https://www.ruby-lang.org/en/news/2021/12/25/ruby-3-1-0-released/）；Pat Shaughnessy 博客（https://patshaughnessy.net/2025/11/17/compiling-ruby-to-machine-language）。