!doctype html public "-//w3c//dtd html 4.0 transitional//en"> Vorlesung "Ausgewählte Kapitel aus dem Übersetzerbau"

Vorlesung: Ausgewählte Kapitel aus dem Übersetzerbau

SS 2005

Dr. Sabine Glesner

Übung: Lars Gesellensetter

Termine:

Vorlesung: Donnerstags, 09:45-11:15, HS  –101 (Info)
Übung: Mittwochs (14-tägig) 13:15-14:45, SR  –120 (Info) - erster Termin: 20.04.05


Inhalt: Die Vorlesung gliedert sich in vier Teile. Im ersten Teil werden Programmanalysen besprochen. Mittelpunkt des zweiten Teils sind SSA(static single assignment)-basierte Zwischensprachen und die auf ihnen möglichen Optimierungen. Der dritte Teil behandelt parallele Programme, Vektorisierung und Implementierungen von Parallelität. Im vierten Teil wird eine Überblick über Werkzeuge zur Übersetzerkonstruktion sowie über Methoden zu der Verifikation von Übersetzern gegeben.

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/ppasup2004.html für weitere Informationen).

Übungen: Zu der Vorlesung werden Übungen angeboten, die 14-tägig stattfinden (erster Termin: 20.04.05). Die Übungen bieten die Möglichkeit, die in der Vorlesung vorgestellten Themen anhand von Aufgaben zu vertiefen. Die aktuellen Aufgabenblätter finden sich auf weiter unten auf dieser Seite.

Vorlesungstermine:

<
Nr. Termin Thema Folien
    Teil 1: Programmanalysen
  1 14.04.05 Einleitung; Einführung in Datenflussanalysen 1fach   4fach
  2 21.04.05 Vorwärtsanalysen
  3 28.04.05 Rückwärtsanalysen, Monotone Rahmenwerke
  4 12.05.05 Monotone Rahmenwerke, Algorithmen zur Datenflussanalyse
    Teil 2: SSA-Darstellung
  5 19.05.05 SSA Auf- und Abbau 1fach   4fach
  6 02.06.05 Optimierungen auf SSA-Form 1fach   4fach
  7 09.06.05 Speicher-SSA 1fach   4fach
    Teil 3: Parallelität  
  8 16.06.05 Chi-Terme,
Cache-Optimierungen		 1fach   4fach
1fach   4fach
  9 23.06.05 Cache-Optimierungen
10 30.06.05 Cache-Optimierungen
11 07.07.05 Cache-Optimierungen,
Nebenläufige Sprachen
1fach   4fach
    Teil 4: Verifikation von Übersetzern  
12 14.07.05 Verifikation von Übersetzern 1fach   4fach


Übungstermine:

Nr. Termin Übungsblatt
1 20.04.05 download (2fach)
2 04.05.05 download (2fach)   Artikel für das Reading Assignment
3 18.05.05 download (2fach)   Artikel für das Reading Assignment
4 08.06.05 download (2fach)   Artikel für das Reading Assignment
5 22.06.05 download (2fach)   Artikel für das Reading Assignment
6 06.07.05 download (2fach)   Artikel für das Reading Assignment


Weiterführende Literatur:


Bemerkungen:

Es gibt hier eine Vorlesungsseite von Nielson & Nielson, auf der die Vorlesungsfolien zum Thema Programmanalysen (in einer neueren Fassung) zu finden sind.


Unter pag.cs.uni-sb.de wird das PAG (Program Analysis Generator) Projekt vorgestellt. Die Analysen lassen sich formal beschreiben, und aus dieser Spezifikation wird dann ein Algorithmus zur Analyse erstellt. Verschiedene Analysen sind schon spezifiziert und lassen sich interaktiv ausführen.


last modified: 2005-Jul-10 17:09:44