Formal requirements for virtualizable third generation architectures
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Formal properties of recursive Virtual Machine architectures.
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
The turtles project: design and implementation of nested virtualization
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
| Hi-index | 0.00 |
In order to support Virtual Machine (VM) Systems on most current computer systems, the Virtual Machine Monitor (VMM) is the only process allowed to reference directly a set of registers, called resource management registers (RMR). Any access operations to those registers executed by any other processes must be detected and executed interpretively by the VMM. This way of implementing VMs is imposed by inadequate hardware mechanism for protection. In this paper, this problem is studied and a hardware architecture is proposed to solve this problem in an efficient and elegant way. The hardware architecture proposed is a stack of RMR, one for each level of VM. The processes running on a VM can only access the RMRs of their level. The hardware (Control Unit) will use the information stored in the RMR of the current level and in the RMRs of lower levels for resource mapping. “A good wife can never cook without food”. A chinese proverb.