ITEC -  Operating Systems Group

Prototypical Design and Implementation of L4-SMP Microkernel Mechanisms

  • Subject:L4Ka
  • Type:Studienarbeit
  • Date:22.04.2002
  • Supervisor:

    Prof. Dr. Jochen Liedtke

  • Graduand: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 = {}