Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Slicing of Parallel Programs

Bc. Lukáš Tomovič
Anotace

Táto práca je zameraná na statické prerezávanie viacvláknových programov. Práca vysvetľuje statické prerezávanie programov vo všeobecnosti a potom prezentuje problematiku spojenú s prerezávaním paralelných programov. Objasňuje v súčasnosti používané metódy pre prerezávanie viacvláknových programov a implementuje ich ako rozšírenie do existujúcej knižnice DG. Táto implementácia umožňuje, aby bola DG …více

Abstract

This thesis is focused on static slicing of multi-threaded programs. We provide a reader with an explanation of static program slicing in general and after that we present problems connected with slicing of parallel programs. Work discusses nowadays used methods for solving these problems and implements them into already existing DG slicer making it capable of handling concurrent programs. Implemented …více

Klíčová slova
static analysis static slicing slicing multi-threaded programs program dependence graph system dependence graph interference dependence control dependence LLVM
Zadání práce
The verification tool Symbiotic currently uses a slicer which supports only single-threaded programs. The general aim of this thesis is to extend this slicer to handle multi-threaded programs. The extended slicer will be experimentally evaluated in the sense of achieved code reductions and, in particular, its effect on the performance of relevant verification/bug-finding tool(s) like Divine or Nidhugg will be reported.
Administrativní informace
Práce zkontrolována:
21. 5. 2019 10:59, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Plný text práce
982,7 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
20. 6. 2019
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Strejček, Ph.D., učo 3366
KTP FI MU

Oponent

RNDr. Vladimír Štill, Ph.D., učo 373979
KTP FI MU

Konzultant

RNDr. Marek Chalupa, Ph.D.
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.