Počet záznamů: 1
Automatické dokazování správnosti paralelních programů
Údaje o názvu Automatické dokazování správnosti paralelních programů [rukopis] : Implementace systému zdrojů / Vojtěch Pikal Další variantní názvy Automatické dokazování správnosti paralelních programů Osobní jméno Pikal, Vojtěch (autor diplomové práce nebo disertace) Překl.náz Automatic verification of correctness of parallel programs Vyd.údaje 2010 Fyz.popis 59 s. + 1 CD Poznámka Ved. práce Michal Krupka Dal.odpovědnost Krupka, Michal (vedoucí diplomové práce nebo disertace) Outrata, Jan (oponent) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova správnost programů * synchronizace * paralelní programování * kritická sekce * sdílené proměnné * vzájemné vyloučení * program verification * synchronization * parallel programing * critical section * shared variables * mutual exclusion Forma, žánr bakalářské práce bachelor's theses MDT (043)378.22 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Bc. Studijní program Bakalářský Studijní program Informatika Studijní obor Informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 133885-890015313.pdf 34 207.3 KB 12.08.2010 Posudek Typ posudku 133885-ved-792573965.txt Posudek vedoucího 133885-opon-653348680.txt Posudek oponenta
Práce popisuje systém zdrojů - nástroj pro paralelní programování, který pomáhá zajistit správnost vytvářeného programu. Systém zdrojů je programátorský nástroj, který slouží ke správě sdílených proměnných a zaručuje správný přístup k nim. Systém zajišťuje, že při nesprávném použití je při kompilaci kódu ohlášena chyba. V práci je proveden důkaz správnosti systému pomocí programové logiky a jsou diskutovány další možnosti rozšíření funkcionalit systému.The thesis describes a system of resources - a tool of parallel programming, which helps to ensure the correctness of the created program. The system of resources is a programmer toolkit that is used to manage shared variables and guarantees the right approach to them. The system ensures that the improper use will cause an error during compilation. The thesis prooves the correctness of the system exploiting program logic and possibilities of further extension of the functionality of the system are discussed.
Počet záznamů: 1