VorlesungsankündigungProgramm-Optimierung (IN2053)Prof. Dr. Helmut SeidlWintersemester 2007/2008 |
|
VorlesungsankündigungProgramm-Optimierung (IN2053)Prof. Dr. Helmut SeidlWintersemester 2007/2008 |
|
Zielgruppe:Die Vorlesung richtet sich an Studierende des Hauptstudiums bzw.\ Master-Studierenden, die sich für Compiler-Technologie interessieren. Sie gehört zur praktischen Informatik.
Programme, die wir schreiben, sollten sowohl wartbar wie effizient sein. Zur Wartbarkeit gehört insbesondere, dass das Programm gut strukturiert und lesbar ist. Gute Strukturiertheit und Lesbarkeit stehen jedoch oft im Widerspruch zu größt möglicher Effizienz bei der Programm-Ausführung.
Aus diesem Grund bieten die meisten gängigen Compiler eine Optimierungs-Phase an, in der der Compiler das zu übersetzende Programm analysiert und gegebenenfalls optimierende Transformationen vornimmt.
In einigen Fällen kommt es jedoch vor, dass die Bemühung um Optimierung über das Ziel hinaus schießt und das optimierte Programm nicht mehr genau das tut, was das ursprüngliche Programm tun sollte.
In der Vorlesung stellen wir eine Reihe von Techniken vor, um die Effizienz der Programm-Ausführung zu erhöhen. Insbesondere interessieren wir uns dabei für Methoden, die garantieren, dass das Ergebnis-Programm mit dem originalen äquivalent ist.