HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

Contributor : Nicolas Geoffray Connect in order to contact the contributor
Submitted on : Tuesday, March 3, 2009 - 10:09:48 AM
Last modification on : Friday, January 21, 2022 - 3:21:53 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 11:04:27 PM


Files produced by the author(s)


  • HAL Id : inria-00354577, version 1


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⟩



Record views


Files downloads