Fortgeschrittener Compilerbau
- Bereich
- Robotik, Computational and Computer Engineering
- Fachrichtung
- Technische Informatik, Elektrotechnik/Datentechnik
- Art
- Vorlesung V3
- Dozent/Prüfer
- Florian Stock
- Betreuer
- Julian Oppermann, Lukas Sommer
- Voraussetzungen
- Grundkenntnisse Compilerbau (aus Compiler 1/Einführung Compilerbau), Algorithmen und Datenstrukturen, Java, Rechnerarchitektur (erworben z.B. durch Technische Grundlagen der Informatik)
- 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. Vorgestellt werden Analysen und Transformationen dieser Darstellungen mit dem Ziel, optimierten Maschinen-Code zur Ausführung auf modernen Prozessoren zu erhalten. Der behandelte Stoff wird in Übungsblättern, deren Bearbeitung freiwillig ist (keine Abgabe), sowohl in theoretischen als auch praktischen Aufgaben vertieft.
- Literatur
- • Engineering a Compiler von Keith D. Cooper, Linda Torczon (2. Auflage!)
• Advanced Compiler Design and Implementation von Steven S. Muchnick
• Compilers: Principles, Techniques, and Tools (2. Auflage!) von Aho, Lam, Sethi und Ullman
• sowie ausgewählte wissenschaftliche Veröffentlichungen (siehe unten)
- Credits
- 5,0 CP
- Zeit
- • Dienstags, 16:15-17:55 Uhr
• Donnerstags, 11:40-13:20 Uhr - Ort
- S2|02 / C110
- Beginn
- 16.04.2019
- Sprechstunde
- Freitags 14-15 Uhr, A313
- Moodle
- Moodle-Kurs
Vorlesungsfolien
1. Block: Übersetzung objektorientierter Sprachen am Beispiel von Bantam Folien2. Block: Datenflussanalyse Folien
3. Block: SSA-Form und CFG-SSA Wandlung Folien
4. Block: Rückwandlung aus der SSA-Form Folien
5. Block: Redundanzeliminierung Folien
6. Block: Partielle Redundanz und ihre Eliminierung Folien
Aufzeichnungen
Die Folien und der Vortrag werden bis auf weiteres aufgezeichnet. Dabei kann es gelegentlich durch die Tücke der Technik zu Störungen oder Ausfällen kommen. Wir bitten diese zu entschuldigen und hoffen, sie in erneuten Durchgängen zu vermeiden. Die Aufzeichungen selbst sind platzsparend im H.264-Format komprimiert. Zum Abspielen empfehlen wir VLC. 16.04.201930.04.2019
02.05.2019
07.05.2019
09.05.2019
14.05.2019 Wegen technischer Probleme alte Aufnahme
16.05.2019
21.05.2019
28.05.2019
04.06.2019
06.06.2019
11.06.2019
Ausgewählte wissenschaftliche Veröffentlichungen als Hintergrundmaterial
Single-Pass Generation of Static Single Assignment Form for Structured LanguagesMARC M. BRANDIS and HANSPETER MÖSSENBÖCK
ACM Transactions on Programming Languages andS ystems 16(6): 1684-1698, Nov.1994 ACM Digital Library Practical Improvements to the Construction and Destruction of Static Single Assignment Form
BRIGGS, COOPER, HARVEY, SIMPSON
SOFTWARE PRACTICE AND EXPERIENCE, VOL. 28(8), 1-28 (July 1998) Wiley Online Library Efficiently computing static single assignment form and the control dependence graph
CYTRON, FERRANTE, ROSEN, WEGMAN, ZADECK
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 13 , Issue 4 (October 1991) ACM Digital Library Value Numbering
BRIGGS, COOPER, SIMPSON
SOFTWARE—PRACTICE AND EXPERIENCE, VOL. 27(6), 701-724 (JUNE 1997) Wiley Online Library