-
Data: 2009-03-17 14:09:14
Temat: Re: Singularity/Midori a jezyki jak C++, Java itp
Od: Paweł Kierski <n...@p...net> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Grzegorz Niemirowski wrote:
> A.L. <a...@z...com> napisał(a):
>> 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.
>
> Pan z Microsoftu ma dosyć dużą pewność:
> Before the code is run, the IL is compiled into native executable code.
> And, since this compilation happens by the managed execution environment
> (or, more correctly, by a runtime-aware compiler that knows how to
> target the managed execution environment), the managed execution
> environment can make guarantees about what the code is going to do.
[...]
Upraszczając - jeśli skompiluję nawet do kodu maszynowego program w
Brainfucku, to poza możliwości tej implementacji Brainfucka nie wyjdę
(choć będzie się de facto wykonywał program natywny). To nie znaczy, że
program nie "wyleci" np. na przekroczeniu tablicy, ale daje gwarancję,
że taka sytucja będzie wyłapana i właściwie (bezpiecznie dla systemu i
innych programów) obsłużona. "Poprawność" oznacza tu tylko "bezpieczne
dla innych zachowanie".
--
Paweł Kierski
n...@p...net
Następne wpisy z tego wątku
- 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
- 18.03.09 09:01 gregorius
- 18.03.09 09:35 mgk
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-24 Chiński bestseller w Europie. Ford "martwi się nową konkurencją"
- 2024-05-24 Wiewiórki, szczury i myszy...
- 2024-05-24 Warszawa => QA Manager <=
- 2024-05-24 Warszawa => AI Specialist <=
- 2024-05-24 Zabrze => Analityk biznesowo-systemowy <=
- 2024-05-24 Ulm => Technischer Rollouter (d/m/w) <=
- 2024-05-24 Warszawa => Senior Rust Software Engineer <=
- 2024-05-24 Warszawa => Spedytor międzynarodowy <=
- 2024-05-24 Kraków => Head of International Freight Forwarding Department <=
- 2024-05-24 Warszawa => Senior Software Engineer PHP (BillPro) Contractor <=
- 2024-05-24 Warszawa => Senior Software Engineer PHP (BillPro) Kontraktor <=
- 2024-05-24 Warszawa => Cybersecurity Consultant <=
- 2024-05-24 Warszawa => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-05-24 Warszawa => React Native Developer <=
- 2024-05-24 Re: Ambasador USA zdradza: TVN Style nie jest firmą Unii Europejskiej :-)