トレーシング実行時コンパイル
トレースは制御フローのない一列の実行パスでしかないため最適化は容易である。以下は典型的な最適化例である:
共通部分式除去
デッドコード削除
レジスタ割り付け
ループ不変コード移動
定数畳み込み
エスケープ解析
最適化の後トレースは機械語に変換される。最適化と同様に、トレースは分岐のない一列のデータであるため機械語変換は容易である。
マシンコードは静的単一代入(Static Single Assignment、SSA)が使われた。HotpathVMの主目的はモバイル端末等のリソースが制限された環境上で効率的なJVMを提供することにあった。
トレーシングJITの別の例としてTraceMonkeyがある。これはMozillaによるFirefox (2009)向けのJavaScript実装の一つである。 TraceMonkeyは動的言語JavaScript上で頻繁に実行されるループを実行時にコンパイルし、再び同じ動的型が当該ループで使われた場合にコンパイルしたコードを使用した。
トレーシングJITを活用しているもう一つの例にPyPyがある。PyPyを実装するためのツールチェーンにトレーシングJITが適用されているためPyPyインタプリタを用いているすべてのプログラムのパフォーマンスが向上する。これが可能なのは、PyPyが実行するプログラムではなくPyPy自身をトレース対象としているからである。
トレーシングJITはマイクロソフトのSPURプロジェクトでも使用された。SPURは共通中間言語 (Common Intermediate Language、CIL) のための汎用トレーサーで、JavaScript実装のトレースにも使うことができた。