Zum Inhalt springen
Technische Universität München

Programmoptimierung (IN2053)

Vortragende/r (Mitwirkende/r)
Florian Zuleger [L]
Florian Sextl
Nummer 0240795803
Art Vorlesung mit integrierten Übungen
Umfang 6 SWS
Semester Wintersemester 2026/27
Unterrichtssprache English
Stellung in Studienplänen Siehe TUMonline
Termine Siehe TUMonline

Teilnahmekriterien

Siehe TUMonline
Anmerkung: see http://www21.in.tum.de/~lammich/program_optimization/

Beschreibung

Die Vorlesung beginnt mit grundlegenden Datenfluss-Analysen wie Verfügbarkeit
von Ausdrücken und Lebendigkeit von Variablen zusammen mit den optimierenden
Transformationen, die durch diese Informationen ermöglicht werden. Motiviert
durch diese Beispiele wird die notwendige Theorie über vollständige Verbände
und monotone Funktionen entwickelt, die zur Berechnung der Programm-Analysen
erforderlich ist. Anschliessend betrachten wir weitere elaboriertere Analysen
etwa zur Konstantenpropagation. Mit der Intervall-Analyse diskutieren wir
Methoden, die auch in dem Fall anwendbar sind, wenn die gewöhnliche Fixpunkt-
Iteration nicht terminiert . Weitere Themen sind:
- interprozedurale Analyse;
- Pointeranalysen;
- Fixpunkt-Algorithmen.
Weiterhin betrachten wir Hardware-spezifische Optimierungstechniken wie etwa:
- Registerverteilung;
- Instruktionsselektion;
- Instruction Sceduling
sowie Techniken zur besseren Ausnutzung von Caches.

Inhaltliche Voraussetzungen

see http://www21.in.tum.de/~lammich/program_optimization/

Lehr- und Lernmethoden

Bachelor Informatik; Grundkenntnisse in Programmiersprachen oder Compiler.

Links

To top