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

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 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.

Reklama
Reklama
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í.

Obrázek ke článku Pouze jedna z deseti lokálních firem ví o pokutách plynoucích z GDPR

Pouze jedna z deseti lokálních firem ví o pokutách plynoucích z GDPR

Trend Micro, celosvětový lídr v oblasti bezpečnostních řešení a VMware, přední světový dodavatel cloudové infrastruktury a řešení pro podnikovou mobilitu, oznámily výsledky výzkumu mezi českými a slovenskými manažery zodpovědnými za ochranu osobních údajů, který zjišťoval, jak jsou připraveni na nové nařízení o ochraně osobních údajů (GDPR). Většina firem v České republice a na Slovensku nad 100 zaměstnanců je již s novým nařízením GDPR obeznámena. Výzkum provedený ve spolupráci s agenturou Ipsos ukázal, že téměř 8 firem z 10 o nařízení ví, přičemž jeho znalost je o něco vyšší na Slovensku (89 %) než v České republice (69 %).

Obrázek ke článku Vyděračský software Locky se vrací, tváří se jako potvrzení platby, odhalil tým Cisco Talos

Vyděračský software Locky se vrací, tváří se jako potvrzení platby, odhalil tým Cisco Talos

Jeden z nejznámějších ransomwarů, Locky, se vrací. Po většinu roku 2016 patřil mezi nejrozšířenější vyděračské softwary. Ke svému šíření využíval emailové kampaně s infikovanými přílohami. Ransomware Locky byl rozesílán prostřednictvím botnetu (internetový robot zasílající spamy) Necurs. Jeho aktivita na konci roku 2016 téměř upadla a spolu s ní i šíření ransomwaru Locky. Před několika týdny se Necurs opět probudil a začal posílat spamy nabízející výhodný nákup akcií. Dne 21. dubna zaznamenal bezpečnostní tým Cisco Talos první velkou kampaň ransomwaru Locky prostřednictvím botnetu Necurs za posledních několik měsíců.

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ý