Popek と Goldberg は第三世代コンピュータの命令セットに対してコンピュータの状態に影響・依存するセンシティブ命令という分類を考えだしてある命令セットアーキテクチャが仮想化可能であるためにはセンシティブ命令に属する命令が全て特権命令でなければならないという定理を1974年に発表したのだけどRobinによれば2000年の時点のx86にはそれを満たさない命令が17個もあって困った子なので2007年に登場したIntel VTなんかのハードウェア仮想化支援機構でなんとかして仮想化要件を満たして仮想化最盛期の現在に至る．
