Extensibility, safety and performance in the SPIN operating system (1995)
Cached
Download Links
- [cs.ucsb.edu]
- [www.cs.berkeley.edu]
- [www.cs.berkeley.edu]
- [www.cs.cornell.edu]
- [www-cse.ucsd.edu]
- [www-db.stanford.edu]
- [www.ee.umd.edu]
- DBLP
Other Repositories/Bibliography
| Citations: | 392 - 14 self |
BibTeX
@INPROCEEDINGS{Bershad95extensibility,safety,
author = {Brian N. Bershad and Stefan Savage and Przemys Pardyak and Emin Gun Sirer and Marc E. Fiuczynski and David Becker and Craig Chambers and Susan Eggers},
title = {Extensibility, safety and performance in the SPIN operating system},
booktitle = {},
year = {1995},
pages = {267--284}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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. Extensions allow an application to specialize the underlying operating system in order to achieve a particular level of performance and functionality. SPIN uses language and link-time mechanisms to inexpensively export ne-grained interfaces to operating system services. Extensions are written in a type safe language, and are dynamically linked into the operating system kernel. This approach o ers extensions rapid access to system services, while protecting the operating system code executing within the kernel address space. SPIN and its extensions are written in Modula-3 and run on DEC Alpha workstations. 1
