MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Extensibility, Safety and Performance in the SPIN Operating System (1995) [363 citations — 12 self]

by Brian N. Bershad ,  Stefan Savage ,  Przemyslaw Pardyak ,  Emin Gün Sirer ,  Emin Gun Sirer ,  Marc Fiuczynski ,  David Becker ,  Susan Eggers ,  Craig Chambers
Add To MetaCart

Abstract:

This paper describes the motivation, architecture and performance of SPIN, an extensible operating system. SPIN provides an extension infrastructure together with a core set of extensible services that allow applications to safely change the operating system's interface and implementation. These changes can be specified with finegranularity, allowing applications to achieve a desired level of performance and functionality from the system. Extensions are dynamically linked into the operating system kernel at application runtime, enabling them to access system services with low overhead. A capabilitybased protection model that relies on language and linktime mechanisms enables the system to inexpensively export fine-grained interfaces to system services. SPIN and its extensions are written in Modula-3 and run on DEC Alpha workstations. 1 Introduction SPIN is an operating system that can be dynamically specialized to safely meet the performance and functionality requirements of applic...

Citations

890 Active messages: A mechanism for integrated communication and computation – Eicken, Culler, et al. - 1992
558 Efficient software-based fault isolation – Wahbe, Lucco, et al. - 1993
336 Lottery scheduling: flexible proportionalshare resource management,’’ pp. 1−11 – Waldspurger, Weihl - 1994
202 The packet filter: An efficient mechanism for user-level network code – MOGUL, RASHID, et al. - 1987
196 Operating system support for database management – Stonebraker - 1981
187 W.: Chorus distributed operating system – Rozier, Abrossimov, et al. - 1988
170 Amoeba: A distributed operating system for the 1990s – Mullender, Rossum, et al. - 1990
167 Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures – Rashid, Tevanian, et al. - 1988
151 Protocol service decomposition for high-performance networking – Maeda, Bershad - 1993
142 Firefly: a Multiprocessor Workstation – Thacker, Stewart - 1987
139 The duality of memory and communication in the implementation of a multiprocessor operating system – Young, Tevanian, et al. - 1987
135 Performance of Firefly RPC – Schroeder, Burrows - 1989
129 Improving IPC by kernel design – Liedtke - 1993
111 First-class user-level threads – Marsh, Scott, et al. - 1991
101 Efficient packet demultiplexing for multiple endpoints and large messages – Yuhara, Bershad, et al. - 1994
100 Hydra/C.mmp: An Experimental Computer System – Wulf, Levin, et al. - 1981
89 Pilot: An Operating System for a Personal Computer – Redell, Dalal, et al.
76 Extending the Mach External Pager Interface to Accommodate User-Level Page Replacement Policies – McNamee, Armstrong - 1990
71 Hardware and Software Support for Efficient Exception Handling – Thekkath, Levy - 1994
45 HiPEC: High Performance External Virtual Memory Caching – Lee, Chen, et al. - 1994
39 An implementation of UNIX on an object-oriented operating system – Khalidi, Nelson - 1993
36 Consistency Management for Virtually Indexed Caches – Wheeler, Bershad - 1992
35 Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware – Romer, Lee, et al. - 1994
28 Fast Interrupt Priority Management in Operating System Kernels – Stodolsky, Chen, et al. - 1993
22 The Architecture of the Eden System – Lazowska, Levy, et al. - 1981
22 Vino: an integrated platform for operating systems and database research – Small, Seltzer - 1994
18 Experience with Topaz Teledebugging – Redell - 1988
8 Extensibility in the Oberon System – Mossenbock - 1994
8 Limits to LowLatency RPC – Thekkath, Levy - 1993
7 Thread Management and Communication Without Continuations – Liedtke - 1992
7 Mach-US: Unix On Generic OS Object Servers – Stevenson, Julin - 1995
6 A Group Structuring Mechanism for a Distributed Object Oriented Language Objects – Pardyak, Bershad - 1994
6 Undocumented Windows – Schulman, Maxey, et al. - 1992
1 Reducing TLB and MemoryOverhead Using Online Superpage Promotion – Romer, Ohlrich, et al. - 1995
View or Download | Add to My Collection | Correct Errors