Formal properties of recursive Virtual Machine architectures.

Authors:
Gerald Belpaire;Nai-Ting Hsu
Affiliations:
-;-
Venue:
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Year:
1975

Citing 4
Cited 2

Formal requirements for virtualizable third generation architectures

Communications of the ACM
Correctness of realizations of levels of abstraction in operating systems

Operating Systems, Proceedings of an International Symposium
Architecture of virtual machines

Proceedings of the workshop on virtual computer systems
Hardware architecture for recursive Virtual Machines

ACM '75 Proceedings of the 1975 annual conference

An implementation scheme for a virtual machine monitor to be realized on user - microprogrammable minicomputers

ACM '76 Proceedings of the 1976 annual conference
The turtles project: design and implementation of nested virtualization

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

A formal model of hardware/software architectures is developed and applied to Virtual Machine Systems. Results are derived on the sufficient conditions that a machine architecture must verify in order to support VM systems. The model deals explicitly with resource mappings (protection) and with I/O devices. Some already published results are retrieved and other ones, more general, are obtained.