Performanzabschätzung von parallelen Programmen durch symbolische Ausführung: Unterschied zwischen den Versionen

Aus SDQ-Institutsseminar
(Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Janis Estelmann |email=ufddy@student.kit.edu |vortragstyp=Masterarbeit |betreuer=Marc Aurel Kiefer |termin=Institutsseminar/2018-11-23…“)
 
(kein Unterschied)

Aktuelle Version vom 19. November 2018, 00:55 Uhr

Vortragende(r) Janis Estelmann
Vortragstyp Masterarbeit
Betreuer(in) Marc Aurel Kiefer
Termin Fr 23. November 2018
Vortragsmodus
Kurzfassung Das Ziel dieser Arbeit war es, einen Entwickler dabei zu unterstützen, in einer Anwendung Schleifen mit Parallelisierungspotential zu finden. Hierzu wurde das auf der Compiler-Infrastruktur LLVM aufbauende Test-Programm KLEE erweitert. Mit Hilfe von symbolischer Ausführung werden Variablenbelegungen bestimmt, die zu hohen Ausführungskosten bei einem Pfad führen. Durch die Analyse der Pfade auf Hot-Spots, also Bereiche, die besonders hohe Kosten verursachen, wird es einem Entwickler ermöglicht, gezielt diese auf ihr Parallelisierungspotential zu untersuchen.