Formal requirements for virtualizable third generation architectures
- 1 July 1974
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 17 (7) , 412-421
- https://doi.org/10.1145/361011.361073
Abstract
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.Keywords
This publication has 5 references indexed in Scilit:
- Verifiable secure operating system softwarePublished by Association for Computing Machinery (ACM) ,1974
- A recursive virtual machine architecturePublished by Association for Computing Machinery (ACM) ,1973
- PDP-10 virtual machinesPublished by Association for Computing Machinery (ACM) ,1973
- The evolution of virtual machine architecturePublished by Association for Computing Machinery (ACM) ,1973
- A virtual machine time-sharing systemIBM Systems Journal, 1970