Dynamická analýza paralelních programů na platformě .NET Framework

Název anglicky

Dynamic Analysis of Parallel Applications Using .NET Framework

Jazyk práce

český

Abstrakt

Tato práce se zabývá návrhem a implementací dynamického analyzátoru paralelních programů na platformě .NET Framework. V teoretické části práce je rozebrána problematika synchronizace v paralelních programech, instrumentace programů, testování paralelních programů a specifika těchto problémů pro jazyk C\# a platformu .NET Framework. Podrobněji jsou popsány vybrané algoritmy pro detekci uváznutí (algoritmus Goodlock) a časově závislých chyb nad daty (algoritmy FastTrack a AtomRace). V následujících částech jsou sepsány požadavky na výsledný analyzátor a vytvořen návrh systému. Práce obsahuje také popis implementace navrženého řešení, způsob kompletního otestování implementovaného nástroje a v neposlední řadě ukázku použití dynamických analyzátorů v reálném aplikačním prostředí.

Klíčová slova

Dynamická analýza, testování paralelních programů, detekce uváznutí, detekce časově závislých chyb nad daty, instrumentace programu, .NET

Ústav

Ústav inteligentních systémů FIT VUT v Brně

Studijní program

Informační technologie a umělá inteligence, specializace Inteligentní systémy

Soubory

Stav

obhájeno, hodnocení A

Obhajoba

22. června 2021

Oponent

Hrubý Martin, Ing., Ph.D.

Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A.

Otázky u obhajoby

Našel jste na analyzovaném systému nějaké nedostatky?

Komise

Zbořil František V., doc. Ing., CSc. (UITS FIT VUT), předseda
Hradiš Michal, Ing., Ph.D. (UPGM FIT VUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Rozman Jaroslav, Ing., Ph.D. (UITS FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen

Citace

LING, David. Dynamická analýza paralelních programů na platformě .NET Framework. Brno, 2021. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2021-06-22. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/23336/

BibTeX

@mastersthesis{FITMT23336,
    author = "David Ling",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Dynamick\'{a} anal\'{y}za paraleln\'{i}ch program\r{u} na platform\v{e} .NET Framework",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2021,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/23336/"
}