SpiderMonkey

TraceMonkey是第一个为JavaScript语言编写的JIT编译器，于2008年8月23日发布并最先作为Firefox 3.5的SpiderMonkey中的编译引擎。相比Firefox 3.0的编译器，它提供了高达20到40倍的性能改善[11]。

比起编译全部函数，TraceMonkey采用追踪即时编译（trace Just-in-time Compilation）将JavaScript编译成二进位码（Binary code）以提高运行性能，它的运作方式是在运行期间借由追踪和记录控制流程及数据类型，将其用于建构追踪树（Trace Trees）（页面存档备份，存于），以生成高度优化路径的原生码，追踪树技术由尔湾加州大学研究团队贡献，安德里亚斯·加尔是该团队的负责人[12]。

JägerMonkey的增进，使得TraceMonkey被遗弃，特别是在SpiderMonkey中类型推论引擎的开发，TraceMonkey自Firefox 11开始已经被停止使用[13]。

JägerMonkey由Mozilla自2010年年初开发，在内部被称为MethodJIT，它被用来改善性能，特别是当某些情况下TraceMonkey无法生成稳定的原生码[14][15]。JägerMonkey于Mozilla Firefox 4开始被使用，采用组合编译（Method JIT）和汇编器（Assembler），它的汇编器移植自WebKit的Nitro引擎（SFX，SquirrelFish Extreme）[16]。后期Method JIT与TraceMonkey的Tracing JIT集成，使SpiderMonkey的速度更快。

JägerMonkey的运作很不同于其他编译器，传统的编译器是借由创建控制流图并将其优化，JägerMonkey则是通过重复线性前进循环SpiderMonkey字节码，也就是内部函数表示法。虽然这种方式阻碍重新排序指令的优化，但这对JavaScript这个经常改变变量类型而需要重新编译的语言来说，JägerMonkey有快速编译的优势。

Mozilla在JägerMonkey中实做了一个临界值的优化，重要的还有多形态内嵌缓存（ Polymorphic inline caching）及类型推论[17]，Kraken和V8测试分数显示，类型推论可以分别带来44%与30%的分数提升。[18]

TraceMonkey及JägerMonkey的JIT技术的异同在一篇hacks.mozilla.org的文章（页面存档备份，存于）中有做解释，深入的技术细节可在一篇由SpiderMonkey的开发者Chris Leary的文章中取得，更多技术信息还可在其他开发者的博客中找到：dvander（页面存档备份，存于）、dmandelin。

IonMonkey是Mozilla的第三个JIT编译器，它激活了许多新的优化技术，但是这些特色无法在之前的JägerMonkey架构运行[20]。

IonMonkey更像传统的编译器，它使用中间表示层（IR，Intermediate representation）的静态单赋值形式将SpiderMonkey的字节码转换为控制流图（Control Flow Graph），这个结构令其他语言使用的优化技术可被使用在JavaScript，其中包含形态的特殊化（type specialization）、行内函数（Inline function）、线性扫描的寄存器配置（linear scan register allocator）、死码删除（Dead code elimination）以及尽可能将进程移出循环外（Loop-Invariant Code Motion）[21]。

该编译器可以在ARM、X86及X86-64上快速的将JavaScript函数转换成原生码。

2013年初发行的Firefox 18中开始采用IonMonkey并将其作为缺省引擎[22]，这改进了TraceMonkey与JaegerMonkey不会对代码进行解析、自动运行优化的缺点。[23]。

OdinMonkey被用于优化JavaScript的子集asm.js，OdinMonkey并非一个JIT编译器，它依然采用IonMonkey作为编译器，这于2013年6月25日正式发布的Firefox 22起采用[24]。