Formal requirements for virtualizable third generation architectures

Communications of the ACMPublished 1 July 1974Open access

Gerald J. Popek, Robert P. Goldberg

DOI10.1145/361011.361073

Source URL

Citations949

SJR quartileQ1

SJR score1.15

SNIP3.34

View PDF

TL;DR

A model of a third-generation-like computer system is developed and formal techniques are used to derive precise sufficient conditions to test whether such an architecture can support virtual machines.

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.

Keywords

Computer Science

Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Architectural Principles for Virtual Computer Systems

183 Citations1973Robert P. Goldberg

The model of a process running on a virtual computer system (VCS) and the derivation of design principles from that model allows us to understand different properties of virtual machines and to interpret a number of proposed implementations of VCS's in terms of the model.

Architecture of virtual machines

175 Citations1973Robert P. Goldberg

By providing an efficient facsimile of one or more complete computer systems, virtual machines have extended the multi-access, multi-programming, multi -processing systems of the past decade to be multi-environment systems as well.

View PDF

IBM Systems JournalA virtual machine time-sharing system

116 Citations1970Rick Meyer, L. H. Seawright

The design objectives of CP-67/CMS are described, a multi-access system that manages the resources of a computer set up for time-sharing such that each user appears to have a complete, dedicated computer at his disposal.

The evolution of virtual machine architecture

49 Citations1973Jeffrey P. Buzen, Ugo O. Gagliardi

In the early 1960's two major evolutionary steps were taken with regard to computing systems architecture: the emergence of I/O processors and the use of multiprogramming to improve resource utilization and overall performance.

View PDF

Verifiable secure operating system software

49 Citations1974Gerald J. Popek, Charles S. Kline

While the desire for reliable security in multiuser computer systems has grown significantly, the computing community's knowledge of how to provide the requisite protection is still inadequate.

View PDF

A recursive virtual machine architecture

37 Citations1973Hugh C. Lauer, David Wyeth

This paper summarizes the preliminary design of a computer system with a recursive, virtual machine architecture and gives a brief account of the considerations leading to that design.

View PDF

PDP-10 virtual machines

20 Citations1973S. W. Galley

The author has easily constructed a prototype virtual machine using a simulator and an operating system with hierarchical process relationships to construct a “hybrid” virtual machine.