Xen and the art of virtualization
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Architecture of virtual machines
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Architecture for the next generation system management tools
Future Generation Computer Systems
Formal virtualization requirements for the ARM architecture
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
Virtual Machines (VM) allow the execution of various operating systems. VM mechanisms provide several functionalities which are nowadays strongly appreciated by developers and administrators (isolation between applications, flexibility of resource management...). So, "virtualization" has become a buzz word and a lot of "virtualization" solutions have been proposed, each providing particular functionalities. Goldberg proposed to classify virtualization techniques in two models (Type-I and Type-II), which does not enable the classification of latest "virtualization" technologies such emulation, partitioning... We propose an extension of the Goldberg model in order to take into account latest "virtualization" mechanisms. After giving general definitions, we show how our proposal enables to rigorously formalize the following terms: virtualization, emulation, abstraction, partitioning, and identity. We show that a single virtualization solution is generally composed by several layers of virtualization capabilities, depending on the granularity of the analysis. In this manner, our model allow us to classify virtualization technologies according to their performance, similarity and portability.