Home | deutsch  | Legals | KIT

dm_phys: A Dataspace Manager for Physical Memory

dm_phys: A Dataspace Manager for Physical Memory
Subject:L4Ka
Type:Studienarbeit
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/}
}