ITEC -  Lehrstuhl Betriebssysteme

Design and Implementation of Fast Local IPC for the L4 Microkernel

  • Forschungsthema:L4Ka
  • Typ:Studienarbeit
  • Datum:07-2002
  • Betreuer:

    Dr. Uwe Dannowski, Dr. Kevin Elphinstone

  • Bearbeiter:Horst Wenske
  • Links:PDF
  • Abstract:

    This work describes a concrete prototype implementation of fast Local Interprocess Communication for the L4 version X.0 microkernel. The main idea behind LIPC is to extend kernel-level threads with user-level characteristics, which means user-level IPC with kernel-level threads is in special cases possible. The necessary synchronization between the different user and kernel-thread context can be done lazily when the kernel entry is inevitable (e.g. timer interrupt).


      author = {Horst Wenske},
      title = {Design and Implementation of Fast Local IPC for the L4 Microkernel},
      type = {Study Thesis},
      address = {System Architecture Group, University of Karlsruhe, Germany},
      month = jul,
      year = 2002,
      url = {}