Bc. Lukáš Tomovič
Master's thesis
Slicing of Parallel Programs
Slicing of Parallel Programs
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 20. 5. 2019
Identifier:
https://is.muni.cz/th/o1s3u/
Thesis defence
- Date of defence: 20. 6. 2019
- Supervisor: doc. RNDr. Jan Strejček, Ph.D.
- Reader: RNDr. Vladimír Štill
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
Static analysis of Python code
Jakub Kiska -
Custom Roslyn Tool for Static Code Analysis
Zuzana Dankovčíková -
The Static Analysis and Sensitivity Study of the Car-latch Tensile Strength
Venkatesh Nagarajan Kamaladevi -
Static Analysis Using the Meta Infer Framework to Detect Data Races
Lucie Svobodová -
Evaluating Reliability of Static Analysis Results Using Machine Learning
Tomáš Beránek -
Analysis of Static and Dynamic Investment Strategies
Yuchun Zhou -
Static Code Analysis Tool for the Apex Programming Language
Belek Omurzakov -
Advanced Static Performance Analysis Using Meta Infer
Ondřej Pavela