Vorlesungsankündigung

(Wintersemester 2003/2004)

Prof. Dr. Helmut Seidl:

Programm-Optimierung

Prof. Dr. Helmut Seidl - Sprachen und Beschreibungsstrukturen in der 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.

Zielgruppe: Die Vorlesung richtet sich an Studierende des Hauptstudiums, die sich für Compiler-Technologie interessieren. Sie gehört zur praktischen Informatik.

Termine:

Vorlesung:
Montag 13-15 Uhr,
Donnerstag 10-12 Uhr

Übung:
Freitag 10-12 Uhr

Raum: 02.07.023
Übungsblätter:
BlattAusgabeterminAbgabeterminWird besprochen am
1 ps, pdf27.10.20033.11.20037.11.2003
2 ps, pdf3.11.200310.11.200314.11.2003
3 ps, pdf10.11.200317.11.200321.11.2003
4 ps, pdf17.11.200324.11.200328.11.2003
5 ps, pdf24.11.20031.12.20035.12.2003
Materialien:

Die Vorlesung wird live ins Internet übertragen und ausserdem aufgezeichnet. Um sie sich anzuschauen, benötigt man das TTT Teleteaching tool.