[CSE]  Advanced Operating Systems 
 COMP9242 2002/S2 
UNSW

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
# On-line Survey (closed)
- Survey Results
 
Work
- Lectures
- Milestone 0
- Project Admin
- Project Spec
- Project FAQ
- Exam
 
Documentation
- ASysT Lab
- L4 source browser
- Sulima ISA Simulator
R4x00 ISA Summary 
MIPS R4700 ReferenceMIPS R4000 User Manual 
- Network Driver
- GT64111
 
Related Info
- Aurema OS Prize
- OS Hall of Fame
 
History
- 2000
- 1999
- 1998
 
Staff
- Gernot Heiser (LiC)

 
Valid HTML 4.0!
next up previous
Next: SASOS Issues Up: 12-mungi Previous: Single Address Space Advantages

Subsections

Single-Address-Space Operating Systems

IBM System/38

[Ber80] and successor

AS/400

[Sol96] (1978)
  • high-level object-oriented architecture built on single-level store
  • geared towards data-intensive commercial applications
  • protection based on tagged capabilities


\begin{Drawbacks}
\Item totally different environment
\Item requires hardware support
\Item performance...
\end{Drawbacks}

Angel

[MSS$^+$93] (City University, London, 1992-5)
  • runs on standard hardware
  • microkernel architecture with lightweight RPC
  • protection server for flexible protection model


\begin{Drawbacks}
\Item prototype is 32-bit only
\Item performance?
\end{Drawbacks}

Opal

[CLFL94] (U of Washington, 1992-4)
  • runs on standard hardware
  • protection domains as 1 \(^{\mathrm{st}}\) class objects
  • password capabilities
  • implemented on top of Mach


\begin{Drawbacks}
\Item applications must handle capabilities (e.g.\ on RPC)
\Item no fast rights amplification
\Item performance!
\end{Drawbacks}

Sombrero

[SMF96] (Arizona State U, 1994-now)
  • designed (not implemented) special protection hardware
  • simulated on Alpha
  • established some software engineering advantages of SASOS


\begin{Drawbacks}
\Item special hardware!
\end{Drawbacks}

Mungi

[HEV$^+$98] (UNSW, 1994-now)
  • ``pure'' SASOS (no message-passing IPC)
  • standard 64-bit hardware
  • discretionary and mandatory access control
  • user-level device drivers and system extensions
  • POSIX emulation
  • fastest SASOS to date


next up previous
Next: SASOS Issues Up: 12-mungi Previous: Single Address Space Advantages
Gernot Heiser 2002-10-24