Optimierende Compiler
- Bereich
- Computer Microsystems
- Fachrichtung
- Technische Informatik, Elektrotechnik/Datentechnik
- Art
- IV4 oder V3 (siehe unten)
- Dozent
- Andreas Koch
- Voraussetzungen
- Grundkenntnisse Algorithmen und Datenstrukturen, Java, Rechnerarchitektur (erworben z.B. durch Technische Grundlagen der Informatik II)
- Inhalt
- Die komplizierten Architekturen moderner Prozessoren können in der Praxis nur noch durch den Einsatz hochgradig optimierender Compiler ausgenutzt werden. Innerhalb dieser Compiler hat sich daher stetig die Komplexität von der Erkennung der Quelltexte hin zu deren möglichst effizienter Umsetzung in Maschinen-Code verschoben. In der Lehrveranstaltung geht es um eine praktische Einführung in die dafür benötigten Algorithmen und Datenstrukturen. Nach einem Überblick über fundamentale Techniken wie Lexing und Parsing werden abstrakte Syntaxbäume und andere Zwischendarstellungen vorgestellt. Im Anschluss geht es dann um Analyse und Transformation dieser Darstellungen mit dem Ziel, optimierten Maschinen-Code zur Ausführung auf modernen Prozessoren zu erhalten. In einem begleitenden Programmierprojekt wird ein bestehender Compiler in Java schrittweise erweitert.
- Literatur
- • Programming Language Processors in Java von David Watt und Deryck Brown
• Engineering a Compiler von Keith D. Cooper, Linda Torczon
• Advanced Compiler Design and Implementation von Steven S. Muchnick
• Ausgewählte wissenschaftliche Veröffentlichungen
- Credits
- 6.0 CP bei Teilnahme auch am praktischen Teil (Aufgaben, Kolloquien, Vorträge), 4.5 CP bei Beschränkung auf die Vorlesung
- Zeit
- • Dienstags, 16:15-17:55 Uhr
• Donnerstags, 11:40-13:20 Uhr - Ort
- • Dienstags S2|02/C110
• Donnerstags S2|02/C120 - Beginn
- 01.04.2008
- Anmeldung
- Für diese Veranstaltung ist eine Anmeldung bis zum 15.04.2008, 18:00 Uhr, über das WebReg System unbedingt erforderlich.
- Prüfung
- Die Prüfung erfolgt vorlesungsbegleitend in Form von zwei Teilprüfungen (V3) bzw. einer Teilprüfung und dem benoteten Programmierprojekt (IV4). Die erste Teilprüfung wird am 19.5. von 14:00-17:00 Uhr und 20.5. von 13:00-16:00 Uhr abgenommen. Sie können sich in der Vorlesung oder bei der Sekretärin des FG ESA in einen der 20-minütigen Zeit-Slots eintragen. Für die Hörer der V3-Variante wird die zweite Teilprüfung am 2.7. zwischen 15:00-18:00 Uhr abgenommen. Hier gilt das gleiche Verfahren. Bitte stellen Sie in jedem Fall sicher, dass Sie sich unabhängig davon, Ihrer Studienordnung entsprechend, rechtzeitig bei der für Sie zuständigen Stelle (ZPS, Fachbereich, etc.) zur Prüfung angemeldet haben!
Vorlesungsfolien

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1

Farbig, 1-auf-1 Mit Animationen, Farbig, 1-auf-1
Aufgaben für praktische Programmierarbeiten




An die vier Pflichtaufgaben schliesst sich eine optionale Verbesserungsphase an, in der die Kommentare aus dem vierten Kolloquium noch berücksichtigt werden können. Hier könnten Sie auch weitergehende Optimierungen (z.B. DEAD und CLEAN) für eine potenzielle Notenverbesserung realisieren. Aber Obacht: Es ist besser, einen vollständig funktionierenden Compiler zu entwickeln, der nicht alle Optimierungen beherrscht, als einen, der zwar jede Menge Optimierungen kann, aber die Programme verhackstückt! Bewertet wird die letzte uns am 14.07.2008, 23:59 MET DST vorliegende Fassung des Compilers.
Materialsammlung für praktische Arbeiten

Unterstützt den vollen Triangle-Sprachumfang, erweitert um Dateioperationen und höhere Speichergrenzen.
Ausgewählte wissenschaftliche Veröffentlichungen als Hintergrundmaterial

MARC M. BRANDIS and HANSPETER MÖSSENBÖCK
ACM Transactions on Programming Languages andS ystems 16(6): 1684-1698, Nov.1994 ACM Digital Library

BRIGGS, COOPER, HARVEY, SIMPSON
SOFTWARE PRACTICE AND EXPERIENCE, VOL. 28(8), 1-28 (July 1998) Wiley Online Library

CYTRON, FERRANTE, ROSEN, WEGMAN, ZADECK
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 13 , Issue 4 (October 1991) ACM Digital Library

BRIGGS, COOPER, SIMPSON
SOFTWARE—PRACTICE AND EXPERIENCE, VOL. 27(6), 701-724 (JUNE 1997) Wiley Online Library

DHANAJAY DHAMDHERE
ACM SIGPLAN Notices, 2002, vol. 37, no 8, pp. 53-65, hier korrigierte Fassung Dhananjay Dhamdhere's publications page - use second item

WEGMAN, ZADECK
ACM TOPLAS, 13(2), April 1991, pp. 181-210 ACM Digital Library

CLICK, COOPER
ACM TOPLAS, 17(2), März 1995, pp. 181-196 ACM Digital Library