[論文レビュー] Deep Static Modeling of invokedynamic

Fourtounis, George, Smaragdakis, Yannis|arXiv (Cornell University)|Jan 1, 2019

Advanced Software Engineering Methodologies参考文献 26被引用数 6

ひとこと要約

JooFlux は、invokedynamic 指令を用いて動的メソッド置き換えおよびアスペクト・ウェービングを実現する JVM エージェントであり、Java 7 以降のアプリケーションでライブコード変更を可能にする。実行時におけるバイトコード変換により、クラスリロードを回避し JIT 最適化を維持することで、ほぼネイティブに近いパフォーマンスを達成し、従来の AOP プラットフォームや動的言語よりも優れたベンチマーク性能を示す。

ABSTRACT

Java 7 introduced programmable dynamic linking in the form of the invokedynamic framework. Static analysis of code containing programmable dynamic linking has often been cited as a significant source of unsoundness in the analysis of Java programs. For example, Java lambdas, introduced in Java 8, are a very popular feature, which is, however, resistant to static analysis, since it mixes invokedynamic with dynamic code generation. These techniques invalidate static analysis assumptions: programmable linking breaks reasoning about method resolution while dynamically generated code is, by definition, not available statically. In this paper, we show that a static analysis can predictively model uses of invokedynamic while also cooperating with extra rules to handle the runtime code generation of lambdas. Our approach plugs into an existing static analysis and helps eliminate all unsoundness in the handling of lambdas (including associated features such as method references) and generic invokedynamic uses. We evaluate our technique on a benchmark suite of our own and on third-party benchmarks, uncovering all code previously unreachable due to unsoundness, highly efficiently.

研究の動機と目的

• アプリケーションの再起動なしに、実行時における動的メソッド置き換えおよびアスペクト・ウェービングを可能にすること。
• 既存の AOP プラットフォームや動的言語と比較して、パフォーマンスのオーバーヘッドを低減すること。
• 効率的で透明な実行時コード変換を実現するため、invokedynamic 指令を活用すること。
• アノテーションや専用言語を必要とせず、リモートで実行時管理が可能な JMX を用いた制御インターフェースを提供すること。
• クラスリロードを回避することで、JIT 最適化の有効性を維持すること。

提案手法

• システムは、すべてのメソッド呼び出しを invokedynamic 呼び出しサイトに置き換えるバイトコード書き換えを実行する。
• java.lang.invoke.MethodHandles および MethodType API を使用して、動的ディスpatch と実行時メソッド置き換えを可能にする。
• JMX エージェントが、アノテーションや専用言語を必要とせず、実行時における変更適用のための制御インターフェースを公開する。
• 呼び出しサイトに薄い間接参照レイヤーを導入することで、高コストのガードチェックやルックアップのオーバーヘッドを回避する。
• バイトコード変換は起動時に行われ、JIT コンパイル済みコードの最適化を維持したまま動的振る舞いを実現する。
• システムはクラスリロードを回避しており、既存の最適化の有効性を保ち、実行時コストを低減する。

実験結果

リサーチクエスチョン

• RQ1 invokedynamic は、動的言語のサポートを超えて、ライブコード変更の目的にも効果的に再利用可能か？
• RQ2 AOP プラットフォームや動的言語と比較して、invokedynamic を用いた動的メソッド置き換えおよびアスペクト・ウェービングのパフォーマンスオーバーヘッドはどの程度か？
• RQ3 クラスリロードなしで実行時コード変更を実現しつつ、JIT 最適化の利点を維持できるか？
• RQ4 アノテーションベースや DSL 駆動のアプローチと比較して、JMX を用いた制御インターフェースは、使いやすさとパフォーマンスの面でどのように異なるか？
• RQ5 生産環境の Java アプリケーションにおける広範なバイトコード変換のスケーラビリティと正しさにどのような影響があるか？

主な発見

• JooFlux は、ほとんどの操作でわずかなオーバーヘッドしか発生させず、メソッド呼び出しにおいてほぼネイティブに近いパフォーマンスを達成している。
• 一部のケースでは、JIT 最適化が維持され、間接参照コストが低減しているため、標準的な Java よりも速い性能を示していることがある。
• アスペクト・ウェービングのパフォーマンスオーバーヘッドは限定的で許容可能であり、従来の AOP プラットフォームよりも顕著に低い。
• 動的言語のベンチマークでは、JRuby や Groovy と比較して、JooFlux はメソッドディスパッチパフォーマンスで一貫して優れている。
• クラスリロードを回避することで、JIT コンパイル済みコードの有効性が保たれ、再最適化サイクルによるパフォーマンス劣化を防いでいる。
• プロトタイプはマイクロベンチマークにおいて実現可能性とパフォーマンス優位性を示しているが、実世界でのスケーラビリティはまだ完全に検証されていない。