Performanzabschätzung von parallelen Programmen durch symbolische Ausführung

Aus SDQ-Institutsseminar
Version vom 18. November 2018, 23:55 Uhr von Janis Estelmann (Diskussion | Beiträge) (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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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.