diplomová práce

Výkonnostní analýza programů založená na vkládání šumu

Text práce 2.64 MB

Autor práce: Ing. Matúš Liščinský

Ak. rok: 2020/2021

Vedoucí: Ing. Tomáš Fiedor, Ph.D.

Oponent: Ing. Viktor Malík, Ph.D.

Abstrakt:

Táto práca predstavuje nástroj Perun-Blower, využívajúci perfblowing techniku: vkladanie šumu do funkcií testovaného programu a nasledovné vyhodnotenie vplyvu šumu na výkon programu na základe zozbieraných časových údajov týchto funkcií z behu programu. Implementácia je postavená na dynamickej binárnej inštrumentácii nástroja Pin. Zameriavame sa na hľadanie funkcií, ktoré majú vysoký vplyv na výkon a rovnako tak aj odhad potenciálneho zrýchlenia behu vlákna pri optimalizácii konkrétnej funkcie. Naviac sme rozšírili existujúci Trace collector používaný v nástroji Perun na zbieranie časových dát funkcií, o nový tzv. engine, ktorý je založený práve na nástroji Pin. Funkčnosť implementácie sme otestovali na dvoch netriviálnych projektoch, kde sme dokázali nájsť funkcie (1) so značným vplyvom na výkon, (2) s najvýznamnejším optimalizačným prínosom a (3) funkcie, ktorých degradácia spôsobí, že vykonávanie programu sa neskončí ani po niekoľkých hodinách. 

Klíčová slova:

kauzálne profilovanie, výkonnostné testovanie, virtuálna amplifikácia, vkladanie šumu, výkonnostne úzke miesta, optimalizácia

Termín obhajoby

24.06.2021

Výsledek obhajoby

obhájeno (práce byla úspěšně obhájena)

znamkaBznamka

Klasifikace

B

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 na otázky oponenta a na další 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 B.

Otázky u obhajoby:

  1. I did not understand the intuition behind the selection of the next candidate function in the perfblowing loop. Could you please explain this in more detail (perhaps using an example)?
  2. How did you determine the configurations for the experiments? Was it empirical or did you perform some measurements?
  3. How do you propose optimizing conditional wait?
  4. What time domain did you use? Define performance in context of your work?
  5. Did you try to contact the authors of the thirdparty benchmarked code?
  6. One of your benchmark got stuck after injecting sufficient amount of noise. What do you think was the reason for this behavior?

Jazyk práce

angličtina

Fakulta

Fakulta informačních technologií

Ústav

Ústav inteligentních systémů

Studijní program

Informační technologie a umělá inteligence (MITAI)

Specializace

Verifikace a testování software (NVER)

Složení komise

prof. Ing. Tomáš Vojnar, Ph.D. (předseda)
doc. Mgr. Adam Rogalewicz, Ph.D. (místopředseda)
doc. RNDr. Milan Češka, Ph.D. (člen)
doc. Ing. Vladimír Drábek, CSc. (člen)
Dr. Ing. Petr Peringer (člen)
Ing. Aleš Smrčka, Ph.D. (člen)

Posudek vedoucího
Ing. Tomáš Fiedor, Ph.D.

Známka navržená vedoucím: A

Soubor vložený vedoucím Velikost
Hodnocení vedoucího [.pdf] 85,94 kB

Posudek oponenta
Ing. Viktor Malík, Ph.D.

Známka navržená oponentem: B

Soubor vložený oponentem Velikost
Posudek oponenta [.pdf] 88,29 kB

Odpovědnost: Mgr. et Mgr. Hana Odstrčilová