Article

Free access

Architecture of virtual machines

Author:

R. P. GoldbergAuthors Info & Claims

Proceedings of the workshop on virtual computer systems

Pages 74 - 112

https://doi.org/10.1145/800122.803950

Published: 26 March 1973 Publication History

Abstract

In this paper we develop a model which represents the addressing of resources by processes executing on a virtual machine. The model distinguishes two maps: the ø-map which represents the map visible to the operating system software running on the virtual machine, and the f-map which is invisible to that software but which is manipulated by the virtual machine monitor running on the real machine. The ø-map maps process names into resource names and the f-map maps virtual resource names into real resource names. Thus, a process running on a virtual machine addresses its resources under the composed map f o ø. In recursive operation, f maps from one virtual machine level to another and we have f o f o ... o f o ø.

The model is used to describe and characterize previous virtual machine designs. We also introduce and illustrate a general approach for implementing virtual machines which follows directly from the model. This design, the Hardware Virtualizer, handles all process exceptions directly within the executing virtual machine without software intervention. All resource faults (VM-faults) generated by a virtual machine are directed to the appropriate virtual machine monitor without the knowledge of processes on the virtual machine (regardless of the level of recursion).

References

[1]

J P BUZEN U O GAGLIARDI The evolution of virtual machine architecture Proceedings AFIPS National Computer Conference 1973

[2]

M BERTHAUD M JACOLIN P POTIN H SAVARY Coupling virtual machines and system construction Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems Cambridge Massachusetts 1973

Digital Library

[3]

R A MEYER L H SEAWRIGHT A virtual machine time-sharing system IBM Systems Journal Vol 9 No 3 1970

[4]

R P PARMELEE Virtual machines: some unexpected applications Proceedings IEEE International Computer Society Conference Boston Massachusetts 1971

[5]

J M WINETT Virtual machines for developing systems software Proceedings IEEE International Computer Society Conference Boston Massachusetts 1971

[6]

V CASAROSA C PAOLI VHM: a virtual hardware monitor Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems Cambridge Massachusetts 1973

Digital Library

[7]

D D KEEFE Hierarchical control programs for systems evaluation IBM Systems Journal Vol 7 No 2 1968

[8]

J P BUZEN P P CHEN R P GOLDBERG Virtual machine techniques for improving software reliability Proceedings IEEE Symposium on Computer Software Reliability New York 1973

[9]

C R ATTANASIO Virtual machines and data security Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems Cambridge Massachusetts 1973

Digital Library

[10]

S E MADNICK J J DONOVAN Virtual machine approach to information system security and isolation Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems Cambridge Massachusetts 1973

Digital Library

[11]

R ADAIR R U BAYLES L W COMEAU R J CREASY A virtual machine system for the 360/40 IBM Cambridge Scientific Center Report No G320-2007 1966

[12]

R J SRODAWA L A BATES An efficient virtual machine implementation Proceedings AFIPS National Computer Conference 1973

[13]

K FUCHI H TANAKA Y NAMAGO T YUBA A program simulator by partial interpretation Proceeding ACM SIGOPS Second Symposium on Operating Systems Principles Princeton New Jersey 1969

Digital Library

[14]

IBM CORPORATION IBM virtual machine facility/370: planning guide Publication Number GC20-1801-0 1972

[15]

R P GOLDBERG Hardware requirements for virtual machine systems Proceedings Hawaii International Conference on System Sciences Honolulu Hawaii 1971

[16]

H C LAUER C R SNOW Is supervisor-state necessary? Proceedings ACM AICA International Computing Symposium Venice Italy 1972

[17]

H C LAUER D WYETH A recursive virtual machine architecture Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems Cambridge Massachusetts 1973

Digital Library

[18]

U O GAGLIARDI R P GOLDBERG Virtualizable architectures Proceedings ACM AICA International Computing Symposium Venice Italy 1972

[19]

R P GOLDBERG Architectural principles for virtual computer systems Ph.D. Thesis Division of Engineering and Applied Physics Harvard University Cambridge Massachusetts 1972

[20]

R P GOLDBERG Virtual machine systems MIT Lincoln Laboratory Report No MS-2687 (also 28L-0036) Lexington Massachusetts 1969

[21]

M D SCHROEDER J H SALTZER A hardware architecture for implementing protection rings Communications of the ACM Vol 15 No 3 1972

Digital Library

[22]

INFOTECH The fourth generation Maidenhead, England 1972

[23]

B H LISKOV The design of the VENUS operating system Communications of the ACM Vol 15 No 3 1972

Digital Library

[24]

R P GOLDBERG Virtual Machines: semantics and examples Proceedings IEEE International Computer Society Conference Boston Massachusetts 1971

[25]

S E MADNICK Storage hierarchy systems Ph.D. Thesis Department of Electrical Engineering MIT Cambridge Massachusetts 1972

[26]

M D SCHROEDER Performance of the GE-645 associative memory while Multics is in operation Proceedings ACM SIGOPS Workshop on System Performance Evaluation Cambridge Massachusetts 1971

Digital Library

Cited By

