A.L. wrote:
> On Tue, 17 Mar 2009 03:52:25 -0700 (PDT), mgk <m...@w...pl> wrote:
>
>> Z tego co w sieci dowiedzialem sie o systemie operacyjny Singularity i
>> Midori wynika, ze system ten aplikacje skompilowana do kodu
>> posredniego .net (CIL) sprawdza jakos na poprawnosc (tak pisze w wielu
>> zrodlach, nie wazne jak) wykonania, kompiluje do kodu maszynowego i
>> dalej juz aplikacja sie wykonuje bez kontroli sprzetowej wyjscia po za
>> swoja pamiec, itp.
>
> Nie da sie. To jakas bzdura

Znaczy czego "nie da się"? Jeżeli użytkownik nie ma dostępu do
wskaźników i żadnego dostępu do instrukcji sprzętowych, to niewiele może
nagmerać, nie zapisze innemu procesowi pamięci. W Singularity nie ma
takiego dostępu. Wygenerowany z kodu pośredniego kod natywny używa
instrukcji uprzywilejowanych procesora, tzn. niejako wszystko chodzi "w
trybie jądra". Tak zrozumiałem opisy systemu.

Przy czym faktem jest, że "sprawdzanie poprawności" odbywa się gdzie
indziej (jest weryfikacja protokołów, którymi gadają ze sobą serwery -
teoria mówi, że mamy doczynienia z mikrokernelem), pliki wykonywalne są
podpisywane itd. Poprawność samego kodu oczywiście nie jest sprawdzana.

JD