Find out how ICT can support biomedical and clinical researchFind out more. Managing complexity by developing new tools and processes. Managing Complexity

The University of New South Wales

Mungi

Mungi is an operating system designed to simplify distribution in cluster and grid systems. It does this with a single address space, shared by all nodes in the system. Along with other ERTOS projects, the current Mungi implementation makes use of the L4 microkernel and user-level device drivers. Mungi's single-address-space approach and capability-based protection system have been adopted by the Iguana project.

Mungi predates NICTA, however is still undergoing development. It is developed in collaboration with the DiSy group at UNSW.

Overview

The aim of the project is to show that a single-address-space operating system (SASOS):

  • can work on standard hardware
  • can be made as secure as traditional systems
  • is not inherently less efficient than traditional systems
  • delivers performance advantages over traditional systems on some class of important applications

In addition, we are trying to build Mungi as a very pure SASOS, that is all data (even the systems') is in the single address space, and no other IPC mechanisms are supported by the OS.

Check these links for further information:

People

Past

Related Projects

  • Opal
  • Angel at City University, London
  • Texas
  • Sombrero
  • Nemesis
  • IBM AS/400
  • Arias at INRIA, France
  • Eros

Publications

plain text PDF Daniel Potts and Ihor Kuz
Adapting distributed shared memory applications in diverse environments
Proceedings of the 6th International Symposium on Cluster Computing and the Grid, Singapore, May, 2006
plain text PS Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser
Encapsulated user-level device drivers in the Mungi operating system
Proceedings of the Workshop on Object Systems and Software Architectures 2004, Victor Harbor, South Australia, Australia, January, 2004
plain text PS Daniel Potts, Charles Gray, Ben Leslie and Gernot Heiser
A secure, language independent, high performance component interface
Proceedings of the Workshop on Object Systems and Software Architectures 2004, Victor Harbor, South Australia, January, 2004
plain text PDF Ben Leslie and Gernot Heiser
Towards untrusted device drivers
Technical Report UNSW-CSE-TR-0303, School of Computer Science and Engineering, March, 2003
plain text PS Kingsley Cheung and Gernot Heiser
A resource management framework for priority-based physical-memory allocation
Proceedings of the 7th Asia-Pacific Computer Systems Architecture Conference, Monash University, Melbourne, Australia, January, 2002
plain text PDF Antony Edwards and Gernot Heiser
Secure OS extensibility needn't cost an arm and a leg
Proceedings of the 8th Workshop on Hot Topics in Operating Systems, Schloss Elmau, Germany, May, 2001
plain text PDF Antony Edwards and Gernot Heiser
A component architecture for system extensibility
Technical Report UNSW-CSE-TR-0103, School of Computer Science and Engineering, March, 2001
plain text PS Antony Edwards and Gernot Heiser
Components + Security = OS Extensibility
Proceedings of the 6th Australasian Computer Systems Architecture Conference, Gold Coast, Australia, January, 2001
plain text PS Luke Deller and Gernot Heiser
Linking programs in a single address space
Proceedings of the 1999 USENIX Technical Conference, Monterey, Ca, USA, June, 1999
plain text PS Kevin Elphinstone
Virtual memory in a 64-bit microkernel, PhD Thesis, University of NSW, Sydney 2052, Australia, 1999
plain text PS Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke
The Mungi single-address-space operating system
Software: Practice and Experience, 28(9), 901–928, (July, 1998)
plain text PS Jerry Vochteloo
Design, implementation and performance of protection in the Mungi single-address-space operating system, PhD Thesis, University of NSW, Sydney 2052, Australia, 1998
plain text PS Gernot Heiser, Fondy Lam and Stephen Russell
Resource management in the Mungi single-address-space operating system
Proceedings of the 21st Australasian Computer Science Conference, Perth, Australia, February, 1998
plain text PDF Gernot Heiser, Fondy Lam and Stephen Russell
Resource management in the Mungi single-address-space operating system
Technical Report UNSW-CSE-TR-9705, University of NSW, August, 1997
plain text PDF Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke
Implementation and performance of the Mungi single-address-space operating system
Technical Report UNSW-CSE-TR-9704, University of NSW, June, 1997
plain text PDF Gernot Heiser, Jerry Vochteloo, Kevin Elphinstone and Stephen Russell
The Mungi kernel API/Release 1.0
Technical Report UNSW-CSE-TR-9701, School of Computer Science and Engineering, March, 1997
plain text PS Jerry Vochteloo, Kevin Elphinstone, Stephen Russell and Gernot Heiser
Protection domain extensions in Mungi
Proceedings of the 5th IEEE International Workshop on Object Orientation in Operating Systems, Seattle, WA, USA, October, 1996
plain text PS Kevin Elphinstone, Stephen Russell, Gernot Heiser and Jochen Liedtke
Supporting persistent object systems in a single address space
Proceedings of the 7th International Workshop on Persistent Object Systems, Cape May, NJ, USA, May, 1996
plain text PDF Tim Wilkinson, Kevin Murray, Stephen Russell, Gernot Heiser and Jochen Liedtke
Single address space operating systems
Technical Report UNSW-CSE-TR-9504, University of NSW, November, 1995
plain text PS Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo
Mungi: a distributed single-address-space operating system
Proceedings of the 17th Australasian Computer Science Conference, Christchurch, New Zealand, January, 1994
plain text PS Jerry Vochteloo, Stephen Russell and Gernot Heiser
Capability-based protection in the Mungi operating system
Proceedings of the 3rd IEEE International Workshop on Object Orientation in Operating Systems, Asheville, NC, USA, December, 1993
plain text PDF Kevin Elphinstone
Address space management issues in the Mungi operating system
Technical Report UNSW-CSE-TR-9312, School of Computer Science and Engineering, November, 1993
plain text PDF Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo
Mungi: a distributed single address-space operating system
Technical Report UNSW-CSE-TR-9314, School of Computer Science and Engineering, November, 1993
plain text PDF Gernot Heiser, Kevin Elphinstone, Stephen Russell and Graham R. Hellestrand
A distributed single address space system supporting persistence
Technical Report UNSW-CSE-TR-9302, University of NSW, March, 1993
plain text PS Stephen Russell, Alan Skea, Kevin Elphinstone, Gernot Heiser, Keith Burston, Ian Gorton and Graham Hellestrand
Distribution + persistence = global virtual memory
Proceedings of the 2nd IEEE International Workshop on Object Orientation in Operating Systems, Dourdan, France, September, 1992