Trustworthy Systems

Mungi: A distributed single-address-space operating system

Authors

Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo

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

Abstract

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

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

Download