SMP for L4Ka::Pistachio/AMD64

  • Subject:L4Ka
  • Type:Seminar paper
  • Date:09.08.2006
  • Supervisor:

    Prof. Dr. Frank Bellosa, Jan Stoess

  • Graduand: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.


      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 = {}