The Multikernel: A new OS architecture for scalable multicore systems

Baumann, Barham, Dagand, Harris, Isaacs, Peter, Roscoe, Scupbach, Singhania (2009)

What kind of paper is this?

The Problem

The Approach

Main Motivations

  • Hardware is changing more quickly than software.

    The Multikernel

    A Paper Gem

    "While Barrelfish is a point in the multikernel design space, it is not the only way to build a multikernel. In this section we describe our implementation, and note which choices in the design are derived from the model and which are motivated for other reasons, such as local performance, ease of engineering, policy freedom, etc."