UNSW Computer Science and Engineering Technical Report no. UNSW-CSE-TR-9705 (15 pages: file 9705.pdf) Title: Resource Management in the Mungi Single-Address-Space Operating System Authors: Gernot Heiser, Fondy Lam, Stephen Russell Department of Computer Systems School of Computer Science and Engineering University of New South Wales Sydney 2052 Australia E-mail: G.Heiser@unsw.edu.au 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 income, with a taxation system being 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. ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9705.pdf