Vorlesung: Ausgewählte Kapitel aus dem Übersetzerbau

SS 2004

Dr. Sabine Glesner

Termine: jeweils Donnerstag, 9:45-11:15 (22.4.-22.7.04), HS -101 (Info)

Inhalt: Die Vorlesung gliedert sich in vier Teile. Im ersten Teil werden Programmanalysen besprochen. Der zweite Teil gibt einen Überblick über Werkzeuge zur Übersetzerkonstruktion. Mittelpunkt des dritten Teils sind SSA(static single assignment)-basierte Zwischensprachen und die auf ihnen möglichen Optimierungen. Der vierte Teil behandelt parallele Programme, Vektorisierung und Implementierungen von Parallelität.

Organisation: Im Laufe des Semesters werden die Folien der Vorlesung auf dieser Webseite zum Herunterladen zur Verfügung stehen. Der erste Teil der Vorlesung, Programmanalysen, richtet sich nach dem Buch von Nielson, Nielson, Hankin (siehe www.imm.dtu.dk/~riis/ppa.htm für weitere Informationen).

Literatur zum Thema Cacheoptimierung befindet sich auf dieser Seite.

Nr.	Termin	Thema	Folien
		Teil 1: Programmanalysen	UeBau2-SS04-Einleitung-X1.pdf, UeBau2-SS04-Einleitung-X4.pdf,
1	22.04.04	Einleitung; Vorwärtsanalysen
2	29.04.04	Vorwärtsanalysen; Rückwärtsanalysen
3	06.05.04	Monotone Rahmenwerke, Algorithmen zur Datenflussanalyse
		Teil 2: SSA-Darstellungen
4	13.05.04	SSA Auf- und Abbau	Folien1-X1.ps, Folien1-X4.ps
5	27.05.04	Fortsetzung SSA Auf- und Abbau
6	03.06.04	Optimierungen auf SSA-Form	Folien2-X1.ps, Folien2-X4.ps
7	17.06.04	Speicher-SSA; Globale kontextsensitive Wertanalyse	Folien3-X1.ps, Folien3-X4.ps, Folien4-X1.ps, Folien4-X4.ps
		Teil 3: Parallelität
8	24.06.04	Cache-Optimierungen	Folien5-X1.ps, Folien5-X4.ps
9	01.07.04	Fortsetzung Cache-Optimierungen
10	08.07.04	Weitere Optimierungen	Folien6-X1.ps, Folien6-X4.ps
11	15.07.04	Nebenläufige Sprachen	Folien7-X1.ps, Folien7-X4.ps
		Teil 4: Verifikation von Übersetzern
12	22.07.04	Verifikation von Übersetzern	CompilerVerifikation-X1.pdf, CompilerVerifikation-X4.pdf