Disertační práce

Analysis of Parallel C++ Programs

RNDr. Vladimír Štill, učo 373979
Anotace

Pokud chceme plně využívat výpočetních možností dnešních počítačů, je třeba využívat paralelní software. To s sebou přináší mnohé dodatečné problémy, se kterými se programátoři nesetkají při vývoji sekvenčních programů. Tato práce prezentuje několik vylepšení v oblasti analýzy paralelních programů v programovacím jazyce C++, obzvlášť pak v oblasti hledání těžko odhalitelných chyb.

První přínos …více

Abstract

Parallel software offers a promise of full utilisation of modern hardware. Unfortunately, building a parallel program presents some additional challenges for the programmers. In this thesis, we introduce some improvements to the analysis of parallel C++ programs. In particular, we aim to help with the discovery of hard-to-find bugs.

As our first contribution, we deal with some of the problems …více

Klíčová slova
program analysis software verification C++ DIVINE LLVM parallelism concurrency relaxed memory memory models exceptions termination program transformation implementation
Administrativní informace
Práce zkontrolována:
17. 8. 2020 08:38, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
1,3 MB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
3. 12. 2020
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponenti

Prof. Jaco van de Pol
Aarhus University, Denmark
prof. Ing. Tomáš Vojnar, Ph.D., učo 134390
KPSK FI MU, FIT VUT v Brně
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika (čtyřleté)
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.