[es] - (define BitC (+ LISP C) ) => Coyotos

stale85
Stanislav Antic
Sremčica

Član broj: 6670
Poruke: 108
*.wireless.org.yu.

Profil

(define BitC (+ LISP C) ) => Coyotos

^{18.09.2006. u 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

Ken Thompson has an automobile which he helped design. Unlike most automobiles, it has neither speedometer, nor gas gauge, nor any of the other numerous idiot lights which plague the modern driver. Rather, if the driver makes a mistake, a giant “?” lights up in the center of the dashboard. “The experienced driver,” says Thompson, “will usually know what’s wrong.”

^{18.09.2006. u 08:15}

cynique
Ivan Štambuk
Zagreb@Croatia

Član broj: 93690
Poruke: 155
193.198.17.*

ICQ: 106979934
Sajt: istambuk.blogspot.com

Profil

Re: (define BitC (+ LISP C) ) => Coyotos

^{18.10.2006. u 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.

Put the funk in funktion.

^{18.10.2006. u 00:53}