https://sdq.kastel.kit.edu/api.php?action=feedcontributions&user=Ufddy%40student.kit.edu&feedformat=atomSDQ-Institutsseminar - Benutzerbeiträge [de]2024-03-29T09:55:17ZBenutzerbeiträgeMediaWiki 1.39.6https://sdq.kastel.kit.edu/mediawiki-institutsseminar/index.php?title=Performanzabsch%C3%A4tzung_von_parallelen_Programmen_durch_symbolische_Ausf%C3%BChrung&diff=793Performanzabschätzung von parallelen Programmen durch symbolische Ausführung2018-11-18T22:55:33Z<p>Ufddy@student.kit.edu: 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…“</p>
<hr />
<div>{{Vortrag<br />
|vortragender=Janis Estelmann<br />
|email=ufddy@student.kit.edu<br />
|vortragstyp=Masterarbeit<br />
|betreuer=Marc Aurel Kiefer<br />
|termin=Institutsseminar/2018-11-23<br />
|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.<br />
}}</div>Ufddy@student.kit.edu