Abstract
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.
The INRIA team carries out this research work in the framework of the XtreemOS project partially funded by the European Commission under contract #FP6-033576. ORNL’s research sponsored by the Laboratory Directed Research and Development Program of Oak Ridge National Laboratory (ORNL), managed by UT-Battelle, LLC for the U. S. Department of Energy under Contract No. DE-AC05-00OR22725.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Goldberg, R.P.: Virtual machines: semantics and examples. In: Proceedings IEEE International Computer Society, Conference, Boston, Massachusetts (1971)
Gagliardi, U.O., Goldberg, R.P.: Virtualizeable architectures. In: Proceedings ACM AICA International Computing Symposium, Venice, Italy (1972)
Amdahl, G.M., Blaauw, G.A., Brooks Jr., F.P.: Architecture of the ibm system/360. IBM J. Res. Develop. 44(1/2) (1964)
Goldberg, R.P.: Architecture of virtual machines. In: AFIPS National Computer Conference (July 1973)
Popek, G.J., Goldberg, R.P.: Formal requirements for virtulizable third generation architectures (July 1974)
Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the art of virtualization. In: SOSP 2003, Bolton Landing, New York, USA (October 2003)
Bellard, F.: Qemu, a fast and portable dynamic translator. Technical report, USENIX Association (2005)
VMware: Vmware server (2007), http://www.vmware.com/products/server/
OpenVZ: Openvz welcome page (2007) , http://wiki.openvz.org/Main_Page
GNU: Chroot (2007), http://www.gnu.org/software/coreutils/manual/coreutils.html#chroot-invocation
Gallard, J., Gallard, P., Lebre, A., Morin, C., Scott, S.L., Vallée, G.: Refinement Proposal of the Goldberg’s Theory. Research Report: RR-6613 (2008), http://hal.inria.fr/inria-00310899/en/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gallard, J., Lèbre, A., Vallée, G., Morin, C., Gallard, P., Scott, S.L. (2009). Refinement Proposal of the Goldberg’s Theory. In: Hua, A., Chang, SL. (eds) Algorithms and Architectures for Parallel Processing. ICA3PP 2009. Lecture Notes in Computer Science, vol 5574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03095-6_80
Download citation
DOI: https://doi.org/10.1007/978-3-642-03095-6_80
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03094-9
Online ISBN: 978-3-642-03095-6
eBook Packages: Computer ScienceComputer Science (R0)