Thumbnail
Access Restriction
Subscribed

Author Goldberg, Robert P. ♦ Popek, Gerald J.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Third generation architecture ♦ Virtual machine monitor ♦ Abstract model ♦ Hypervisor ♦ Virtual memory ♦ Virtual machine ♦ Proof ♦ Sensitive instruction ♦ Formal requirements ♦ Operating system
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.
Description Affiliation: Univ. of Calfifornia, Los Angeles (Popek, Gerald J.) || Harvard Univ., and Honeywell Information Systems Waltham, MA (Goldberg, Robert P.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 17
Issue Number 7
Page Count 10
Starting Page 412
Ending Page 421


Open content in new tab

   Open content in new tab
Source: ACM Digital Library