SPIN(운영체제)
SPIN (operating system)개발자 | 워싱턴 대학교 |
---|---|
기입처 | 모듈라-3 |
OS 패밀리 | 마하라이크[1] |
동작 상태 | 단종 |
소스 모델 | 오픈 소스 |
초기 릴리즈 | 전 |
최종 릴리즈 | 1.0 / 1996년 11월, | 전(
저장소 | www-spin |
마케팅 대상 | 조사. |
이용가능기간: | 영어 |
갱신 방법 | 다운로드, 컴파일 |
플랫폼 | IA-32 |
커널 타입 | 마이크로커널[2] |
공식 웹사이트 | www-spin |
SPIN 운영체제는 컴퓨터 프로그래밍 언어 Modula-3로 구현된 연구 프로젝트로 오픈 소스 프로젝트입니다.유연성, 안전성, 성능이라는 세 가지 목표를 가지고 설계되었습니다.SPIN은 워싱턴 대학에서 개발되었습니다.
커널은 도메인을 나타내는 인터페이스를 구현하는 모듈을 동적으로 로드함으로써 확장할 수 있습니다.이러한 도메인은 Modula-3에 의해 정의됩니다.INTERFACE
모든 커널 확장자는 metherlanguage 구조 및 type safecasting 시스템을 사용하여 Modula-3 safe subset으로 작성됩니다.또한 시스템은 특별한 런타임 확장 컴파일러를 발행했습니다.
커널 확장의 1세트는 Digital Unix 시스템콜 인터페이스를 에뮬레이트 하는 Application Programming Interface(API; 응용 프로그램프로그래밍 인터페이스)를 제공합니다.이를 통해 Unix 응용 프로그램을 [3]SPIN에서 실행할 수 있습니다.
레퍼런스
- ^ 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}}
:Cite 저널 요구 사항journal=
(도움말) - ^ 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}}
:Cite 저널 요구 사항journal=
(도움말) - ^ Dion, David (1996). "A User-Level Unix Server for the SPIN Operating System".
{{cite journal}}
:Cite 저널 요구 사항journal=
(도움말)