Skip to Main content Skip to Navigation
Reports

VMKit: a Substrate for Virtual Machines

Nicolas Geoffray 1 Gaël Thomas 1 Charles Clément 1 Bertil Folliot 1 Gilles Muller 1
1 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : Developing and optimizing a virtual machine (VM) is a tedious task that requires many years of development. Although VMs share some common principles, such as a Just In Time Compiler or a Garbage Collector, this opportunity for sharing hash not been yet exploited in implementing VMs. This paper describes and evaluates VMKit, a first attempt to build a common substrate that eases the development of high-level VMs. VMKit has been successfully used to build three VMs: a Java Virtual Machine, a Common Language Runtime and a lisp-like language with type inference uvml. Our precise contribution is an extensive study of the lessons learnt in implementing such common infrastructure from a performance and an ease of development standpoint. Our performance study shows that VMKit does not degrade performance on CPU-intensive applications, but still requires engineering efforts to compete with other VMs on memory intensive applications. Our high level VMs are only 20,000 lines of code, it took one of the author a month to develop a Common Language Runtime and implementing new ideas in the VMs was remarkably easy.
Document type :
Reports
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00354577
Contributor : Nicolas Geoffray <>
Submitted on : Tuesday, March 3, 2009 - 10:09:48 AM
Last modification on : Friday, January 8, 2021 - 5:46:03 PM
Long-term archiving on: : Tuesday, June 8, 2010 - 11:04:27 PM

File

RR-6799.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00354577, version 1

Citation

Nicolas Geoffray, Gaël Thomas, Charles Clément, Bertil Folliot, Gilles Muller. VMKit: a Substrate for Virtual Machines. [Research Report] RR-6799, INRIA. 2009, pp.25. ⟨inria-00354577⟩

Share

Metrics

Record views

597

Files downloads

485