Dynamic Compilation
185.A50 VU 3.0 ECTS
Termin
Die Vorlesung und die Übung werden im Sommersemester 2024 abgehalten.
Sie finden jeden Dienstag um
16.00 (
pünktlich)
in der Bibliothek 194-05, Argentierstrasse 8, 4. Stock
statt.
Aufzeichnungen der Vorlesung aus dem letzten Jahr finden sich
online mittels
BigBlueButton.
Die erste Vorlesung (mit Vorbesprechung) findet am 5. März 2024
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.
Der Präsentationstermin ist am 25. Juni 2024.
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
Lernziel
Der Studierende soll ein tiefgehendes Verständnis aller für dynamische
Übersetzer notwendigen Techniken erwerben und diese an konkreten
Beispielen umsetzen können.
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