Extension to the Model of a Virtualizable Computer and Analysis on the Efficiency of a Virtual Machine

  • Authors:

  • Hanfei Dong;Qinfen Hao

  • Affiliations:

  • -;-

  • Venue:
  • ICCMS '10 Proceedings of the 2010 Second International Conference on Computer Modeling and Simulation - Volume 02
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Upon the basis of the article: Formal requirements for Virtualizable Third Generation Architectures, we propose an extended model for a modern computer architecture and prove the correctness of the theorem for virtualizability on the level of ISA via this model. Some discussions are also made about the efficiency of applications executed in a virtual machine from two different aspects: the instruction stream and the physical machine’s resource management. This work may contribute to the establishment of a more realistic and general model of modern computer that can be virtualized. It would provide some help for architecture designers and researchers on virtualizability theoretically and practically as well.