Trustworthy Systems

Mungi: A distributed single-address-space operating system


Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo

    School of Computer Science and Engineering
    Sydney 2052, Australia


With the development of 64-bit microprocessors, it is now possible to combine local, secondary and remote storage into a large single address-space. This results in a uniform method for naming and accessing objects regardless of their location, removes the distinction between persistent and transient data, and simplifies the migration of data and processes.

This paper describes the Mungi single address-space operating system. Mungi provides a distributed single level address-space, which is protected using password capabilities. The protection system performs efficiently on conventional architectures, and is simple enough that most programs do not need to be aware of its operation.

BibTeX Entry

    month            = jan,
    paperurl         = {},
    booktitle        = {Proceedings of the 17th Australasian Computer Science Conference (ACSC)},
    author           = {Gernot Heiser and Kevin Elphinstone and Stephen Russell and Jerry Vochteloo},
    year             = {1994},
    address          = {Christchurch, New Zealand},
    pages            = {271--80},
    title            = {Mungi: A Distributed Single-Address-Space Operating System}