文献

J-GLOBAL ID：202002259613102330   整理番号：20A2623251

推測不変性(InvarSpec):プログラム解析によるより速い安全実行【JST・京大機械翻訳】

Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis

著者 (8件)： Zhao Zirui Neil (University of Illinois,Urbana-Champaign) ,  Ji Houxiang (University of Illinois,Urbana-Champaign) ,  Yan Mengjia (Massachusetts Institute of Technology) ,  Yu Jiyong (University of Illinois,Urbana-Champaign) ,  Fletcher Christopher W. (University of Illinois,Urbana-Champaign) ,  Morrison Adam (Tel Aviv University) ,  Marinov Darko (University of Illinois,Urbana-Champaign) ,  Torrellas Josep (University of Illinois,Urbana-Champaign)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： MICRO  ページ： 1138-1152  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 推測的実行攻撃に対する多くのハードウェアベースの防御方式は,命令を指示する間,命令を保護し,そして,命令が非特異化するとき,機構を上げるために特別な機構を使用する。本論文では,推測的命令が,時々,非特異化の前に,特殊化不変量になることを観測した。仕様不変性は,(i)命令が実行されるかどうか,および(ii)命令のオペランドが推測状態の関数ではないことを意味する。したがって,著者らは,それらが推測不変量になるとき,これらの命令に関する保護機構を上げて,保護なしでそれらに課題を提起することを提案する。その結果,セキュリティ特性を変えずに防御方式の性能を改善した。推測不変性を利用するために,Invarspecフレームワークを提示した。インバースペックは,各関連命令i,すなわち,i-iのためのSafeであるより古い命令のセット,すなわち,推測不変量からiを予防しないもの,を同定できるプログラム解析パスを含む。実行時間では,Invarspecマイクロアーキテクチャは,この情報を負荷し,保護なしに,推測命令を発行できるかどうかを決定するためにそれを使用する。インバースペックは,協調コンパイラとハードウェア機構を組み合わせた推測実行のための最初の防御スキームの1つである。この評価は,Invarspecがハードウェア防衛方式の実行オーバヘッドを効果的に低減することを示した。例えば,SPEC17では,デレイ-オン-ミッスの195.3%から108.2%,Delay-On-Missの39.5%から24.4%への平均実行オーバヘッド,および15.4%から10.9%のInvisiSpecsを縮小する。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： コンパイラ ,  アンバ ,  ハードウェア ,  不変量 ,  *不変性 ,  防御機構 ,  *プログラム解析 ,  セキュリティ
準シソーラス用語： 防衛 ,  マイクロアーキテクチャ ,  実行時間 ,  オーバヘッド ,  オペランド , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 推測 ,  不変性 ,  プログラム解析