Trustworthy Systems

Resource management in the Mungi single-address-space operating system

Authors

Gernot Heiser, Fondy Lam and Stephen Russell

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

We present the accounting system used for backing store management in the Mungi single-address-space operating system. The model is designed such that all accounting can be done asynchronously to operations on storage objects, and hence without slowing down such operations. It is based on bank accounts from which rent is collected for the storage occupied by objects. Rent automatically increases as available storage runs low, forcing users to release unneeded storage. Bank accounts receive regular income. A taxation system is used to prevent excessive buildup of funds on underutilised accounts.

The accounting system is mostly implemented at user level, with minimal support from the kernel. As a consequence, the accounting model can be changed without modifying the Mungi kernel.

BibTeX Entry

  @inproceedings{Heiser_LR_98,
    address          = {Perth, Australia},
    author           = {Gernot Heiser and Fondy Lam and Stephen Russell},
    booktitle        = {Proceedings of the 21st Australasian Computer Science Conference (ACSC)},
    month            = feb,
    note             = {Also available as UNSW-CSE-TR-9705 from \url{http://www.cse.unsw.edu.au/school/research/tr.html}},
    pages            = {417--428},
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_LR_98.pdf},
    publisher        = {Springer},
    title            = {Resource Management in the {Mungi} Single-Address-Space Operating System},
    year             = {1998}
  }

Download