Extensibility safety and performance in the SPIN operating system

@article{Bershad1995ExtensibilitySA,
  title={Extensibility safety and performance in the SPIN operating system},
  author={B. Bershad and S. Savage and P. Pardyak and E. G. Sirer and Marc E. Fiuczynski and D. Becker and C. Chambers and S. Eggers},
  journal={Proceedings of the fifteenth ACM symposium on Operating systems principles},
  year={1995}
}
  • B. Bershad, S. Savage, +5 authors S. Eggers
  • Published 1995
  • Computer Science
  • Proceedings of the fifteenth ACM symposium on Operating systems principles
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… Expand
1,093 Citations
System Call Support in an Extensible Operating
  • 2
Access control for the SPIN extensible operating system
  • R. Grimm, B. Bershad
  • Computer Science
  • Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097)
  • 1997
  • PDF
Security policy realization in an extensible operating system
  • 1
Writing an Operating System with Modula-3
  • 21
  • PDF
An Explicit Binding Model for Runtime Extensible Operating Systems
  • 2
Dynamic Customization in the Choices Operating
  • 3
  • Highly Influenced
Building an extensible operating system
  • 5
Language Support for Extensible Operating Systems
  • 12
  • PDF
A Comparison of OS Extension Technologies
  • 105
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-4 OF 4 REFERENCES
Using microbenchmarks to evaluate system performance
  • 39
  • Highly Influential
Practical Considerations for NonBlocking Concurrent Objects
  • In Proceedings of the Thirteenth International Conference on Distributed Computing Systems,
  • 1993
editor. System Programmingin Modula-3
  • 1991
Scheduler activations: effective kernel support for the user-level management of parallelism
  • 1992