Dr. Uwe Dannowski, Dr. Kevin Elphinstone

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).

BibTex:

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