NDLI: Formal requirements for virtualizable third generation architectures

Please wait, while we are loading the content...

Volume 7, Issue 4, October 1973

Interprocess communication in real-time systems

An experimental implementation of the kernel/domain architecture

On the structure and control of commands

The UNIX time-sharing system

Multiprocessor self diagnosis, surgery, and recovery in air terminal traffic control

Online system performance measurements with software and hybrid monitors

Summary of minimal-total-processing-time drum and disk scheduling disciplines

Optimal folding of a paging drum in a three level memory system

A page allocation strategy for multiprogramming systems

Dynamic storage partitioning

On reference string generation processes

On the probability of deadlock in computer systems

Polynomial complete scheduling problems

Scheduling independent tasks to reduce mean finishing-time (extended abstract)

Bounds on scheduling with limited resources

A task-scheduling algorithm for a multiprogramming computer system

Protection and control of information sharing in multics

The case for capability based computers (Extended Abstract)

Formal requirements for virtualizable third generation architectures

Limitations of Dijkstra's Semaphore Primitives and Petri nets

Volume 7, Issue 3, July 1973

Volume 7, Issue 2, April 1973

Volume 7, Issue 1, January 1973

Formal requirements for virtualizable third generation architectures

Content Provider	ACM Digital Library
Author	Goldberg, Robert P. Popek, Gerald J.
Abstract	Virtual machine systems have been implemented on a limited number of third generation computer systems, for example CP-67 on the IBM 360/67. The value of virtual machine techniques to ease the development of operating systems, to aid in program transferability, and to allow the concurrent running of disparate operating systems, test and diagnostic programs has been well recognized. However, from previous empirical studies, it is known that many third generation computer systems, e.g. the DEC PDP-10, cannot support a virtual machine system. In this paper, the hardware architectural requirements for virtual machine systems are discussed. First, a fairly specific definition of a virtual machine is presented which includes the aspects of efficiency, isolation, and identical behavior. A model of third generation-like computer systems is then developed. The model includes a processor with supervisor and user modes, memory that has a simple protection mechanism, and a trap facility. In this context, instruction behavior is then carefully characterized.
File Format	PDF
ISSN	01635980
DOI	10.1145/957195.808061
Journal	ACM SIGOPS Operating Systems Review (OPSR)
Volume Number	7
Issue Number	4
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1975-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Hardware and Architecture Information Systems

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in