SPIN (operatsion tizim) - SPIN (operating system) - Wikipedia

SPIN
TuzuvchiVashington universiteti
YozilganModula-3
OS oilasiMach o'xshash[1]
Ishchi holatTo'xtatildi
Manba modeliOchiq manba
Dastlabki chiqarilish1994; 26 yil oldin (1994)
Yakuniy nashr1.0 / 1996 yil noyabr; 24 yil oldin (1996-11)
Omborwww-spin.cs.vashington.edu/ Distro/ hujjatlar/ downloadInfo.html
Marketing maqsadiTadqiqot
Mavjud:Ingliz tili
Yangilash usuliYuklab oling, kompilyatsiya qiling
PlatformalarIA-32
Kernel turiMikrokernel[2]
Rasmiy veb-saytwww-spin.cs.vashington.edu

The SPIN operatsion tizim kompyuterda amalga oshirilgan tadqiqot loyihasidir dasturlash tili Modula-3 va ochiq manba loyiha. U uchta maqsad bilan ishlab chiqilgan: egiluvchanlik, xavfsizlik va ishlash. SPIN ishlab chiqilgan Vashington universiteti.

The yadro tomonidan kengaytirilishi mumkin dinamik yuklash amalga oshiradigan modullar interfeyslar vakili domenlar. Ushbu domenlar Modula-3 tomonidan belgilanadi INTERFACE. Barcha yadro kengaytmalari Modula-3 xavfsiz ichki to'plamida metall tili konstruktsiyalari va bilan yozilgan xavfsiz turi kasting tizim. Tizim shuningdek, ish vaqtining maxsus kengaytmasini chiqardi kompilyator.

Yadro kengaytmalarining bir to'plami dastur dasturlash interfeysi Ni taqlid qiladigan (API) Raqamli Unix tizim qo'ng'irog'i interfeysi. Bu Unix dasturlarining SPIN-da ishlashiga imkon beradi.[3]

Adabiyotlar

  1. ^ Bershad, Brayan N.; Yovvoyi, Stefan; Pardyak, Przemis; Sirer, Emin Gyun; Fuchinski, Mark E.; Beker, Devid; Palatalar, Kreyg; Eggers, Syuzan (1995). "SPIN operatsion tizimidagi kengayish, xavfsizlik va ishlash": 267–284. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  2. ^ Bershad, Brayan N.; Palatalar, Kreyg; Eggers, Syuzan; Maeda, Kris; Makni, Dilan; Pardyak, Przemislav; Yovvoyi, Stefan; Sirer, Emin Gyun (1994). "SPIN: dasturga xos operatsion tizim xizmatlari uchun kengaytiriladigan mikrokernel": 68-71. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  3. ^ Dion, Devid (1996). "SPIN operatsion tizimi uchun foydalanuvchi darajasidagi Unix-server". Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)

Tashqi havolalar