See this document in CiteSeerX!

Design, Implementation and Performance of Protection in the Mungi Single Address Space Operating System (1998)  (Make Corrections)  
Jeroen Doron Vochteloo



  Home/Search   Context   Related

 
View or download:
unsw.edu.au/pub/us...ochteloo:phd.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  unsw.edu.au/~gernot/pe...students (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Traditional operating system rely on separate address-spaces for protection. The advent of 64-bit architectures has allowed the construction of operating systems that have a single, shared address space (single-address-space operating systems). All data in a single address space can be identified by a unique, globally valid name, its address, making the sharing of information easy. Due to the rejection of the separate address space model, a new model for protection needs to be designed. This... (Update)

Active bibliography (related documents):   More   All
2.1:   The Mungi Single-Address-Space Operating System - Heiser, Elphinstone.. (1998)   (Correct)
1.0:   Implementation and Performance of the Mungi.. - Heiser.. (1997)   (Correct)
0.9:   Protection Domain Extensions in Mungi - Vochteloo, Elphinstone, Russell.. (1996)   (Correct)

Similar documents based on text:   More   All
0.7:   Co-Evolutionary Learning by Automatic Modularisation with.. - Darwen (1996)   (Correct)

BibTeX entry:   (Update)

@phdthesis{ vochteloo98design,
    author = "Jeroen Doron Vochteloo",
    title = "Design, Implementation and Performance of Protection in the {M}ungi Single-Address-Space Operating System",
    year = "1998",
    url = "citeseer.ist.psu.edu/vochteloo98design.html" }
Citations (may not include all citations):
447   Exokernel: An operating system architecture for application-.. - Engler, Kaashoek et al. - 1995
400   safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
339   Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
265   Secure computer system: Unified exposition and Multics inter.. (context) - Bell, LaPadula - 1976
175   Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996
173   The UNIX time-sharing system - Thompson, Ritchie - 1974
173   A comparison of commercial and military computer security po.. (context) - Clark, Wilson - 1987
169   The design and implementation of an operating system to supp.. - Leslie, McAuley et al. - 1996
153   A note on the confinement problem - Lampson - 1973
121   Handbook of Algorithms and Data Structures (context) - Gonnet, Baeza-Yates - 1990
116   Sharing and protection in a single-address-space operating s.. - Chase, Levy et al. - 1994
110   The impact of operating system structure on memory system pe.. - Chen, Bershad - 1993
105   The duality of memory and communication in the implementatio.. - Young, Tevanian et al. - 1987
100   Programming semantics for multiprogrammed computers - Dennis, van Horn - 1966
98   Improving IPC by kernel design - Liedtke - 1993
87   Plan 9 from Bell Labs - Pike, Presotto et al. - 1990
81   HYDRA: The kernel of a multiprocessor operating system (context) - Wulf, Cohen et al. - 1974
81   The design of a capability-based distributed operating syste.. (context) - Mullender, Tanenbaum - 1986
81   The design of a capabilitybased distributed operating system (context) - Tanenbaum, Mullender - 1984
72   Alpha Architecture Handbook (context) - Corp, MA - 1992
72   A structural view of the Cedar programming environment (context) - Swinehart, Zellweger et al. - 1986
70   Using sparse capabilities in a distributed operating system - Tanenbaum, Mullender et al. - 1986
63   Capability-based addressing (context) - Fabry - 1974
62   Pilot: An operating system for a personal computer - Redell, Dalal et al. - 1980
55   Architectural support for single-address-space operating sys.. - Koldinger, Chase et al. - 1992
51   Precision architecture (context) - Lee - 1989
39   Protection and the control of information sharing in Multics (context) - Saltzer - 1974
38   A password-capability system (context) - Anderson, Pose et al. - 1986
38   Opal: A single address space system for 64-bit architectures - Chase, Levy et al. - 1992
38   IEEE Transactions on Software Engineering (context) - Almes, Black et al. - 1985
37   MONADS-PC---a capability-based workstation to support softwa.. (context) - Rosenberg, Abramson - 1985
35   Multi-model parallel programming in Psyche - Scott, LeBlanc et al. - 1990
33   ACM Transactions on Database Systems (context) - Cattell, Skeen et al. - 1992
31   The performance of -kernel-based systems (context) - Hartig, Hohmuth et al. - 1997
30   Microprocessor User's Manual (context) - Heinrich - 1991
26   kernel construction (context) - Liedtke - 1995
26   Protection in the HYDRA operating system (context) - Cohen, Jefferson - 1975
24   mechanism separation in HYDRA (context) - Levin, Cohen et al. - 1975
23   Mungi: A distributed single-address-space operating system - Heiser, Elphinstone et al. - 1994
22   The Chinese Wall security policy (context) - Brewer, Nash - 1989
22   and sharing in Multics (context) - Daley, Dennis et al. - 1968
21   Mach: a system software kernel - Rashid, Julin et al. - 1989
21   Operating system protection for fine-grained programs - Jaeger, Liedtke et al. - 1998
20   Angel: A proposed multiprocessor operating system kernel - Wilkinson, Stiemerling et al. - 1992
18   Machineindependent virtual memory management for paged unipr.. - Rashid, Tevanian et al. - 1988
18   Security kernel design and implementation: An introduction (context) - Ames, Gasser et al. - 1983
17   SunSHIELD Basic Security Module Guide (context) - Inc, Road et al.
17   The architecture of the Eden system (context) - Lazowska, Levy et al. - 1981
14   A comment on the confinement problem (context) - Lipner - 1975
13   Choices: The design of a multiprocessor operating system (context) - Campbell, Russo et al. - 1987
13   The Cambridge CAP computer and its protection system (context) - Needham, Walker - 1977
12   A capability based distributed shared memory (context) - Henskens, Rosenberg - 1991
12   Capability-based protection in the Mungi operating system - Vochteloo, Russell et al. - 1993
11   Protection domain extensions in Mungi - Vochteloo, Elphinstone et al. - 1996
11   Operating system support for persistent and recoverable comp.. - Rosenberg, Dearle et al. - 1996
10   global virtual memory (context) - Russell, Skea et al. - 1992
9   An Operating System Structure for Wide-Address Architectures (context) - Chase - 1995
7   Private Communication (context) - Elphinstone - 1998
6   Supporting persistent object systems in a single address spa.. - Elphinstone, Russell et al. - 1996
6   Fast thread management and communication without continuatio.. (context) - Liedtke - 1992
6   Inside the AS (context) - Soltis - 1996
5   microkernel on Alpha - design and implementation (context) - Schonberg - 1996
5   Security and protection in the IBM System (context) - Berstis - 1980
5   Evaluation of a distributed single address space operating s.. (context) - Wilkinson, Murray - 1996
5   support for capability-based addressing (context) - Houdek, Soltis et al. - 1981
4   still the foundation for efficiency (context) - Liedtke, Elphinstone et al. - 1997
4   Private Communication (context) - Wilkinson - 1996
4   the Plan 9 window system - Pike - 1991
3   Some comments on the implementation of capabilities (context) - Anderson, Wallace - 1988
3   Schema evolution in persistent object systems (context) - Malhotra, Munroe - 1996
3   Protection imperfect: The security of some computing environ.. (context) - Hogan - 1988
3   Capability architecture revisited (context) - Jones - 1980
3   Computer Systems Science & Engineering (context) - Wallace, generator - 1990
3   A caching model of operating system functionality (context) - Cheriton, Duda - 1994
2   Department of Computer and Information Science (context) - Shapiro, system et al. - 1997
2   Charging in a secure environment (context) - Wallace, Pose - 1990
2   Department of Computer and Information Science (context) - Shapiro, Weber et al. - 1997
2   Programming in Modula (context) - Nelson - 1991
1   SCC User's Manual (context) - Inc, CA - 1992
1   Commonwealth of Australia (context) - law - 1989
1   Department of Defence Trusted Computer System Evaluation Cri.. (context) - Computer, Center - 1985
1   i User's Manual (context) - Drayton, London et al. - 1995
1   The cost of using the CAP computer's protection facilities (context) - Cook - 1978
1   School of Computer Science and Engineering (context) - Parker, user's et al. - 1998
1   Factors affecting distributed system security (context) - Nesbit - 1987
1   User-level threads and interprocess communication - Feely, Chase et al. - 1993
1   A hardware implementation of capability based architecture (context) - Myers, Buckingham - 1980
1   A programmer's view of the Intel 432 System (context) - Organic - 1993
1   Macquarie Aboriginal Words (context) - Thieberger, McGregor - 1994

Documents on the same site (http://www.cse.unsw.edu.au/~gernot/persona/students.html):
Virtual Memory In A 64-Bit Microkernel - Elphinstone (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC