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

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