SPIN (operating system)
|Developer||University of Washington|
|Source model||Open source|
|Final release||1.0 / November 1996|
|Update method||Download, compile|
The SPIN operating system is a research project implemented in the computer programming language Modula-3, and is an open source project. It is designed with three goals: flexibility, safety, and performance. SPIN was developed at the University of Washington.
The kernel can be extended by dynamic loading of modules which implement interfaces that represent domains. These domains are defined by Modula-3
INTERFACE. All kernel extensions are written in Modula-3 safe subset with metalanguage constructs and type safe casting system. The system also issued a special run-time extension compiler.
- Bershad, Brian N.; Savage, Stefan; Pardyak, Przemys; Sirer, Emin Gün; Fiuczynski, Marc E.; Becker, David; Chambers, Craig; Eggers, Susan (1995). "Extensibility, safety and performance in the SPIN operating system": 267–284. Cite journal requires
- Bershad, Brian N.; Chambers, Craig; Eggers, Susan; Maeda, Chris; Mcnamee, Dylan; Pardyak, Przemyslaw; Savage, Stefan; Sirer, Emin Gün (1994). "SPIN: an extensible microkernel for application-specific operating system services": 68–71. Cite journal requires
- Dion, David (1996). "A User-Level Unix Server for the SPIN Operating System". Cite journal requires