PopekとGoldbergの仮想化要件
本節ではいくつかのアーキテクチャを示し、仮想化要件をどの程度満たすかについて述べる。
VMM の元で動作するプログラムは、等価な実際のマシン上で直接実行した場合と本質的に同じ振る舞いを示さなければならない。