Microsoft: Už žádné mrznoucí programy.
 x   TIP: Přetáhni ikonu na hlavní panel pro připnutí webu
Reklama

Microsoft: Už žádné mrznoucí programy.Microsoft: Už žádné mrznoucí programy.

 

Microsoft: Už žádné mrznoucí programy.

Google       24. 10. 2006       7 823×

Koniec mrznutia programov.

Reklama
Reklama
V hlbinách vývojových laboratórií Microsoftu sa pracuje na nemožnom: vytvoriť nástroje pre programátorov, pomocou ktorých by vznikali programy, ktoré by nemohli nikdy zamrznúť. A to napriek tomu, že 70 rokov stará matematická teória takúto možnosť ani nepripúšťa. Ak nám niektorý program prestane odpovedať na podnety, môže to mať dve hlavné príčiny: buď je zaneprázdnený úlohou, ktorú skôr či neskôr dokončí, alebo sa dostal do nekonečnej programovej slučky, z ktorej nemožno von. Pre používateľa a v podstate aj pre operačný systém však oba stavy vyzerajú na pohľad rovnako, program jednoducho nereaguje. Ostávajú teda dve možnosti – nechať proces bežať alebo ho natvrdo ukončiť. Dobrým programovaním sa, pravdaže, stabilita a predvídateľnosť programu dá ovplyvniť. Elimináciou chýb možno predísť mnohým slučkám, do ktorých by sa bežiaci program mohol dostať: vyhýbanie sa možným slučkám, určovanie časových limitov na vykonávané operácie atď. Nemožno však vychytať všetky takéto problémy, pretože podľa Turingovej teórie z roku 1936 (vysvetlenie vo Wikipedii) nemožno jednoducho a definitívne predpovedať, či vykonávaná funkcia povedie alebo nepovedie k nekonečnej slučke. Cambridgeské vývojové centrum Microsoftu nepopiera, že táto poučka síce môže mať všeobecnú platnosť, ale pri bežných, „ľuďmi vytvorených“ programoch je možné predpovedať nestabilné správanie. S touto myšlienkou boli postupne vytvorené teórie, ktoré pri programovaní umožnia otestovať, či môže nastať situácia, keď prestane program odpovedať z dôvodu zacyklenia. Vyvinul sa nástroj nazvaný TERMINATOR, ktorý umožňuje vopred určiť, či je program schopný úlohu dokončiť alebo sa zacyklí.

×Odeslání článku na tvůj Kindle

Zadej svůj Kindle e-mail a my ti pošleme článek na tvůj Kindle.
Musíš mít povolený příjem obsahu do svého Kindle z naší e-mailové adresy kindle@programujte.com.

E-mailová adresa (např. novak@kindle.com):

TIP: Pokud chceš dostávat naše články každé ráno do svého Kindle, koukni do sekce Články do Kindle.

Hlasování bylo ukončeno    
0 hlasů
Google
Autor sa venuje tvorbe web stránok pomocou PHP. Zaujíma sa tiež o 2D/3D grafiku.

Nové články

Reklama
Reklama
Obrázek ke článku Blockchain & Bitcoin konference

Blockchain & Bitcoin konference

V pátek 19. 5. 2017 se v pražském konferenčním centru Andel’s konala Blockchain & Bitcoin konference. Řada odborníků a podnikatelů v oboru blockchainu a kryptoměn představila možnosti budoucího směřování tohoto oboru. Speakeři většinou rusky mluvící provenience prezentovali řešení svých firem založená na technologii blockchainu.

Obrázek ke článku Malware KONNI se úspěšně skrýval 3 roky. Odhalil ho bezpečnostní tým Cisco Talos

Malware KONNI se úspěšně skrýval 3 roky. Odhalil ho bezpečnostní tým Cisco Talos

Bezpečnostní tým Cisco Talos odhalil celkem 4 kampaně dosud neobjeveného malwaru, který dostal jméno KONNI. Ten se dokázal úspěšně maskovat od roku 2014. Zpočátku se malware zaměřoval pouze na krádeže citlivých dat. Za 3 roky se ale několikrát vyvinul, přičemž jeho současná verze umožňuje útočníkovi z infikovaného počítače nejenom krást data, ale i mapovat stisky na klávesnici, pořizovat screenshoty obrazovky či v zařízení spustit libovolný kód. Pro odvedení pozornosti oběti zasílali útočníci v příloze také obrázek, zprávu a výhružkách severokorejského režimu či kontakty na členy mezinárodních organizací.

loadingtransparent (function() { var po = document.createElement('script'); po.type = 'text/javascript'; po.async = true; po.src = 'https://apis.google.com/js/plusone.js'; var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(po, s); })();
Hostujeme u Českého hostingu       ISSN 1801-1586       ⇡ Nahoru Webtea.cz logo © 20032017 Programujte.com
Zasadilo a pěstuje Webtea.cz, šéfredaktor Lukáš Churý