[ stale85 @ 18.09.2006. 08:15 ] @
Citajuci malo o mikro kernel arhitekturi naleteo sam na projekat Coyotos sa Johns Hopkins University. Ima dve interesantne stvari koje sam ja zapazio, a verujem da ce iskusniji od mene otkriti i mnogo vise.
1. To je prvi operativni sistem koji je formalno verifikovan (ne pitajte me sta to znaci) http://en.wikipedia.org/wiki/Program_verification
2. Pisan je u jeziku koji nalikuje LISP-u a usput ima mogucnosti koje su karakteristicne za C i omogucava pisanje OS-a. Jezik se zove BitC http://www.coyotos.org/docs/bitc/spec.html#1. Joj covece, nema lepse kombinacije ;)
Ako zelite da procitate vise o OS-u http://www.coyotos.org/docs/ukernel/spec.html
Interesuje me sta vi mislite o ovoj novoj zvezdi na OS nebu :)
PoZZ
[ cynique @ 18.10.2006. 00:53 ] @
Samo je pitanje vremena kad će industrija ponovno otkriti LISP mašine..

Formalna verifikacija ne znači da OS nema bugova - ima ih onoliko koliko i sam verifikator.

Ovako na prvi pogled mi je čudan model u kojem više procesa može dijeliti adresni prostor i što su su svi sistemski pozivi asinkroni a opet je IPC unbuffered i blokirajući. Vjerojatno mi nedostaje potpunija slika u ovom trenutku.