Web site: www.cse.unsw.edu.au/~disy/Mungi/ (not active)
Origin: Australia
Category: workstation
Desktop environment: CLI
Architecture: unknown
Based on: independent
Wikipedia:
Media: Install
The last version | Released: 1998 (?)
Mungi – a single-address-space operating system.
A single address space operating system (or SASOS) is an operating system that provides only one globally shared address space for all processes.
The Mungi system have been built to demonstrate that a SASOS can offer these performance advantages without resorting to special hardware. Mungi is a very “pure” SASOS, featuring an unintrusive protection model based on sparse capabilities, a fast protected procedure call mechanism, and uses shared memory as the exclusive inter-process communication mechanism, as well as for I/O. The simplicity of our model makes it easy to implement it efficiently on conventional architectures.
The basic abstractions provided by Mungi are: capability, object, task, thread, and protection domain. There also exists the concept of a bank account, which is used to implement limitations on resource use. Objects are the basic storage abstraction. They consist of a contiguous range of pages, with no further structure imp osed by the system. Objects are protected by capabilities which are described below.
Threads are the basic execution abstraction. A task is a set of threads which share a protection domain. A protection domain consists of a set of capabilities. Capabilities are presented implicitly by storing them in a special data-structure known to the system. This reduces the need for most applications to deal with capabilities and thus makes protection transparent.
Mungi is a pure SASOS in that it provides no inter-process communication facility other than shared memory (plus semaphores for synchronisation). Furthermore, there are no explicit system calls to support I/O in Mungi. Instead, I/O devices are mapp ed into virtual memory, and user-level page fault handlers and virtual memory mapping operations are used for dealing with these devices.
The project was developed by Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell athe Department of Computer Systems, School of Computer Science and Engineering The University of New South Wales, Sydney 2052, Australia.
