Spectre / Meltdownを防ぐSafeSpecマイクロアーキテクチャ

Spectre / Meltdownを防ぐSafeSpecマイクロアーキテクチャ

Spectre / Meltdownを防ぐSafeSpecマイクロアーキテクチャに関する論文が発表されていた。

　このマイクロアーキテクチャでは、SpectreやMeltdownのサイドチャネル攻撃に対して、L1命令やデータキャッシュ，L1 TLBにShadowキャッシュを設けて、投機実行で読み込まれたデータを格納する。そして，メモリからの読み込みを行った命令がコミットされて確定した際に，キャッシュ（Shadowではない方のキャッシュ）にそのデータを移動する。このようなメカニズムに従うことでSpectreやMeltdownからの攻撃を防ぐというわけだ。（なお、投機実行される命令はShadowキャッシュを参照出来るが，投機実行ではない命令はShadowキャッシュを参照できないようになっている。）

詳細は以下の参考ページを参照のこと。

参考ページ

論文 「SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation」
https://arxiv.org/pdf/1806.05179.pdf

Ando's Microprocessor Information
www.theregister.co.uk
msyksphinz.hatenablog.com