Extensibility, safety and performance in the SPIN operating system Export

@misc{citeulike:3839095, 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\&\#039;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}, author = {Bershad, Brian N. and Savage, Stefan and Sirer, Emin G. and Fiuczynski, Marc and Becker, David and Eggers, Susan and Chambers, Craig}, citeulike-article-id = {3839095}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7509}, keywords = {deos, extension, os, reliability, spin}, pages = {267--284}, posted-at = {2008-12-31 13:40:20}, priority = {2}, title = {Extensibility, safety and performance in the SPIN operating system}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7509}, year = {1995} }

TY - ELEC ID - citeulike:3839095 L3 - citeulike-article-id:3839095 N2 - 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 EP - 284 TI - Extensibility, safety and performance in the SPIN operating system SP - 267 KW - deos KW - extension KW - os KW - reliability KW - spin AU - Bershad, Brian AU - Savage, Stefan AU - Sirer, Emin AU - Fiuczynski, Marc AU - Becker, David AU - Eggers, Susan AU - Chambers, Craig PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7509 ER -