Mgr. Vladimír Štill

Rigorózní práce

Memory-Model-Aware Analysis of Parallel Programs

Memory-Model-Aware Analysis of Parallel Programs
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
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 1. 12. 2017

Obhajoba závěrečné práce

  • Obhajoba proběhla 16. 1. 2018
  • Oponent: RNDr. Petr Švenda, Ph.D., prof. Ing. Tomáš Vojnar, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky