Protection domain extensions in Mungi

Download files
Access & Terms of Use
open access
Abstract
The Mungi single address space operating system provides a protected procedure call mechanism named protection domain extension (PDX). The PDX call executes in a protection domain which is the union of (a subset of) the caller`s, and a fixed domain associated with the procedure. On return, the caller`s original protection domain is reestablished. Extensive caching of validation data allows amortisation of setup costs over a possibly large number of invocations. The PDX mechanism forms the basis for object support in Mungi, particularly encapsulation. It is also used for accessing devices, and to implement user-level page fault handlers.
Persistent link to this record
DOI
Additional Link
Author(s)
Vochteloo, J
Elphinstone, Kevin
Russell, Susan
Heiser, Gernot
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
1996
Resource Type
Conference Paper
Degree Type
Files
download Vochteloo_ERH_96.pdf 45.28 KB Adobe Portable Document Format
Related dataset(s)