Dynamic Compilation
185.A50 VU 3.0 ECTS
Termin
Die Vorlesung und die Übung werden im Sommersemester 2013 abgehalten.
Sie finden jeden Dienstag um
14.00 (
pünktlich)
in der Bibliothek 1851, Argentierstrasse 8, 4. Stock
statt. Ein mögliches Übungsthema sind Arbeiten an der CacaoVM. Dazu findet ein
Treffen am 5. März 2013 statt. Die erste Vorlesung (Vorbesprechung) findet am 12. März 2013
statt.
Prüfung
Die Beurteilung erfolgt durch eine mündliche Prüfung und die
Beurteilung der Übungsaufgaben und der dazugehörenden Präsentationen.
Mündliche Prüfung nach Vereinbarung. Die Präsentatiostermine sind am
4. Juni 2013, am 18. Juni 2013 und für Java/CACAO am 25. Juni 2013.
Inhaltsangabe
Just-In-Time Übersetzer, Befehlsauswahl für dynamische Übersetzer,
Registerbelegung für dynamische Übersetzer, trace compilation, binäre
Übersetzer, dynamische Optimierung und Deoptimierung,
Befehlssatzsimulatoren, Instrumentierung, partielle Auswertung
Lehrziel
Der Studierende soll ein tiefgehendes Verständnis aller für dynamische
Übersetzer notwendigen Techniken erwerben.
Vorausgesetzte Kenntnisse
Die Kenntnisse aus der VU Übersetzerbau werden vorausgesetzt.
Ergänzende Lehrveranstaltungen
Codegeneratoren (wird im Wintersemester abgehalten)
Optimierende Übersetzer (wird im Wintersemester abgehalten)
Analyse und Verification
Unterlagen
Folgende Folien zur Vorlesung stehen zur Verfügung:
Folgende Artikel sind Stoff der Vorlesung:
Links
Hier sind einige Links auf behandelte Systeme:
Anrechnung
Für folgende Studien ist Dynamic Compilation
eine Wahllehrveranstaltung:
- Master Computational Intelligence
- Master Software Engineering & Internet Computing