Trustworthy Systems

A resource management framework for priority-based physical-memory allocation


Kingsley Cheung and Gernot Heiser

    School of Computer Science and Engineering
    Sydney 2052, Australia


Most multitasking operating systems support scheduling priorities in order to ensure that processor time is allocated to important or time-critical processes in preference to less important ones. Ideally this would prevent a low-priority process from slowing the execution of a high-priority one. In practice, strict prioritisation is undermined by a lack of suitable allocation policy for resources other than CPU time. For example, a low priority process may degrade the execution speed of a high-priority process by competing with it for physical memory. We present the design of a flexible resource management framework which prioritises memory allocation, and examine a prototype implementation for the Mungi single-address-space operating system.

BibTeX Entry

    address          = {Monash University, Melbourne, Australia},
    author           = {Kingsley Cheung and Gernot Heiser},
    booktitle        = {Proceedings of the 7th Asia-Pacific Computer Systems Architecture Conference},
    editor           = {J Morris and F Lai},
    month            = jan,
    paperurl         = {},
    title            = {A Resource Management Framework for Priority-Based Physical-Memory Allocation},
    year             = {2002}