Bhat AMir APandey JSingh A(2022)Nested Virtualization, an Implementation Scenario for Higher Education Institutions, Solution, and Performance Issues2022 10th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO)10.1109/ICRITO56286.2022.9965019(1-5)Online publication date: 13-Oct-2022
https://doi.org/10.1109/ICRITO56286.2022.9965019
Coronado EBehravesh RSubramanya TFernandez-Fernandez ASiddiqui MCosta-Perez XRiggio R(2022)Zero Touch Management: A Survey of Network Automation Solutions for 5G and 6G NetworksIEEE Communications Surveys & Tutorials10.1109/COMST.2022.321258624:4(2535-2578)Online publication date: Dec-2023
https://doi.org/10.1109/COMST.2022.3212586
Kapil DMittal VGangodkar D(2022)Virtualization and Nested Virtualization Technology: Concept, Architecture and Attack Vector Model2022 International Conference on Computational Intelligence and Sustainable Engineering Solutions (CISES)10.1109/CISES54857.2022.9844347(349-354)Online publication date: 20-May-2022
https://doi.org/10.1109/CISES54857.2022.9844347
Show More Cited By

Index Terms

Architecture of virtual machines
1. Computer systems organization
  1. Architectures
2. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Memory management
        Virtual memory

Recommendations

Security architecture for virtual machines
ICA3PP'11: Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I

We propose security architecture based on virtual machine monitor to efficiently deal with attacks on virtual machines. We will show that our model is capable of detecting suspicious processes running in the virtual machine, can detect and prevent ...
A virtual reality keyboard with realistic haptic feedback in a fully immersive virtual environment

This study presents a 3D virtual reality (VR) keyboard system with realistic haptic feedback. The system uses two five-fingered data gloves to track finger positions and postures, uses micro-speakers to create simulated vibrations, and uses a head-...
Wavelet twin support vector machines based on glowworm swarm optimization

Twin support vector machine is a machine learning algorithm developing from standard support vector machine. The performance of twin support vector machine is always better than support vector machine on datasets that have cross regions. Recently ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

Proceedings of the workshop on virtual computer systems

March 1973

253 pages

ISBN:9781450374279

DOI:10.1145/800122

Copyright © 1973 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 March 1973

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

76
Total Citations
View Citations
3,927
Total Downloads

Downloads (Last 12 months)425
Downloads (Last 6 weeks)70

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bhat AMir APandey JSingh A(2022)Nested Virtualization, an Implementation Scenario for Higher Education Institutions, Solution, and Performance Issues2022 10th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO)10.1109/ICRITO56286.2022.9965019(1-5)Online publication date: 13-Oct-2022
https://doi.org/10.1109/ICRITO56286.2022.9965019
Coronado EBehravesh RSubramanya TFernandez-Fernandez ASiddiqui MCosta-Perez XRiggio R(2022)Zero Touch Management: A Survey of Network Automation Solutions for 5G and 6G NetworksIEEE Communications Surveys & Tutorials10.1109/COMST.2022.321258624:4(2535-2578)Online publication date: Dec-2023
https://doi.org/10.1109/COMST.2022.3212586
Kapil DMittal VGangodkar D(2022)Virtualization and Nested Virtualization Technology: Concept, Architecture and Attack Vector Model2022 International Conference on Computational Intelligence and Sustainable Engineering Solutions (CISES)10.1109/CISES54857.2022.9844347(349-354)Online publication date: 20-May-2022
https://doi.org/10.1109/CISES54857.2022.9844347
Randal A(2020)The Ideal Versus the RealACM Computing Surveys10.1145/336519953:1(1-31)Online publication date: 6-Feb-2020
https://dl.acm.org/doi/10.1145/3365199
Hussain MNaim AKhaleel M(2020)Implementation of Wireless Sensor Network Using Virtual Machine (VM) for Insect MonitoringInnovations in Electronics and Communication Engineering10.1007/978-981-15-3172-9_8(73-78)Online publication date: 23-Apr-2020
https://doi.org/10.1007/978-981-15-3172-9_8
Cao PWu YBanerjee SAzoff JWithers AKalbarczyk ZIyer RLorch JYu M(2019)CAUDITProceedings of the 16th USENIX Conference on Networked Systems Design and Implementation10.5555/3323234.3323288(667-682)Online publication date: 26-Feb-2019
https://dl.acm.org/doi/10.5555/3323234.3323288
Vilanova LAmit NEtsion YManne SHunter HAltman E(2019)Using SMT to accelerate nested virtualizationProceedings of the 46th International Symposium on Computer Architecture10.1145/3307650.3322261(750-761)Online publication date: 22-Jun-2019
https://dl.acm.org/doi/10.1145/3307650.3322261
Netto HPereira Oliveira CRech LAlchieri E(2019)Incorporating the Raft consensus protocol in containers managed by Kubernetes: an evaluationInternational Journal of Parallel, Emergent and Distributed Systems10.1080/17445760.2019.160898935:4(433-453)Online publication date: 26-Apr-2019
https://doi.org/10.1080/17445760.2019.1608989
Borges FPacheco LAlchieri ECaetano MSolis P(2019)Transparent State Machine Replication for KubernetesPrimate Life Histories, Sex Roles, and Adaptability10.1007/978-3-030-15032-7_72(859-871)Online publication date: 15-Mar-2019
https://doi.org/10.1007/978-3-030-15032-7_72
Kourai KSannomiya K(2019)Flexible service consolidation with nested virtualization and library operating systemsSoftware: Practice and Experience10.1002/spe.275250:1(3-21)Online publication date: 24-Oct-2019
https://doi.org/10.1002/spe.2752
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten