Zpět na vyhledávání

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 …more
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 …more
 

Keywords

static analysis static slicing slicing multi-threaded programs program dependence graph system dependence graph interference dependence control dependence LLVM
 
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

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.
All theses