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

ハードウェア解析システムによる 実行コードの動的最適化に関する研究

N/A
N/A
Protected

Academic year: 2021

シェア "ハードウェア解析システムによる 実行コードの動的最適化に関する研究"

Copied!
2
0
0

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

全文

(1)

Japan Advanced Institute of Science and Technology

JAIST Repository

https://dspace.jaist.ac.jp/

Title ハードウェア解析システムによる実行コードの動的最

適化に関する研究

Author(s) 請園, 智玲

Citation

Issue Date 2010‑03

Type Thesis or Dissertation Text version author

URL http://hdl.handle.net/10119/8864 Rights

Description Supervisor:田中 清史 准教授, 情報科学研究科, 博

(2)

ハードウェア解析システムによる 実行コードの動的最適化に関する研究

請園 智玲

北陸先端科学技術大学院大学

論文の内容の要旨

本研究ではプログラム実行中にネイティブバイナリを修正し,新しい実行バイナリを生成する 動的最適化システムを提案する.本システムはシステムユーザが自由にトラップ発生条件を指定 できるハードウェアとオペレーティングシステムのトラップハンドラとして実装される最適化ルー チンの つのコンポーネントにより構成される.提案するハードウェアは汎用ハードウェアで,例 えば,デバッガのハードウェアサポートなどの動的最適化以外の用途にも使用可能である.また,

最適化はソフトウェアで実現されるため,多種の最適化アルゴリズムを1システムで実装するこ とができる.論文では を例にした場合の提案システムの具体的な実装方法に関して論 じる.

本システムがコンパイラの最適化と比べ,プログラム実行時の 内の情報履歴等を利用で きる点で大きく異なる.論文中では,動的最適化の適用例としてデータプリフェッチ最適化を提案 し評価する. ベンチマークで評価を行い,のベンチマークで近年発表さ れた履歴ベースハードウェアプリフェッチ手法と同等,もしくはそれ以上の性能を実現している.

また,その一方で提案手法はハードウェアプリフェッチを実装するために必要であったハードウェ ア量を削減できることを確認した.提案システムのトラップハードウェアは,性能評価に使用し たハードウェアプリフェッチャーの約のメモリ量で実現できることを確認した.

更に,論文中では提案するトラップハードウェアの他の利用方法として,デバッガのハードウェ アサポートとしての利用方法,及びデータプリフェッチ最適化以外の最適化例としてソフトウェア トレース最適化を議論する.

キーワード 動的最適化,データプリフェッチ,ハードウェア量削減

参照

関連したドキュメント

ü  modeling strategies and solution methods for optimization problems that are defined by uncertain inputs.. ü  proposed by Ben-Tal & Nemirovski

Max-flow min-cut theorem and faster algorithms in a circular disk failure model, INFOCOM 2014...

Optimal stochastic approximation algorithms for strongly convex stochastic composite optimization I: A generic algorithmic framework.. SIAM Journal on Optimization,

of IEEE 51st Annual Symposium on Foundations of Computer Science (FOCS 2010), pp..

情報理工学研究科 情報・通信工学専攻. 2012/7/12

最大消滅部分空間問題 MVSP Maximum Vanishing Subspace Problem.. MVSP:

参考文献 Niv Buchbinder and Joseph (Seffi) Naor: The Design of Com- petitive Online Algorithms via a Primal-Dual Approach. Foundations and Trends® in Theoretical Computer

"A matroid generalization of the stable matching polytope." International Conference on Integer Programming and Combinatorial Optimization (IPCO 2001). "An extension of