ITEC -  Lehrstuhl Betriebssysteme

dm_phys: A Dataspace Manager for Physical Memory

  • Forschungsthema:L4Ka
  • Typ:Studienarbeit
  • Datum:05.03.2002
  • Betreuer:

    Dr. Kevin Elphinstone

  • Bearbeiter:Tobias Dussa
  • Links:PDF
  • Abstract:

    This document describes dm_phys, a dataspace manager for physical random-access memory within the experimental L4/SawMill operating system environment. The study thesis includes a brief introduction to SawMill's dataspace model and an overview of existing memory allocation and release strategies. Furthermore, the principal design requirements and model constraints for dm_phys are considered, after which the design decisions used in dm_phy are discussed. Finally, implementation details as well as testing setup, results and interpretations are given.


      author = {Tobias Dussa},
      title = {dm_phys: A Dataspace Manager for Physical Memory},
      type = {Study Thesis},
      address = {System Architecture Group, University of Karlsruhe, Germany},
      month = mar # "~5",
      year = 2002,
      url = {}