Architecture of virtual machines

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 , Ph. Potin , H. Savary, Coupling virtual machines and system construction, Proceedings of the workshop on virtual computer systems, p.1-14, March 26-27, 1973, Cambridge, Massachusetts, United States [doi>10.1145/800122.803944]
• 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: Vittore Casarosa , Carlo Paoil, VHM : a Virtual Hardware Monitor, Proceedings of the workshop on virtual computer systems, p.150-169, March 26-27, 1973, Cambridge, Massachusetts, United States [doi>10.1145/800122.803954]
• 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 of the workshop on virtual computer systems, p.206-209, March 26-27, 1973, Cambridge, Massachusetts, United States [doi>10.1145/800122.803960]
• 10: Stuart E. Madnick , John J. Donovan, Application and analysis of the virtual machine approach to information system security and isolation, Proceedings of the workshop on virtual computer systems, p.210-224, March 26-27, 1973, Cambridge, Massachusetts, United States [doi>10.1145/800122.803961]
• 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: Kazuhiro Fuchi , Hozumi Tanaka , Yuriko Manago , Toshitsugu Yuba, A program simulator by partial interpretation, Proceedings of the second symposium on Operating systems principles, October 20-22, 1969, Princeton, New Jersey [doi>10.1145/961053.961092]
• 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: 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]
• 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: Michael D. Schroeder , Jerome H. Saltzer, A hardware architecture for implementing protection rings, Communications of the ACM, v.15 n.3, p.157-170, March 1972 [doi>10.1145/361268.361275]
• 22: INFOTECH The fourth generation Maidenhead, England 1972
• 23: Barbara H. Liskov, The design of the Venus operating system, Communications of the ACM, v.15 n.3, p.144-149, March 1972 [doi>10.1145/361268.361272]
• 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: Michael D. Schroeder, Performance of the GE-645 associative memory while Multics is in operation, Proceedings of the SIGOPS workshop on System performance evaluation, p.227-245, January 1971 [doi>10.1145/800024.808361]

INDEX TERMS

Primary Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.2 Storage Management
          Subjects: Virtual memory

Additional Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: System architectures

General Terms:
Design, Theory