仮想化要件を導き出すため、popekとgoldbergは命令セットの各命令について、以下の3種類の分類を導入した。