PopekとGoldbergの仮想化要件
System/370ではセンシティブ命令がすべて特権命令であり、仮想化要件を満たす。