Formal requirements for virtualizable third generation architectures
Formal requirements for virtualizable third generation architectures
复制标题
DOI：
10.1145/361011.361073
复制
发表时间：
1974
期刊：
影响因子：
--
通讯作者：
G. Popek;R. Goldberg
中科院分区：
文献类型：
--
作者：
G. Popek;R. Goldberg
虚拟机系统已经在有限数量的第三代计算机系统上实现，例如IBM 360/67上的CP-67。从以前的经验研究可知，某些第三代计算机系统，例如DEC PDP-10，不能支持虚拟机系统。本文提出了一个第三代计算机系统的模型。形式化技术被用来获得精确的充分条件，以测试这样的架构是否可以支持虚拟机。
Virtual machine systems have been implemented on a limited number of third generation computer systems, e.g. CP-67 on the IBM 360/67. From previous empirical studies, it is known that certain third generation computer systems, e.g. the DEC PDP-10, cannot support a virtual machine system. In this paper, model of a third-generation-like computer system is developed. Formal techniques are used to derive precise sufficient conditions to test whether such an architecture can support virtual machines.