効率的な正確なキャッシュ解析のための不確実性の保証【JST・京大機械翻訳】

Touzeau Valentin; Maieza Claire; Monniaux David; Reineke Jan

プレプリント

J-GLOBAL ID：202202216327400484 整理番号：21P0005154

効率的な正確なキャッシュ解析のための不確実性の保証【JST・京大機械翻訳】

Ascertaining Uncertainty for Efficient Exact Cache Analysis

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2017年09月28日プレプリントサーバーでの情報更新日： 2018年12月20日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

静的キャッシュ解析は,メモリアクセスがキャッシュヒットをもたらし,キャッシュミスを結果としてもたらす,音響的ではあるが近似的な方法でプログラムのキャッシュ挙動を特徴付ける。このような情報は,コンパイラ,最悪ケース実行時間分析,およびサイドチャネル攻撃定量化と軽減の最適化に貴重である。キャッシュ分析は,通常,「ustと「maの抽象解釈の組合せとして行われ, instructions路ヒット,「路ミス,または「名のいずれかとして指示を分類する。「名として分類された命令は,プログラム入力または初期キャッシュ状態に依存して,ヒットまたはミスを生じる可能性がある。それらが実際に常にヒットまたは常に誤っているが,キャッシュ分析はそれを見るには粗すぎる。この不確実性を除去する手法は,(i)特定の命令が,異なる経路でヒットとミスを確かに引き起こすことができること,および(ii)正確な解析,(ii)抽象解釈結果を用いて,モデル検査に基づくすべての残りの不確実性を除去して,スケーラビリティのモデルを縮小する,という事を,(i)新しい抽象解釈で構成する,という事を,(i)新しい抽象的解釈で,(ii)正確な解析,(ii)モデル検査に基づき,すべての残りの不確実性を除去する,という事を,(i)新しい抽象的解釈で構成する。多様な例について提案アプローチを評価した。それは,合理的コストで古典的抽象解釈で精度を著しく改善する。【JST・京大機械翻訳】

, , , , , , , ,
, , , 【Automatic Indexing@JST】

記憶方式

, , ,

前のページに戻る