Slicing of Parallel Programs

Bc. Lukáš Tomovič

Diplomová práce

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 knižnica používaná aj na prerezávanie paralelných programov. Implementácia zahŕňa rozšírenie analýzy ukazovateľov a analýzy dosiahnuteľných definíc o podporu rozhrania pthread, algoritmus na počítanie interferenčných závislostí a algoritmus na počítanie kontrolných závislostí citlivých na štruktúry spôsobujúce nekonečné behy programov. Záver práce popisuje testovanie implementácie a vyhodnotenie prínosu v jej použití s verifikačnými nástrojmi Nidhugg a Divine.

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 features are: extension of points-to and reaching definition analyses for handling pthread API, computation of interference dependence edges and non-termination sensitive control dependency algorithm. At the end we tested our implementation and evaluated benefit of usage of the extended slicer in verification tools Nidhugg and Divine.

Keywords

static analysis, static slicing, slicing, multi-threaded programs, program dependence graph, system dependence graph, interference dependence, control dependence, LLVM

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 20. 5. 2019

Obhajoba závěrečné práce

• Obhajoba proběhla 20. 6. 2019
• Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
• Oponent: RNDr. Vladimír Štill

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy