Formal requirements for virtualizable third generation architectures

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal requirements for virtualizable third generation architectures

Full text

Pdf (1.04 MB)

Source

Communications of the ACM archive
Volume 17 , Issue 7 (July 1974) table of contents

Pages: 412 - 421

Year of Publication: 1974

ISSN:0001-0782

Authors

Gerald J. Popek	Univ. of Calfifornia, Los Angeles
Robert P. Goldberg	Harvard Univ., and Honeywell Information Systems Waltham, MA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 102, Downloads (12 Months): 747, Citation Count: 45

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/361011.361073 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	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.
	2	Gagliardi, U.O., and Goldberg, R.P. Virtualizable architectures, Proc. ACM AICA lnternat. Computing Symposium, Venice, Italy, 1972.
	3	Galley, S.W. PDP-10 Virtual machines. Proc. ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, Mass., 1969.
	4	Goldberg, R.P. Virtual machine systems. MIT Lincoln Laboratory Rept. No. MS-2686 (also 28L-0036), Lexington, Mass., 1969.
	5	Goldberg, R.P. Hardware requirements for virtual machine systems. Proc. Hawaii hlternat. CoJlbrence on Systems Sciences, Honolulu, Hawaii, 1971.
	6	Goldberg, R.P. Architectural principles for virtual computer systems. Ph.D. Th., Div. of Eng. and Applied Physics, Harvard U., Cambridge, Mass., 1972.
	7	Goldberg, R.P. (Ed). Proc. ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, Mass., 1973.
	8	Goldberg, R.P. Architecture of virtual machines. Proc. NCC 1973, AFIPS Press, Montvale, N.J., pp. 309-318.
	9	IBM Corporation. IBM Virtual Machine Facility/370: Planning Guide, Pub. No. GC20-1801-0, 1972.
	10	Lauer, H.C., and Snow, C.R. Is supervisor-state necessary? Proc. ACM AICA lnternat. Computing Symposium, Venice, Italy, 1972.
	11	Hugh C. Lauer , David Wyeth, A recursive virtual machine architecture, Proceedings of the workshop on virtual computer systems, p.113-116, March 26-27, 1973, Cambridge, Massachusetts, United States [doi>10.1145/800122.803951]
	12	Meyer, R.A., and Seawright, L.H. A virtual machine timesharing system. IBM Systems J. 9, 3 (1970).
	13	Popek, G.J., and Kline, C. Verifiable secure operating system software. Proc. NCC 1974, AFIPS Press, Montvale, N.J., pp. 145- 151.

CITED BY 45

	Leslie J. Waguespack, A structural computer system resource model for teaching computer organization, ACM SIGCSE Bulletin, v.17 n.1, p.63-67, Mar. 1985
	B. D. Shriver , J. W. Anderson , L. J. Waguespack , D. M. Hyams , R. A. Bombet, An implementation scheme for a virtual machine monitor to be realized on user - microprogrammable minicomputers, Proceedings of the annual conference, p.226-232, October 20-22, 1976, Houston, Texas, United States
	Peter J. Denning, Fault Tolerant Operating Systems, ACM Computing Surveys (CSUR), v.8 n.4, p.359-389, Dec. 1976
	Michael J. Manthey, A model for and discussion of multi-interpreter systems, Communications of the ACM, v.22 n.5, p.299-309, May 1979
	Gerald Belpaire , Nai-Ting Hsu, Formal properties of recursive Virtual Machine architectures., ACM SIGOPS Operating Systems Review, v.9 n.5, p.89-96, November 1975
	Judith S. Hall , Paul T. Robinson, Virtualizing the VAX architecture, ACM SIGARCH Computer Architecture News, v.19 n.3, p.380-389, May 1991
	Emin Gün Sirer , Robert Grimm , Arthur J. Gregory , Brian N. Bershad, Design and implementation of a distributed virtual machine for networked computers, ACM SIGOPS Operating Systems Review, v.33 n.5, p.202-216, Dec. 1999
	Gerald Belpaire , Nai-Ting Hsu, Hardware architecture for recursive Virtual Machines, Proceedings of the 1975 annual conference, p.14-18, January 1975
	Gerald J. Popek , Charles S. Kline, The PDP-11 virtual machine architecture: A case study, ACM SIGOPS Operating Systems Review, v.9 n.5, p.97-105, November 1975
	Glen G. Langdon, Review of Introduction to computer architecture by Harld S. Stone., ACM SIGARCH Computer Architecture News, v.5 n.2, June 1976
	J. D. Bagley , E. R. Floto , S. C. Hsieh , V. Watson, Sharing data and services in a virtual machine system, ACM SIGOPS Operating Systems Review, v.9 n.5, p.82-88, November 1975
	G. J. Battarel , H. F. Savary, Interprocess communication system of the MT35 digital exchange, ACM SIGCOMM Computer Communication Review, v.13 n.2, April 1983
	John B. Mountain , Philip H. Enslow, Application of the military computer family architecture selection criteria to the PR1ME P400, ACM SIGARCH Computer Architecture News, v.6 n.6, p.3-17, February 1978
	Ninad Ghodke , Renato Figueiredo, On the implications of machine virtualization for DRM and fair use: a case study of a virtual audio device driver, Proceedings of the 4th ACM workshop on Digital rights management, October 25-25, 2004, Washington DC, USA
	Paul A. Karger , Mary Ellen Zurko , Douglas W. Bonin , Andrew H. Mason , Clifford E. Kahn, A Retrospective on the VAX VMM Security Kernel, IEEE Transactions on Software Engineering, v.17 n.11, p.1147-1165, November 1991
	Renato Figueiredo , Peter A. Dinda , Jose Fortes, Guest Editors' Introduction: Resource Virtualization Renaissance, Computer, v.38 n.5, p.28-31, May 2005
	Andrew Whitaker , Richard S. Cox , Marianne Shaw , Steven D. Gribble, Rethinking the Design of Virtual Machine Monitors, Computer, v.38 n.5, p.57-62, May 2005
	Yuting Zhang , Azer Bestavros , Mina Guirguis , Ibrahim Matta , Richard West, Friendly virtual machines: leveraging a feedback-control model for application adaptation, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA
	Ravi Bhargava , Benjamin Serebrin , Francesco Spadini , Srilatha Manne, Accelerating two-dimensional page walks for virtualized systems, ACM SIGARCH Computer Architecture News, v.36 n.1, March 2008
	Oren Laadan , Jason Nieh, Transparent checkpoint-restart of multiple processes on commodity operating systems, 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference, p.1-14, June 17-22, 2007, Santa Clara, CA
	Keith Adams , Ole Agesen, A comparison of software and hardware techniques for x86 virtualization, ACM SIGOPS Operating Systems Review, v.40 n.5, December 2006
	Paul A. Karger, Performance and security lessons learned from virtualizing the alpha processor, ACM SIGARCH Computer Architecture News, v.35 n.2, May 2007
	Geoffroy Vallee , Thomas Naughton , Stephen L. Scott, System management software for virtual environments, Proceedings of the 4th international conference on Computing frontiers, May 07-09, 2007, Ischia, Italy
	Jeremy Sugerman , Ganesh Venkitachalam , Beng-Hong Lim, Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.1-14, June 25-30, 2001
	John Scott Robin , Cynthia E. Irvine, Analysis of the Intel Pentium's ability to support a secure virtual machine monitor, Proceedings of the 9th conference on USENIX Security Symposium, p.10-10, August 14-17, 2000, Denver, Colorado
	Charles Gray , Matthew Chapman , Peter Chubb , David Mosberger-Tang , Gernot Heiser, Itanium: a system implementor's tale, Proceedings of the USENIX Annual Technical Conference 2005 on USENIX Annual Technical Conference, p.31-31, April 10-15, 2005, Anaheim, CA
	Daniel J. Magenheimer , Thomas W. Christian, vBlades: optimized paravirtualization for the Itanium processor family, Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, p.6-6, May 06-07, 2004, San Jose, California
	M. Laureano , C. Maziero , E. Jamhour, Protecting host-based intrusion detectors through virtual machines, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.5, p.1275-1283, April, 2007
	Sujata Garera , Aviel D. Rubin, An independent audit framework for software dependent voting systems, Proceedings of the 14th ACM conference on Computer and communications security, October 28-31, 2007, Alexandria, Virginia, USA
	Boris Feigin , Alan Mycroft, Jones optimality and hardware virtualization: a report on work in progress, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Ulrich Drepper, The cost of virtualization, Queue, v.6 n.1, January/February 2008
	S. Nanba , N. Ohno , H. Kubo , H. Morisue , T. Ohshima , H. Yamagishi, VM/4: ACOS-4 virtual machine architecture, ACM SIGARCH Computer Architecture News, v.13 n.3, p.171-178, June 1985
	Samuel H. Fuller , Harold S. Stone , William E. Burr, Initial selection and screening of the CFA candidate computer architectures, Proceedings of the June 13-16, 1977, national computer conference, June 13-16, 1977, Dallas, Texas
	Tom Killalea, Meet the virts, Queue, v.6 n.1, January/February 2008
	Jason Franklin , Mark Luk , Jonathan M. McCune , Arvind Seshadri , Adrian Perrig , Leendert van Doorn, Remote detection of virtual machine monitors with fuzzy benchmarking, ACM SIGOPS Operating Systems Review, v.42 n.3, April 2008
	Neal H. Walfield , Marcus Brinkmann, A critique of the GNU hurd multi-server operating system, ACM SIGOPS Operating Systems Review, v.41 n.4, July 2007
	Robert Kaiser, Alternatives for scheduling virtual machines in real-time embedded systems, Proceedings of the 1st workshop on Isolation and integration in embedded systems, p.5-10, April 01-01, 2008, Glasgow, Scotland
	Fernando Rodríguez , Felix Freitag , Leandro Navarro, On the use of intelligent local resource management for improved virtualized resource provision: challenges, required features, and an approach, Proceedings of the 2nd workshop on System-level virtualization for high performance computing, p.24-31, March 31-31, 2008, Glasgow, Scotland
	Victor Yodaiken , Cort Dougan, Active semantically aware hard real-time security hypervisors, Proceedings of the 4th annual workshop on Cyber security and informaiton intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead, May 12-14, 2008, Oak Ridge, Tennessee
	Marco Cereia , Ivan Cibrario Bertolotti, Virtual machines for distributed real-time systems, Computer Standards & Interfaces, v.31 n.1, p.30-39, January, 2009
	Gerald J. Popek , Charles S. Kline, Verifiable secure operating system software, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois
	Richard L. Bisbey, II , Gerald J. Popek, Encapsulation: an approach to operating system security, Proceedings of the 1974 annual ACM conference, January 01-01, 1974
	S. W. Galley , Robert P. Goldberg, Software debugging: the virtual machine approach, Proceedings of the 1974 annual ACM conference, January 01-01, 1974
	Chris Matthews , Yvonne Coady, Virtualized recomposition: Cloudy or clear?, Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing, p.38-43, May 23-23, 2009
	Sandra Rueda , Hayawardh Vijayakumar , Trent Jaeger, Analysis of virtual machine system policies, Proceedings of the 14th ACM symposium on Access control models and technologies, June 03-05, 2009, Stresa, Italy