Rigorózní práce

Memory-Model-Aware Analysis of Parallel Programs

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

Vývoj paralelních programů přináší mnoho problémů. Důvodem je, že vyžaduje rozvažování nad interakcemi vláken a bezpečností komunikace. Testování v tomto případě příliš nepomáhá, protože není dostatečně silné na odhalení chyb závislých na plánování procesů. Situace je dále komplikována moderním hardware, který používá relaxovanou paměť: instrukce mohou být přeuspořádány a operace s pamětí mohou být …více

Abstract

Development of parallel programs comes with many pitfalls as it requires reasoning about interaction of threads and safety of communication. Furthermore, testing is not much helpful for bugs dependent on scheduling nondeterminism. To make matters worse, contemporary hardware uses relaxed memory semantics: instructions can be reordered by out-of-order execution and memory effects can be further delayed …více

Klíčová slova
relaxed memory memory models parallelism software verification program transformation LLVM C++ DIVINE implementation transformace programu relaxované paměťové modely verifikace software
Administrativní informace
Práce zkontrolována:
1. 12. 2017 12:10, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
1,2 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
16. 1. 2018
Práce byla úspěšně obhájena

Oponenti

doc. RNDr. Petr Švenda, Ph.D., učo 4085
KPSK FI MU
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
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.