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

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 Facebook spouští službu Marketplace V ČR

Facebook spouští službu Marketplace V ČR

Společná platforma Marketplace usnadní lidem na Facebooku vyhledávání, nákup a prodej použitého zboží na lokální úrovni. Bude tak přímou konkurencí pro weby a aplikace se stejným zaměřením jako je například Letgo, Bazoš, Aukro, Sbazar a další.

Obrázek ke článku DistrCut – optimalizace pomocí distribuované inteligence

DistrCut – optimalizace pomocí distribuované inteligence

Optimalizační systémy, které jsem dosud popisoval, se týkaly vždy optimalizace na jednom zařízení. Optimalizovalo se dělení tyčového materiálu na jedné pile, vypalování plošného materiálu na jednom plazmovém stroji, řídilo se tavení na jedné elektrické obloukové peci.

Ve výrobním procesu je však často nutné optimalizovat činnost celého výrobního úseku, kde je více různých objektů odlišného typu a koordinovat činnost těchto objektů k dosažení společného cíle, zpravidla kvality finálního výrobku. Řešení tohoto problému umožňuje distribuovaná inteligence.

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ý