SPIN (operating system)

SPIN
SPIN
Developer	University of Washington
Written in	Modula-3
OS family	Mach-like
Working state	Discontinued
Source model	Open source
Initial release	1994 (1994)
Final release	1.0 / November 1996 (1996-11)
Repository	www-spin.cs.washington.edu/Distro/docs/downloadInfo.html
Marketing target	Research
Available in	English
Update method	Download, compile
Supported platforms	IA-32
Kernel type	Microkernel
Official website	www-spin.cs.washington.edu

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.

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 SPIN.³

References

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". Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15): 267–284.
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". Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs: 68–71.
Dion, David (1996). "A User-Level Unix Server for the SPIN Operating System". University of Washington Technical Report UW-CSE-96-11-01.

External links

Official website

[AESAPITSOS-1] 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". Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15): 267–284.

[ASAEMFA-SOSS-2] 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". Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs: 68–71.

[AAU-LUSFTSOS-3] Dion, David (1996). "A User-Level Unix Server for the SPIN Operating System". University of Washington Technical Report UW-CSE-96-11-01.

1

2

3