TraceMonkey

TraceMonkey réalise la compilation à la volée d'arbre de traces. Les arbres de traces sont une structure de données utilisée pour tracer (enregistrer dans une trace) le code exécuté sur les points chauds, et le compiler. Quand les points chauds du code sont à nouveau exécutés, le code compilé est exécuté à la place.

Dans Firefox, l'interpréteur JavaScript s'appelle SpiderMonkey. Ce dernier a été modifié pour s'interfacer avec TraceMonkey, le moteur de traces. SpiderMonkey interprète le code JavaScript, surveille les exécutions de boucles et compte le nombre d'itérations. Lorsque le seuil du nombre d'exécution d'une itération est atteint, TraceMonkey enregistre les traces, les compile en code natif grâce à nanojit et les exécute [1].

Les développeurs de Mozilla assurent que TraceMonkey est le moteur JavaScript le plus rapide au monde, lorsqu'il parvient à rester sur les traces compilées[2]. Malheureusement un certain nombre de conditions rendent difficile voire impossible l'utilisation de traces [3]:

• Le code contenant beaucoup de branches de contrôle qui multiplie le nombre de traces,
• Le code contenant beaucoup de combinaisons de types qui multiplie le nombre de traces,
• Le code utilisant l'instruction eval qui peut générer tout type de code.

Dans ces cas, l'exécution de code JavaScript se fait alors avec l'interpréteur SpiderMonkey, ce qui la rend beaucoup plus lente. Afin de pallier cela, Mozilla a lancé le projet JägerMonkey qui vise à utiliser un compilateur à la volée pour accélérer l'exécution du code situé hors des traces.