Achtung: Grosses Treffen aller Compilerbauer am Freitag den 31.07.09 ab 18h im Vogelbräu Biergarten in der Nähe des Durlacher Tors.
Das erste Bier zahlen wir!Themen
- Ausgewählte Kapitel aus dem Übersetzerbau (Fortführung von Übersetzerbau im WS)
- Fortgeschrittene Programmanalysetechniken: Dominanz, Datenfluss, Programmslicing, Abstrakte Interpretation, Interprozedurale Analyse
- Modelierung von Speicherzugriffen und Backends in der SSA-Form
- Registerzuteilung auf SSA-Form Programmen
- Cache-Optimierungen
- Schleifentransformationen
Voraussetzung ist der vorangegangene Besuch von Sprachtechnologie und Compiler I
Einige der Materialien sind nur innerhalb des Universitätsnetzwerks zugänglich. Um auf das Material von zu Hause zuzugreifen kann man sich mit seinem Rechenzentrums-Account einen VPN-Tunnel einrichten.
Termin
| Datum | Ort | Thema | Unterlagen |
|---|---|---|---|
| 21.4. (9:45h) | -108 | Einführung, Verbandstheorie | [PDF] [PDF] |
| 28.4. (9:45h) | -108 | Galoisverbindungen, Dominatoren | [PDF] |
| 5.5. (9:45h) | -108 | Dominatoren, Satz von Rice | [PDF] |
| 12.5 (9:45h) | -108 | Datenflußanalyse, PDG | [PDF] |
| 19.5. (9:45h) | -108 | Datenflußanalyse | [PDF] |
| 26.5. (9:45h) | -108 | Datenflußanalyse (MFP/MOP) | [PDF] [PDF] |
| 2.6. (9:45h) | -108 | Datenflußanalyse | [PDF] [PDF] |
| 9.6. (9:45h) | -108 | Interprozedurale Analyse | [PDF] |
| 9.6. (14:00) | Raum 131 | Verschobene Vorlesung - Interprozedurale Analyse | |
| 16.6. (9:45h) | -108 | Verschobene Übung (keine Vorlesung) | |
| 23.6. | -108 | entfällt | |
| 30.6. (9:45h) | -108 | Abstrakte Interpretation | [PDF] |
| 7.7. (9:45h) | -108 | SSA-Form | [PDF] |
| 14.7. (9:45h) | -108 | Backend, Registerzuteilung | [PDF] |
| 14.7. (14:00h) | -118 | Registerzuteilung | |
| 21.7. (9:45h) | -108 | Spezielle Optimierungen | [PDF] |
Literatur
Lehrbücher
Zusätzliches Material
Registerallokation
- Chaitin: Register allocation & spilling via graph coloring
- Briggs, Cooper, Torczon: Improvements to graph coloring register allocation
- Poletto, Sarkar: Linear scan register allocation
- Traub, Holloway, Smith: Quality and Speed in Linear-scan Register Allocation
- Wimmer, Mössenböck: Optimized interval splitting in a linear scan register allocator
- Hack: Register Allocation for Programs in SSA Form
Veranstalter
| Lehrstuhlinhaber |
|---|
| Prof. Gregor Snelting |