Performanzabschätzung von parallelen Programmen durch symbolische Ausführung: Unterschied zwischen den Versionen
(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. |