C言语を用いたマシン非依存な JITコンパイラ作成フレーム .pptVIP

C言語を用いたマシン非依存なJITコンパイラ作成フレームワーク 栗田洋輔　千葉滋 東京工業大学 従来のJITコンパイラの開発と問題点 本格的なJITコンパイラ プラットフォーム依存の中間表現を作成し、それを機械語に変換 移植性の問題 マシンごとにプラットフォーム依存の中間表現を作成 実装の容易性の問題 高い開発スキルが必要 バイトコードから中間表現への変換 中間表現から機械語への変換 本研究の目的 JIT コンパイラ作成を容易にするフレームワーク 移植性が高い 短いコンパイル時間でそこそこの品質のコードを生成 そこそこの最適化 本質的なオーバーヘッドを除去することで高速化を行う 広い範囲のインタープリターに適用できる汎用的な手法 本質的なオーバーヘッド バイトコードインタープリター 次の命令をフェッチしてデコードするコスト バイトコードのオペランドをメモリからロードするコスト 抽象構文木のインタープリター 抽象構文木を巡回してノードをデコードするコスト 命令をフェッチ?デコードするオーバーヘッド (1/2) 命令ポインタ(ip)のインクリメントとメモリからのフェッチ 命令をフェッチ?デコードするオーバーヘッド (2/2) バイトコードのデコード switchによる条件分岐で実装 命令をフェッチ?デコードするオーバーヘッドの除去 高速化を達成 フェッチ?デコード部分を削除 本体部分のみを並べる バイトコードのオペランドをメモリからロードするコストの削減 バイトコードのオペランドをメモリからロード オペランドの値が既知の場合には不必要 JIT コンパイラ?フレームワークの提案 プラットフォーム独立な中間表現 中間表現から機械語への変換はフレームワークが担当 高い移植性を実現（フレームワーク自体の移植は必要） テンプレート 中間表現の各ノードに対応する機械語のひな形 中間表現のセマンティクスを与える テンプレートの書き方 インタープリターの主ループそのもの 記述は容易 一部の命令は、テンプレート用に書き換えが必要 命令ポインタ (IP) を使っている場合 生成される機械語に IP は含められない IP でオペランド（即値）を取得する HOLEマクロを利用 gccインラインアセンブリに展開 機械語生成時に即値を挿入 IP で分岐先を決定する 分岐命令にはテンプレート不要 プラットフォーム独立な中間表現 各ノード バイトコード命令（あるいは式）に対応 中間表現への変換は容易 属性 テンプレートのどの部分を使って機械語を生成するか HOLE に挿入する即値の値 中間表現への変換は容易 インタープリタの制御構造を流用可能 appendCmpnt BlockCmpntをリストの末尾に追加 addHoleInfo Holeに埋め込む値を設定 フレームワークによるコード生成 入力：中間表現、出力：機械語 コンパイル済みテンプレートの逆アセンブル情報を利用する 機械語生成の流れ １．中間表現で指定されたコンパイル済みテンプレートを、最後のjmp命令やret命令を除きコピー ２. 相対アドレスを用いた部分をコードが移動した分だけずらす ３. 中間表現で指定された即値命令に指定された即値を埋め込む ４. バイトコードの分岐命令は機械語の分岐命令に変換 バイトコードの分岐命令の処理 分岐先バイトコードのアドレスが入った中間表現を作る 機械語の分岐命令に変換 バイトコードのアドレスを機械語のアドレスへフレームワークが変換 中間表現での最適化 中間表現のノードの並べ替え 複数ノードを最適化された１ノードへ置換 例　定数の畳み込み 抽象構文木インタープリターの場合 抽象構文木を直接解釈するインタープリター switch文がオーバーヘッド バイトコードインタープリターと同様 eval 関数が再帰呼び出し 入れ子の関数呼び出しの中間表現 中間表現を木構造に 入れ子で呼ばれる関数を表すノードを木構造の子ノードに 入れ子の関数呼び出しのテンプレート 引数なしのvoid関数がテンプレート 値の受け渡しはグローバル変数で LABEL マクロ テンプレートの内部に他のテンプレートを挿入可能 フレームワークのマシン非依存性 JITコンパイラの作成者 マシンアーキテクチャを意識しない 中間表現はプラットフォーム独立 フレームワーク自体 マシンアーキテクチャ固有の実装 コンパイル済みテンプレートの機械語の解析 インラインアセンブリに展開されるマクロ 即値命令に定数を埋め込む方法 機械語の分岐命令 相対アドレスの調整 gccが必要 gccインラインアセンブリを使用 予備的な実験 関連研究 Cコンパイラが生成した機械語を利用する研究 ErtlらのJITコンパイラの移植