Formal requirements for virtualizable third generation architectures

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.

[1]  J. K. Iliffe,et al.  A Dynamic Storage Allocation Scheme , 1962, Comput. J..

[2]  Jean-Yves Leclerc,et al.  Memory structures for interactive computers , 1966 .

[3]  Butler W. Lampson,et al.  Dynamic protection structures , 1899, AFIPS '69 (Fall).

[4]  Richard A. Meyer,et al.  A Virtual Machine Time-Sharing System , 1970, IBM Syst. J..

[5]  Michael D. Schroeder,et al.  Performance of the GE-645 associative memory while Multics is in operation , 1971, SIGOPS Workshop on System Performance Evaluation.

[6]  Cr Snow,et al.  Is Supervisor - State Necessary , 1971 .

[7]  Peter J. Denning,et al.  Protection: principles and practice , 1972, AFIPS '72 (Spring).

[8]  Richard C. Holt,et al.  Project SUE as a learning experience , 1972, AFIPS '72 (Fall, part I).

[9]  Roger M. Needham,et al.  Protection systems and protection implementations , 1899, AFIPS '72 (Fall, part I).

[10]  Michael D. Schroeder,et al.  Cooperation of mutually suspicious subsystems in a computer utility , 1972 .

[11]  S. W. Galley.  PDP-10 virtual machines , 1973 .

[12]  Edward A. Feustel,et al.  On The Advantages of Tagged Architecture , 1973, IEEE Transactions on Computers.

[13]  Hugh C. Lauer,et al.  A recursive virtual machine architecture , 1973 .

[14]  Jeffrey P. Buzen,et al.  The evolution of virtual machine architecture , 1973, AFIPS National Computer Conference.

[15]  Sigarch,et al.  ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems , 1973 .

[16]  Robert P. Goldberg,et al.  Architectural Principles for Virtual Computer Systems , 1973 .

[17]  Howard E. Sturgis,et al.  A POSTMORTEM FOR A TIME SHARING SYSTEM , 1974 .

[18]  William A. Wulf,et al.  HYDRA , 1974, Commun. ACM.

[19]  Gerald J. Popek,et al.  Verifiable secure operating system software , 1974, AFIPS '74.