Programmanalyse und Compileroptimierung

Wintersemester 2004

Diplomstudiengang Informatik, Masterstudiengang Software Systems Engineering
(Theoretische Informatik, Vertiefungsfach)

Termine

Art	Zeit	Ort	Beginn	Veranstalter
V	Mi 10:00-11:30 Fr 10:00-11:30	AH II AH II	13.10.2004	Indermark
Ü	Mi 14:15-15:45	AH II	20.10.2004	Stolz

Klausur

[ps] Ergebnisse der Klausur (nur zugänglich innerhalb der Domain rwth-aachen.de). Die Übungsscheine können ab März im Sekretariat des Lehrstuhls abgeholt werden.

Inhalt

Die Konstruktion von effizienten Software-Werkzeugen, z.B. von optimierenden Compilern, erfordert die Kenntnis semantischer Programmeigenschaften. Diese können mit Methoden der Programmanalyse berechnet und für geeignete Programmtransformationen und -übersetzungen ausgenutzt werden.

In dieser Vorlesung sollen grundlegende Analysetechniken für imperative Programmiersprachen und ihre Anwendung auf die Compileroptimierung behandelt werden:

Analyse und Optimierung von Straight-Line Code
Datenflußanalyse und Optimierung iterativer Programme
Kontrollflußanalyse und Schleifenoptimierung
Interprozedurale Analyse
Shape-Analyse von Programmen mit dynamischen Datenstrukturen

Diese Vorlesung kann unabhängig von der Vorlesung Compilerbau besucht werden!

Folien

Kap. 0: Einführung
Kap. 1: Einführung
Kap. 2: Analyse und Optimierung von Straight-Line-Code
Kap. 4: Datenflußanalyse und Optimierung iterativer Programme
Kap. 5: Kontrollflussanalyse und Schleifenoptimierung
Kap. 6: Interprozedurale Analyse
Kap. 7: Shape-Analyse

Übungen

1. Übung
2. Übung
3. Übung
4. Übung
5. Übung
6. Übung
7. Übung
8. Übung
9. Übung
10. Übung
11. Übung
12. Übung

Literatur

F. Nielson, H.R. Nielson, C. Hankin: Principles of Program Analysis, Springer-Verlag, 1999
Steven S. Muchnik: Advanced Compiler Design and Implementation, Morgan Kaufmann, 1997
Steven S. Muchnik, Neil D. Jones: Program Flow Analysis, Prentice Hall, 1981
R. Wilhelm, D. Maurer: Übersetzerbau, Springer-Verlag, 1992
A. Aho, R. Sethi, J.Ullman: Compilers - Principles, Techniques, and Tools, Addison-Wesley, 1988
R. Morgan: Building an Optimizing Compiler, Digital Press, 1998
T. Fahringer, B. Scholz: Advanced Symbolic Analysis for Compilers, LNCS 2628, Springer-Verlag, 2003
R. Allen, K. Kennedy: Optimizing Compilers for Modern Architectures, Morgan Kaufmann Publ., 2002
Thomas Noll: Programmoptimierung durch Konstantenanalyse, Informatik-Kolloquium der RWTH Aachen, 24.07.2003

Volker Stolz

Disclaimer

Last modified: 2005-02-14 11:29 UTC