Formal requirements for virtualizable third generation architectures
作者： Gerald J. Popek , Robert P. Goldberg
关键词:
摘要: Virtual machine systems have been implemented on a limited number of third generation computer systems, e.g. CP-67 the IBM 360/67. From previous empirical studies, it is known that certain DEC PDP-10, cannot support virtual system. In this paper, model third-generation-like system developed. Formal techniques are used to derive precise sufficient conditions test whether such an architecture can machines.
acm.org
sci-hub.se 参考文章(8)
Robert P Goldberg, Architectural Principles for Virtual Computer Systems ,(1973)
J. P. Buzen, U. O. Gagliardi, The evolution of virtual machine architecture Proceedings of the June 4-8, 1973, national computer conference and exposition on - AFIPS '73. pp. 291- 299 ,(1973) , 10.1145/1499586.1499667
Hugh C. Lauer, David Wyeth, A recursive virtual machine architecture Proceedings of the workshop on virtual computer systems on -. pp. 113- 116 ,(1973) , 10.1145/800122.803951
S. W. Galley, PDP-10 virtual machines Proceedings of the workshop on virtual computer systems on -. pp. 30- 34 ,(1973) , 10.1145/800122.803947
Gerald J. Popek, Charles S. Kline, Verifiable secure operating system software Proceedings of the May 6-10, 1974, national computer conference and exposition on - AFIPS '74. pp. 145- 151 ,(1974) , 10.1145/1500175.1500204
R. A. Meyer, L. H. Seawright, A virtual machine time-sharing system IBM Systems Journal. ,vol. 9, pp. 199- 218 ,(1970) , 10.1147/SJ.93.0199
R. P. Goldberg, Architecture of virtual machines Proceedings of the June 4-8, 1973, national computer conference and exposition on - AFIPS '73. pp. 309- 318 ,(1973) , 10.1145/1499586.1499669
CR Snow, HC Lauer, Is Supervisor - State Necessary Computing Laboratory Technical Report Series. ,(1971)