-
Path: news-archive.icm.edu.pl!newsfeed.gazeta.pl!wsisiz.edu.pl!plix.pl!newsfeed1.plix
.pl!newsfeed00.sul.t-online.de!t-online.de!news.glorb.com!news2.glorb.com!news-
in-01.newsfeed.easynews.com!easynews!core-easynews-01!easynews.com!en-nntp-09.d
c1.easynews.com.POSTED!not-for-mail
From: A.L. <a...@z...com>
Newsgroups: pl.comp.programming
Subject: Re: Singularity/Midori a jezyki jak C++, Java itp
Message-ID: <n...@4...com>
References: <c...@4...googlegroups.com>
<j...@4...com>
<gpo8d3$jq$1@news.supermedia.pl>
X-Newsreader: Forte Agent 4.2/32.1118
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
Lines: 36
X-Complaints-To: a...@e...com
Organization: Forte Inc. http://www.forteinc.com/apn/
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will
be unable to process your complaint properly.
Date: Tue, 17 Mar 2009 08:45:12 -0500
Xref: news-archive.icm.edu.pl pl.comp.programming:181395
[ ukryj nagłówki ]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.
Następne wpisy z tego wątku
- 17.03.09 13:48 Grzegorz Niemirowski
- 17.03.09 14:09 Paweł Kierski
- 17.03.09 14:34 A.L.
- 17.03.09 14:48 Grzegorz Niemirowski
- 17.03.09 15:09 Jędrzej Dudkiewicz
- 17.03.09 18:42 mgk
- 17.03.09 19:18 A.L.
- 17.03.09 21:27 mgk
- 17.03.09 22:21 A.L.
- 17.03.09 22:49 Grzegorz Niemirowski
- 17.03.09 22:51 Grzegorz Niemirowski
- 17.03.09 23:15 Wojciech Muła
- 18.03.09 07:57 Wiktor Zychla
- 18.03.09 08:36 Grzegorz Danowski
- 18.03.09 08:43 Jędrzej Dudkiewicz
Najnowsze wątki z tej grupy
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
Najnowsze wątki
- 2025-08-21 Nowe style na energokod.pl
- 2025-08-21 czy ludzie przestali słuchać muzyki?
- 2025-08-21 Rozprawa sądowa o parkowanie.
- 2025-08-21 Wszystko, co musisz wiedzieć o Wi-Fi 8
- 2025-08-21 Właśnie weszły nowe przepisy o grzywnach za kamerki samochodowe.
- 2025-08-21 Rząd ma walczyć z filcyjnym zatrudnieniem
- 2025-08-21 "[...] na jezdnię wybiegł osiodłany koń bez jeźdźca. Dzięki szybkiej reakcji służb zwierzę udało się złapać."
- 2025-08-21 "39-latek używał metody "na ducha" podczas kradzieży"
- 2025-08-21 Polityka RP3 nie wolno nazwać idiotą W KAZANIU (2020) czyli nie każdy kto głosował na T. to pedał (2025)
- 2025-08-20 Motodziennik test - NOWOŚĆ - OPEL FRONTERA - jak DACIA DUSTER, tylko trochę gorzej...
- 2025-08-20 Warszawa => Sales Director (Cloud solutions) <=
- 2025-08-20 Warszawa => Senior Programmer C <=
- 2025-08-20 Białystok => ERP Implementation Consultant (AP Module) <=
- 2025-08-20 Olga ma 28 lat, pochodzi z Białorusi, jest programistką i właśnie kupuje piąte mieszkanie na wynajem.
- 2025-08-20 Przyczyna dla których ludzie nie lubią Żydów.