| Alternate document: Details State Caching in the EROS Kernel (96) Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith |
Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith  Home/Search
Context Related
| upenn.edu/~shap/EROS/pos96.ps.gz upenn.edu/~shap/EROS/pos96.ps.gz cl.cam.ac.uk/~smh2...apiro96state.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: upenn.edu/~shap/resume (more) From: upenn.edu/~shap/pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: EROS, the Extremely Reliable Operating System, addresses the issues of reliability and security by combining three ideas from earlier systems: capabilities and a persistent single-level store. Capabilities unify object naming with access control. Persistence extends this naming and access control uniformly across the memory hierarchy; main memory is viewed simply as a cache of the single-level store. The combination simplifies application design, allows programs to observe the "principle of... (Update)
Context of citations to this paper: More
...whose leaves are pages. It has been shown elsewhere that such a structure can be projected onto a paged MMU memory mapping structure [Sha96b], and thereby directly supported on contemporary memory mapping hardware. From this program image, we wish to construct a confined...
.... related work on the EROS implementation has demonstrated that real implementations of capability systems can be made to perform acceptably [Sha96c, Sha96b]. Our thanks to Carl Gunter, who provided comments and feedback on this paper at various stages. Norm Hardy first suggested...
Cited by: More
Design Evolution of the EROS Single-Level Store - Shapiro, Adams (2002) (Correct)
Verifying Operating System Security - Shapiro, Weber (1997) (Correct)
EROS: A Capability System - Shapiro, Smith, Farber (1997) (Correct)
Similar documents (at the sentence level):
77.1%: State Caching in the EROS Kernel - Shapiro, Farber, Smith (1996) (Correct)
Active bibliography (related documents): More All
0.8: Consistency Management in the EROS Kernel - Implementing.. - Shapiro, Farber, Smith (1996) (Correct)
0.2: Trends in Operating System Design: Towards a Customisable.. - Hulse, Dearle (1998) (Correct)
0.2: An Algorithm for Stabilising Multiple Stores - Ewa Bem And (2000) (Correct)
Similar documents based on text: More All
1.5: C-Groups - Kazem, Mahdavi, Flanders, Silterra.. (2003) (Correct)
0.3: EROS: a fast capability system - Shapiro, Smith, Farber (1999) (Correct)
0.3: Verifying the EROS Confinement Mechanism - Shapiro, Weber (2000) (Correct)
Related documents from co-citation: More All
6: Programming semantics for multiprogrammed computations - Dennis, Van Horn - 1966
5: A Note on the Confinement Problem - Lampson - 1973
5: Capability-Based Computer Systems (context) - Levy - 1984
BibTeX entry: (Update)
Jonathan S. Shapiro, David J. Farber, and Jonathan M. Smith. "State Caching in the EROS Kernel -- Implementing Efficient Orthogonal Persistence in a Pure Capability System", Proceedings of the 7th International Workshop on Persistent Object Systems, Cape May, N.J. 1996 http://citeseer.ist.psu.edu/shapiro96state.html More
@inproceedings{ shapiro96state,
author = "Jonathan S. Shapiro and David J. Farber and Jonathan M. Smith",
title = "State Caching in the {EROS} Kernel",
booktitle = "{POS}",
pages = "88-100",
year = "1996",
url = "citeseer.ist.psu.edu/shapiro96state.html" }
Citations (may not include all citations):572 Distributed Snapshots: Determining Global States of Distribu.. (context) - Chandy, Lamport - 1985
352 Time, Clocks, and the Ordering of Events in a Distributed Sy.. (context) - Lamport - 1978
115 The Spring Nucleus: A microkernel for objects - Hamilton, Kougiouris
98 Improving IPC by Kernel Design - Liedtke - 1993
26 The Checkpoint Mechanism in KeyKOS (context) - Landau - 1992
24 The KeyKOS Architecture (context) - Hardy - 1985
23 Integrated Management of Priority Inversion in Real-Time Mac.. - Kitayama, Nakajima et al. - 1993
22 The KeyKOS NanoKernel Architecture (context) - Bomberger, Frantz et al. - 1992
20 Processor Capacity Reserves: An Abstraction for Managing Pro.. - Mercer, Savage et al. - 1993
15 Evolving Mach 3.0 to a Migrating Threads Model (context) - Ford, Lepreau - 1994
12 Reflections on an Operating System Design - Lampson, Sutrgis - 1976
9 The EROS Object Reference Manual (context) - Shapiro
6 Available via the EROS home page at http://www (context) - Shapiro, Introduction et al.
5 A Persistent System in Real Use -- Experiences of the First .. (context) - Liedtke - 1993
4 mmp: An Experimental Computer System McGraw Hill (context) - Wulf, Levin et al. - 1981
3 Concepts and Technology (context) - Gray, Reuter - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~shap/resume.html): More
Operating System Support for Active Networks - Shapiro, Muir, Smith, Farber (1997) (Correct)
EROS: A Capability System - Shapiro, Smith, Farber (1997) (Correct)
Constructing a Language for Security and Safe Execution - Weber, Shapiro (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