• 検索結果がありません。

バイトコードパターンマッチによるJavaインタプリタの高速化手法

N/A
N/A
Protected

Academic year: 2021

シェア "バイトコードパターンマッチによるJavaインタプリタの高速化手法"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)Vol. 42. No. SIG 2(PRO 9). Feb. 2001. 情報処理学会論文誌:プログラミング. 発表概要. バイト コード パターンマッチによる Java インタプリタの高速化手法 安 小. 江 松. 俊 秀. 明† 昭†. 仲 深. 澤. 顕 良. 照†† 彰††. 本発表では,パターンマッチ手法を用いて Java のバイトコード をあらかじめ用意した機械コード で実行することで,インタプリタ実行速度を高速化する手法を提案する.現在 Java プログラムの高 速化の要は Just-in-time( JIT )コンパイラにより生成される機械コード による実行であるが,JIT コンパイラによるコンパイル時間がかえってプログラムの実行を遅くしてしまう問題も知られている. この問題を解決する方法として,インタプ リタ実行と JIT コンパイラによる機械コード 実行を組み 合わせた選択的コンパイレーション手法が提案されている.特にインタプリタ実行の高速化は,この 選択的コンパイレーション手法を用いる際の性能向上に大きく影響を与える.我々は Java プログラ ム中に特定のパターンを持ったメソッドが多数出現し,実行されていることに着目した.これらのメ ソッド の多くは,Java 言語のオブジェクト思考的特性から,主にインスタンス変数やクラス変数へ のアクセスのために記述されていた.本発表では,マスクしたワード パターンを用いたパターンマッ チ手法により高速な検出処理を実現する手法を提案するとともに,パターンマッチのオーバヘッド を 考慮したうえでの本手法の有効性を示す.. An Acceleration Technique of Java Interpreter Using the Bytecode Pattern-matching Toshiaki Yasue,† Akiteru Naka,†† Hideaki Komatsu† and Yoshiaki Fukazawa†† In this paper, we propose an acceleration technique of Java interpreter by executing the precompiled codes that are selected using the bytecode pattern-matching of the method. While the Just-in-time (JIT) compiler boosts the execution speed significantly, its compilation time cause a serious problem in some programs. The selective compilation technique solves this compilation overhead problem to combine the execution of the interpreter and the native code compiled by JIT. Since the interpreting speed is much slower than the execution speed of the native code, the interpreting speed becomes important increasingly on the whole execution. We have marked that some kinds of the patterns of method’s bytecodes are executed in many times through various Java programs, because most of them are written to access instance variables and class variables through the method as a typical object oriented programming style. This paper shows not only the implementation of the fast pattern-matching method using masked word patterns, but also the efficiency of our technique including the pattern-matching overhead through some evaluations.. (平成 12 年 6 月 16 日発表). † 日本アイ・ビー・エム株式会社東京基礎研究所 Tokyo Research Laboratory, IBM Japan †† 早稲田大学理工学部 School of Science and Engineering, Waseda University. 99.

(2)

参照

関連したドキュメント

Thus, we use the results both to prove existence and uniqueness of exponentially asymptotically stable periodic orbits and to determine a part of their basin of attraction.. Let

Using the fact that there is no degeneracy on (α, 1) and using the classical result known for linear nondegenerate parabolic equations in bounded domain (see for example [16, 18]),

“Breuil-M´ezard conjecture and modularity lifting for potentially semistable deformations after

His idea was to use the existence results for differential inclusions with compact convex values which is the case of the problem (P 2 ) to prove an existence result of the

In this paper, the Bayes estimates are obtained under the linear exponential (LINEX) loss, general entropy and squared error loss function using Lindley’s approximation technique

Section 3 is first devoted to the study of a-priori bounds for positive solutions to problem (D) and then to prove our main theorem by using Leray Schauder degree arguments.. To show

In this paper, we apply lubrication theory [21, 26] and use a perturbation technique to solve for the fluid thickness over a small sinusoidal topography during spin-coating using

In this paper, we apply lubrication theory [21, 26] and use a perturbation technique to solve for the fluid thickness over a small sinusoidal topography during spin-coating using