Home | english  | Impressum | KIT

SMP for L4Ka::Pistachio/AMD64

SMP for L4Ka::Pistachio/AMD64
Forschungsthema:L4Ka
Typ:Studienarbeit
Datum:09.08.2006
Betreuer:

Prof. Dr. Frank Bellosa, Jan Stoess

Bearbeiter:Philipp Kupferschmied
Links:PDF

Abstract:

Multiprocessor and multicore systems become more and more popular. A modern operating system is expected to be able to deal with more than one CPU so that applications can benefit from the additional processor resources. Today's commonly used operating systems increase in size and complexity and are thus more and more error-prone. Microkernels are an approach to handle this complexity and to reduce the impact of errors by moving huge parts of the OS's functionality out of the kernel and to separated userlevel applications. In this work we describe the design and implementation of SMP support in the L4Ka::Pistachio/AMD64 microkernel.

BibTex:

@studythesis{kupferschmied06smpl4,
  author = {Philipp Kupferschmied},
  title = {SMP for L4Ka::Pistachio/AMD64},
  type = {Study Thesis},
  address = {System Architecture Group, University of Karlsruhe, Germany},
  month = aug # "~9",
  year = 2006,
  url = {http://i30www.ira.uka.de/teaching/theses/pasttheses/}
}