Home | deutsch  | Legals | KIT

Prototypical Design and Implementation of L4-SMP Microkernel Mechanisms

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.

BibTex:

@studythesis{voelp02mvxpipc,
  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 = {http://i30www.ira.uka.de/teaching/theses/pasttheses/}
}