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]。