Lazy Page Fault Detection

最近はてなダイアリーの方は御無沙汰になっていたが、こちら側の有効活用として狩猟している論文とそのメモを書いていくことにするよ。

• Ebcioglu, K., E.R.Altman, M.Gschwind, and S.Sathaye. 2001. Dynamic Binary Translation and Optimization, IEEE Transaction on Computers(June), pp.529-548

論文自体は VLIW ベースの Codesigned Virtual Machine に関するもので私の興味の対象とは少しずれているのだが、一つ面白いテクニックを使っている。
動的バイナリ変換を備えた仮想マシンはゲスト側のページテーブルが書き換えられた場合、それを検出して動的バイナリ変換の結果を捨てる必要があるのだが、この論文では変換コードの中にページがクロスするポイントで仮想アドレスから物理アドレスへの変換を行ないバイナリ変換時とずれていないかを実行時チェックしている。