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 18. November 2018, 23:55 Uhr
| Vortragende(r) | Janis Estelmann | |
|---|---|---|
| Vortragstyp | Masterarbeit | |
| Betreuer(in) | Marc Aurel Kiefer | |
| Termin | Fr 23. November 2018, 11:30 (Raum 348 (Gebäude 50.34)) | |
| Vortragssprache | ||
| 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. | |