Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.

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

[es] :: Kernel i OS programiranje :: (define BitC (+ LISP C) ) => Coyotos

[ Pregleda: 2478 | Odgovora: 1 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

stale85
Stanislav Antic
Student
Sremčica

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



Profil

icon (define BitC (+ LISP C) ) => Coyotos18.09.2006. u 08:15 - pre 163 meseci
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.”
 
Odgovor na temu

cynique
Ivan Štambuk
[email protected]

Član broj: 93690
Poruke: 155
193.198.17.*

ICQ: 106979934
Sajt: istambuk.blogspot.com


Profil

icon Re: (define BitC (+ LISP C) ) => Coyotos18.10.2006. u 00:53 - pre 162 meseci
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.
 
Odgovor na temu

[es] :: Kernel i OS programiranje :: (define BitC (+ LISP C) ) => Coyotos

[ Pregleda: 2478 | Odgovora: 1 ] > FB > Twit

Postavi temu Odgovori

Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.