[論文レビュー] OCamlJIT 2.0 - Faster Objective Caml

Benedikt Meurer|arXiv (Cornell University)|Nov 8, 2010

Parallel Computing and Optimization Techniques参考文献 14被引用数 6

ひとこと要約

OCamlJIT 2.0 は、実行時におけるバイトコードを最適化されたネイティブ x86-64 機械語に変換する JIT コンパイラを提供する。これにより、元のバイトコードインタプリタに比べて少なくとも2倍の高速化を達成する。本システムは、ZINC を基盤とする元の OCaml 虚擬マシンを正確にエミュレートしつつ、インタラクティブ利用およびマルチステージプログラミングのための動的コンパイルを可能にする。

ABSTRACT

This paper presents the current state of an ongoing research project to improve the performance of the OCaml byte-code interpreter using Just-In-Time native code generation. Our JIT engine OCamlJIT2 currently runs on x86-64 processors, mimicing precisely the behavior of the OCaml virtual machine. Its design and implementation is described, and performance measures are given.

研究の動機と目的

• 互換性を損なわせることなく、OCaml バイトコードインタプリタのパフォーマンスを向上させること。
• native コンパイラ ocamlopt が対応できない、インタラクティブ利用およびマルチステージプログラミングのための JIT コンパイルを可能にすること。
• 実行時におけるネイティブコード生成を用いて、OCaml ランタイムインタプリタの即時置換を提供すること。
• 将来的な最適化のため、分離された ocamlopt ネイティブコンパイラを統合された JIT ベースのシステムに置き換えることで保守性を向上させること。
• 将来の最適化のため、命令選択、スケジューリング、レジスタ割り当てにおけるパフォーマンスボトルネックを解消すること。

提案手法

• 実行時に OCaml バイトコードをネイティブ x86-64 機械語に変換する JIT エンジンを設計および実装すること。
• 正しく動作することを保証するため、元の OCaml 虚擬マシン（ZINC を基盤とする）とビット単位で同一の振る舞いを再現すること。
• 正しさと x86-64 プラットフォーム間の移植性を最優先に、初期段階では単純なコンパイル方式を採用すること。
• AST、型付き木、ラムダ表現、バイトコード生成を含む、既存の OCaml コンパイラパイプラインを活用すること。
• JIT エンジンを OCaml ランタイムに直接統合し、別個のランタイムバイナリを必要とせずにインタプリタを置き換えること。
• 大容量の連続メモリ割り当てによりコードメモリを管理するが、将来の作業でコードセグメントのガベージコレクションをサポートする予定である。

実験結果

リサーチクエスチョン

• RQ1 OCaml ランタイムに効果的に JIT コンパイラを統合することで、インタラクティブおよび動的実行の高速化が達成できるか？
• RQ2 OCamlJIT 2.0 のパフォーマンスは、さまざまなワークロードにおいて元のバイトコードインタプリタと比べてどの程度異なるか？
• RQ3 JIT 生成コードにおける主なパフォーマンスボトルネック、特に命令選択およびレジスタ割り当てにおいては何か？
• RQ4 JIT コンパイルコードは、最適化を施したネイティブコンパイラ ocamlopt のパフォーマンスにどの程度近づけるか？
• RQ5 MetaOCaml における長時間実行セッションや動的コード生成をサポートするため、コードメモリ管理をどのように改善できるか？

主な発見

• OCamlJIT 2.0 は、テストされたすべてのベンチマークにおいて、元の OCaml バイトコードインタプリタに比べて少なくとも2倍の高速化を達成した。
• JIT エンジンは OCaml 虚擬マシンの振る舞いを正しくエミュレートしており、意味的整合性が保証されている。
• Intel Core 2 Duo プロセッサ上で、OCamlJIT 2.0 の分岐予測精度は、元の OCaml インタプリタと同等またはそれ以上であった。
• 現在の実装では、利用可能な x86-64 レジスタの25％未満しか使用していないため、命令スケジューリングおよびレジスタ割り当ての最適化の余地が著しく残っている。
• Mac OS X 10.6、Linux、FreeBSD を含む x86-64 プラットフォームで正常に動作し、変更なしに利用可能である。
• 将来的なコードメモリ管理および命令選択の改善により、ocamlopt とのパフォーマンスギャップを埋められると予想される。