SPIN (operating system)
Developer | University of Washington |
---|---|
Written in | Modula-3 |
OS family | Mach-like[1] |
Source model | Open source |
Kernel type | Microkernel[2] |
Official website | SPIN |
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 in mind: flexibility, safety and performance. SPIN was developed at the University of Washington.
The kernel can be extended by dynamically loaded 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.
One set of kernel extensions provides an application programming interface (API) that emulates the Digital Unix system call interface. This allows Unix applications to run on the SPIN operating system.[3]
References
- ↑ Bershad, Brian N; Stefan Savage; Przemys Pardyak; Emin Gun Sirer; Marc E Fiuczynski; David Becker; Craig Chambers; Susan Eggers (1995). "Extensibility, safety and performance in the SPIN operating system". pp. 267–284.
- ↑ Bershad, Brian N; Craig Chambers, Susan Eggers, Chris Maeda, Dylan Mcnamee, Przemyslaw Pardyak, Stefan Savage, Emin G/in Sirer (1994). "SPIN - an extensible microkernel for application-specific operating system services". pp. 68–71.
- ↑ Dion, David (1996). "A User-Level Unix Server for the SPIN Operating System".
External links
- The SPIN web site