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 685×

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

Obrázek ke článku Dovozci baterií mění logistiku, letadlo nahrazuje námořní doprava

Dovozci baterií mění logistiku, letadlo nahrazuje námořní doprava

Dovozci baterií do mobilů či notebooků upouštějí od letecké přepravy zboží. V letošním roce plánují dovézt až 80 % produktů lodí. Přitom před 5 lety byla většina baterií do mobilních přístrojů dovezených do České republiky přepravována letadlem. Za proměnou způsobu transportu akumulátorů stojí zpřísnění pravidel pro leteckou přepravu, která přinášejí vyšší náklady i náročnou agendu.

Reklama
Reklama
Obrázek ke článku JIC otevírá největší digitální dílnu pro veřejnost v České republice

JIC otevírá největší digitální dílnu pro veřejnost v České republice

JIC otevírá první nonstop veřejně dostupnou digitální dílnu světového formátu s vybavením za 3 miliony korun. Dílnu může využívat po registraci kdokoliv. V  prostorách vzniknou prototypy produktů místních startupů, projekty kutilů a studentů i umělecká díla. Cílem dílny je zpřístupnit veřejnosti drahé přístroje a přitáhnout více podnikavých lidí k technickým oborům.

Obrázek ke článku Nový IT hráč na českém trhu

Nový IT hráč na českém trhu

V roce 2015 otevřela v Praze na Pankráci v budově City Tower své kanceláře společnost EPAM Systems (NYSE:EPAM), jejíž centrála se nachází v USA. Společnost byla založená v roce 1993 a od té doby prošla velkým vývojem a stále roste.

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ý