Formal requirements for virtualizable third generation architectures

  title={Formal requirements for virtualizable third generation architectures},
  author={G. Popek and R. Goldberg},
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… Expand
714 Citations

Paper Mentions

Extension to the Model of a Virtualizable Computer and Analysis on the Efficiency of a Virtual Machine
  • Hanfei Dong, Qinfen Hao
  • Computer Science
  • 2010 Second International Conference on Computer Modeling and Simulation
  • 2010
  • 4
Formal properties of recursive Virtual Machine architectures.
  • 11
  • PDF
Testing system virtual machines
  • 46
  • PDF
The PDP-11 virtual machine architecture: A case study
  • 24
Virtual Machines Technologies
  • PDF
Software debugging: the virtual machine approach
  • 7
Survey of virtual machine research
  • 875
  • PDF
Sharing data and services in a virtual machine system
  • 16