ITEC -  Operating Systems Group

A Microkernel API for Fine-Grained Decomposition

  • Author:

    Sebastian Reichelt, Jan Stoess, and Frank Bellosa

  • Source:

    Proceedings of the 5th ACM SIGOPS Workshop on Programming Languages and Operating Systems (PLOS 2009), Big Sky, Montana, October 11, 2009

  • Date: 11.10.2009
  • Abstract:

    Microkernel-based operating systems typically require special attention to issues that otherwise arise only in distributed systems. The resulting extra code degrades performance and increases development effort, severely limiting decomposition granularity.

    We present a new microkernel design that enables OS developers to decompose systems into very fine-grained servers. We avoid the typical obstacles by defining servers as lightweight, passive objects. We replace complex IPC mechanisms by a simple function-call approach, and our passive, module-like server model obviates the need to create threads in every server. Server code is compiled into small selfcontained files, which can be loaded into the same address space (for speed) or different address spaces (for safety).

    For evaluation, we have developed a kernel according to our design, and a networking-capable multi-server system on top. Each driver is a separate server, and the networking stack is split into individual layers. Benchmarks on IA-32 hardware indicate promising results regarding server granularity and performance.


        author = {Sebastian Reichelt and Jan Stoess and Frank Bellosa},
        title = {A Microkernel API for Fine-Grained Decomposition},
        booktitle = {Proceedings of the 5th ACM SIGOPS Workshop on Programming Languages and Operating Systems (PLOS 2009)},
        address = {Big Sky, Montana},
        month = oct, # "~11",
        year = 2009,
        affiliation = {Karlsruhe Institute of Technology (KIT), Germany}