On Tue, 17 Mar 2009 14:26:02 +0100, J?drzej Dudkiewicz
<j...@g...com> wrote:

>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.

Chodzilo mi o sugestie oryginalnego pytacza jakoby poprawnosc programu
mozna bylo sprawdzic na etapie kompilacji, otrzymujac gwarancje ze
program nie naruszy pewnych ograniczen (pamiec itede) ktorych potem w
trakcie wykonywania sprawdzac nie trzeba.

Moje "nie da sie" dotyczylo takiego sprawdzania i posiadania takiej
pewnosci

A.L.