dm_phys: A Dataspace Manager for Physical Memory

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

    Dr. Kevin Elphinstone

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

    BibTex:

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