Trustworthy Systems

Are virtual-machine monitors microkernels done right?

Authors

Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur

NICTA, Sydney, Australia
UNSW, Australia


    Universitat Karlsruhe, Germany

Abstract

A paper by Hand et al. at the recent HotOS workshop 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 differences which the paper examined. It concluded that VMMs are a special case of microkernels, "microkernels 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 merits and issues of microkernels, such an examination needs to be based on facts.

BibTeX Entry

  @article{Heiser_UL_06,
    author           = {Gernot Heiser and Volkmar Uhlig and Joshua LeVasseur},
    journal          = {ACM Operating Systems Review},
    month            = jan,
    number           = {1},
    pages            = {95--99},
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_UL_06.pdf},
    title            = {Are Virtual-Machine Monitors Microkernels Done Right?},
    volume           = {40},
    year             = {2006}
  }

Download