AreVMM-MicroKDoneRight - Are Virtual-Machine Monitors...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Are Virtual-Machine Monitors Microkernels Done Right? Gernot Heiser National ICT Australia and University of New South Wales Sydney, Australia Volkmar Uhlig IBM T.J. Watson Research Center, Yorktown Heights, NY Joshua LeVasseur University of Karlsruhe, Germany Abstract A paper by Hand et al. at the recent HotOS work- shop re-examined microkernels and contrasted them to virtual-machine monitors (VMMs). It found that the two kinds of systems share architectural com- monalities but also have a number of technical dif- ferences which the paper examined. It concluded that VMMs are a special case of microkernels, microker- nels done right. A closer examination of that paper shows that it contains a number of statements which are poorly justified or even refuted by the literature. While we believe that it is indeed timely to reexamine the mer- its and issues of microkernels, such an examination needs to be based on facts. 1 Introduction At the HotOS workshop in June this year, Hand and coauthors presented a paper [HWF + 05] titled Are virtual machine monitors microkernels done right? National ICT Australia is funded by the Australian Govern- ments Department of Communications, Information Technol- ogy, and the Arts and the Australian Research Council through Backing Australias Ability and the ICT Research Centre of Ex- cellence programs. The paper compares and contrasts microkernels and virtual-machine monitors (VMMs) as platforms for systems design and implementation. While identify- ing architectural similarities, it examines the differ- ence in the approaches, and concludes that VMMs are one specific point in the microkernel design space, the right one. Unstated but implied is the assertion that VMMs such as Xen [BDF + 03] are the (to date) only right approach to building microker- nels. Taking a closer look at the main assertions made by Hand et al , we find that they are hard to justify, or even squarely at odds with the literature. While we think that reexamining the merits and failures of microkernels is a potentially valuable exercise, we strongly believe that such a discussion must be per- formed in accordance with established scientific prin- ciples, and most of all, be grounded in facts. As a contribution to an informed discussion, we examine the assertions made by Hand et al in the light of the public record. 2 Background Before addressing the specific assertions made in Hand et al s paper, we provide some (we hope) useful background for the discussion. 95 2.1 History Revisited Microkernels and virtual machine monitors both have a long history, dating back to the early 1970s [BH70, Gol74]. Given that there are significant similarities, it is useful to look at a somewhat narrow definition of both....
View Full Document

This note was uploaded on 12/14/2011 for the course CS 690 taught by Professor Staff during the Fall '11 term at University of Alabama - Huntsville.

Page1 / 5

AreVMM-MicroKDoneRight - Are Virtual-Machine Monitors...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online