[論文レビュー] Interprocedural Type Specialization of JavaScript Programs Without Type Analysis

Maxime Chevalier-Boisvert, Marc Feeley|arXiv (Cornell University)|Nov 3, 2014

Logic, programming, and type systems参考文献 24被引用数 1

ひとこと要約

この論文は、静的型分析を用いず、実行時のコンテキスト依存型情報に基づき、コード生成中に基本ブロックの型特化バージョンを遅延して生成することで、重複するJavaScript型チェックを排除するJITコンパイル技術「ラージ基本ブロックバージョニング」を紹介する。本手法は、最大71%の型チェック削減と最大50%の実行性能向上を達成し、従来のフローベース型分析を上回り、TraceMonkeyのようなトレースJITと競合する性能を示す。

ABSTRACT

Dynamically typed programming languages such as JavaScript and Python defer type checking to run time. In order to maximize performance, dynamic language VM implementations must attempt to eliminate redundant dynamic type checks. However, type inference analyses are often costly and involve tradeoffs between compilation time and resulting precision. This has lead to the creation of increasingly complex multi-tiered VM architectures. This paper introduces lazy basic block versioning, a simple JIT compilation technique which effectively removes redundant type checks from critical code paths. This novel approach lazily generates type-specialized versions of basic blocks on-the-fly while propagating context-dependent type information. This does not require the use of costly program analyses, is not restricted by the precision limitations of traditional type analyses and avoids the implementation complexity of speculative optimization techniques. We have implemented intraprocedural lazy basic block versioning in a JavaScript JIT compiler. This approach is compared with a classical flow-based type analysis. Lazy basic block versioning performs as well or better on all benchmarks. On average, 71% of type tests are eliminated, yielding speedups of up to 50%. We also show that our implementation generates more efficient machine code than TraceMonkey, a tracing JIT compiler for JavaScript, on several benchmarks. The combination of implementation simplicity, low algorithmic complexity and good run time performance makes basic block versioning attractive for baseline JIT compilers.

研究の動機と目的

• 動的言語用JITコンパイラにおける従来の型推論の高コストと精度制限を解決すること。
• 包括的でない全プログラム型解析に依存せずに、JavaScriptにおける重複する動的型チェックを削除すること。
• 最小限の実装複雑性で済み、実用的で軽量なJIT最適化手法を構築すること。
• 基本ブロックバージョニングによる実行時型特化が、静的型分析および既存のトレースJITを上回る性能を発揮するかを評価すること。

提案手法

• 実行時に蓄積された型情報に基づき、型情報を遅延してクローンし、基本ブロックを特化する。
• コード生成中に各プログラムポイントにおける変数の型を追跡する型コンテキスト（型マップ）を維持する。
• 型テストが検出され、引数の型が既知の場合、テストを削除し、特化されたブロックバージョンを生成する。
• 各基本ブロックは、異なる型コンテキストごとに複数のバージョンを持つことができ、型特化コード生成を可能にする。
• 制御フローのエッジを越えて型情報が伝搬され、型テストの結果に基づき、条件分岐ごとに別々の型コンテキストが作成される。
• 実際に実行されるパスにのみコードを生成するため、静的過大近似を回避し、コードの肥大化を低減する。

実験結果

リサーチクエスチョン

• RQ1 JITコンパイラにおいて、静的型分析を一切用いず、型チェックの削減を効果的に達成できるか？
• RQ2 ラージ基本ブロックバージョニングは、古典的なフローベース型分析と比較して、性能と型チェック削減の両面で優れているか？
• RQ3 基本ブロックバージョニングは、コードサイズをどの程度小さくし、極端な肥大化を回避できるか？
• RQ4 本手法は、複雑なベンチマークにおいて、確立されたトレースJIT（例：TraceMonkey）を上回る性能を発揮できるか？
• RQ5 多様なJavaScriptワークロードにおいて、型チェックの削減効果はどの程度高いか？

主な発見

• 平均して、ラージ基本ブロックバージョニングは71%の型チェックを削減したが、比較されたフローベース型分析ではわずか16%にとどまった。
• ベンチマークスイート全体で、最大50%の性能向上を達成し、すべてのワークロードで一貫した改善が見られた。
• ブロックあたり最大5バージョンの制限を設けた場合、平均してコードサイズの増加はたった0.19%にとどまり、肥大化は最小限に抑えられた。
• 実装であるHiggsは、ほとんどのベンチマークでV8のベースラインコンパイラを上回り、複雑なワークロードではTraceMonkeyと同等またはそれを上回った。
• 本手法は、複数の数値型を含む制御フローを効果的に処理でき、コードパスを分離し、効率的な型特化を可能にする。
• 本手法は、型分析を破壊しやすい動的言語の特徴（例：evalや動的モジュールロード）に対しても頑健である。