SPIN(운영체제)

SPIN (operating system)
회전하다
개발자워싱턴 대학교
기입처모듈라-3
OS 패밀리마하라이크[1]
동작 상태단종
소스 모델오픈 소스
초기 릴리즈1994년, 28년(연간)
최종 릴리즈1.0 / 1996년 11월, 25년 전(1996-11)
저장소www-spin.cs.washington.edu/Distro/docs/downloadInfo.html
마케팅 대상조사.
이용가능기간:영어
갱신 방법다운로드, 컴파일
플랫폼IA-32
커널 타입마이크로커널[2]
공식 웹사이트www-spin.cs.washington.edu

SPIN 운영체제컴퓨터 프로그래밍 언어 Modula-3로 구현된 연구 프로젝트로 오픈 소스 프로젝트입니다.유연성, 안전성, 성능이라는 세 가지 목표를 가지고 설계되었습니다.SPIN은 워싱턴 대학에서 개발되었습니다.

커널은 도메인을 나타내는 인터페이스를 구현하는 모듈을 동적으로 로드함으로써 확장할 수 있습니다.이러한 도메인은 Modula-3에 의해 정의됩니다.INTERFACE 모든 커널 확장자는 metherlanguage 구조 및 type safecasting 시스템을 사용하여 Modula-3 safe subset으로 작성됩니다.또한 시스템은 특별한 런타임 확장 컴파일러를 발행했습니다.

커널 확장의 1세트는 Digital Unix 시스템콜 인터페이스를 에뮬레이트 하는 Application Programming Interface(API; 응용 프로그램프로그래밍 인터페이스)를 제공합니다.이를 통해 Unix 응용 프로그램을 [3]SPIN에서 실행할 수 있습니다.

레퍼런스

  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": 267–284. {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)
  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": 68–71. {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)
  3. ^ Dion, David (1996). "A User-Level Unix Server for the SPIN Operating System". {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)

외부 링크