skip to main content
article
Free Access

Formal requirements for virtualizable third generation architectures

Published:01 July 1974Publication History
Skip Abstract Section

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.

References

  1. 1 Buzen, J.P., and Gagliardi, U.O. The evolution of virtual machine architecture. Proc. NCC 1973, AHPS Press, Montvale, N.J., pp. 291-300.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 Gagliardi, U.O., and Goldberg, R.P. Virtualizable architectures, Proc. ACM AICA lnternat. Computing Symposium, Venice, Italy, 1972.]]Google ScholarGoogle Scholar
  3. 3 Galley, S.W. PDP-10 Virtual machines. Proc. ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, Mass., 1969.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Goldberg, R.P. Virtual machine systems. MIT Lincoln Laboratory Rept. No. MS-2686 (also 28L-0036), Lexington, Mass., 1969.]]Google ScholarGoogle Scholar
  5. 5 Goldberg, R.P. Hardware requirements for virtual machine systems. Proc. Hawaii hlternat. CoJlbrence on Systems Sciences, Honolulu, Hawaii, 1971.]]Google ScholarGoogle Scholar
  6. 6 Goldberg, R.P. Architectural principles for virtual computer systems. Ph.D. Th., Div. of Eng. and Applied Physics, Harvard U., Cambridge, Mass., 1972.]]Google ScholarGoogle Scholar
  7. 7 Goldberg, R.P. (Ed). Proc. ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, Mass., 1973.]]Google ScholarGoogle Scholar
  8. 8 Goldberg, R.P. Architecture of virtual machines. Proc. NCC 1973, AFIPS Press, Montvale, N.J., pp. 309-318.]]Google ScholarGoogle Scholar
  9. 9 IBM Corporation. IBM Virtual Machine Facility/370: Planning Guide, Pub. No. GC20-1801-0, 1972.]]Google ScholarGoogle Scholar
  10. 10 Lauer, H.C., and Snow, C.R. Is supervisor-state necessary? Proc. ACM AICA lnternat. Computing Symposium, Venice, Italy, 1972.]]Google ScholarGoogle Scholar
  11. 11 Lauer, H.C., and Wyeth, D. A recursive virtual machine architecture. Proc. ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, Mass., 1973.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12 Meyer, R.A., and Seawright, L.H. A virtual machine timesharing system. IBM Systems J. 9, 3 (1970).]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13 Popek, G.J., and Kline, C. Verifiable secure operating system software. Proc. NCC 1974, AFIPS Press, Montvale, N.J., pp. 145- 151.]]Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Formal requirements for virtualizable third generation architectures

                Recommendations

                Comments

                Login options

                Check if you have access through your login credentials or your institution to get full access on this article.

                Sign in

                Full Access

                PDF Format

                View or Download as a PDF file.

                PDF

                eReader

                View online with eReader.

                eReader