ITEC -  Lehrstuhl Betriebssysteme

Prototypical Design and Implementation of L4-SMP Microkernel Mechanisms

  • Forschungsthema:L4Ka
  • Typ:Studienarbeit
  • Datum:22.04.2002
  • Betreuer:

    Prof. Dr. Jochen Liedtke

  • Bearbeiter:Marcus Völp
  • Links:PDF
  • Abstract:

    This thesis proposes a prototypical design for an L4 compatible microkernel for symmetric multiprocessors. In particular a cross processor operation facility based on proxy threads is proposed. The proxy thread thereby - triggered by a combined polling and IPI mechanism - performs the cross processor operation locally on the destination CPU. A cross processor IPC path was implemented on this proxy thread concept.


      author = {Marcus V\"olp},
      title = {Prototypical Design and Implementation of L4-SMP Microkernel Mechanisms},
      type = {Study Thesis},
      address = {System Architecture Group, University of Karlsruhe, Germany},
      month = apr # "~22",
      year = 2002,
      url = {}