Zpět na vyhledávání

Bc. Jindřich Sedláček

Bachelor's thesis

May-Happen-in-Parallel Analysis for Slicing of Parallel Programs

May-Happen-in-Parallel Analysis for Slicing of Parallel Programs
Abstract:
Tato práce prezentuje přehled may-happen-in-parallel analýzy v kontextu statického prořezávání programů. Vysvětlujeme koncepty statického prořezávání programů a may-happen-in-parallel analýzy a uvádíme souhrn existujících přístupů k may-happen-in-parallel analýze. Popisujeme náš algoritmus pro may-happen-in-parallel analýzu a jeho implementaci do DG, nástroje pro statické prořezávní programů. Nakonec …more
Abstract:
This thesis presents an overview of may-happen-in-parallel analysis in the context of static program slicing. We explain the concepts of static program slicing and may-happen-in-parallel analysis and give a summary of existing may-happen-in-parallel analysis techniques. We then describe our algorithm for may-happen-in-parallel analysis and its implementation into the static slicer DG. Finally, we evaluate …more
 

Keywords

may-happen-in-parallel slicing static slicing multi-threaded programs C POSIX threads LLVM
 
Language used: English
Date on which the thesis was submitted / produced: 19. 12. 2023
Identifier: https://is.muni.cz/th/he6cd/

Thesis defence

  • Date of defence: 16. 2. 2024
  • Supervisor: prof. RNDr. Jan Strejček, Ph.D.
  • Reader: prof. RNDr. Jiří Barnat, Ph.D.

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

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.