PopekとGoldbergの仮想化要件
統計的に大部分の機械の命令を VMM の介在なく実行できなければならない
Popek と Goldberg の述べるところでは、VMM は上記3つの特性を全て満たしていなければならない。現代的な VMM は等価性と資源の管理を実現しているものとされ、Popek と Goldberg の定義する VMM は現代でも十分な VMM である。
Popek と Goldberg は上述の特性をそなえた VMM を実行するために実マシンが備えるべき命令セットアーキテクチャ(ISA)の特徴を示した。彼らの分析は"第三世代アーキテクチャ"(たとえば IBM 360, Honeywell 6000, DEC PDP-10) のモデルに基づいたものであったが、それでも十分汎用的であり、現代のマシンにも拡張することができる。このモデルにはシステムモード・ユーザーモードで動作するプロセッサ、リニアなアドレス空間で統一的にアクセスできるメモリなどが含まれており、命令セットの一部はシステムモードでしか使用できず、メモリは再配置レジスタからの相対番地でアクセスされる。I/Oや割り込みはモデル化されなかった。
VMM は仮想化された資源を完全にその管理下におかなければならない
Smith, Jim; Ravi Nair (2005). Virtual Machines. Morgan Kaufmann. ISBN 1-55860-910-5