Termin

Die Vorlesung und die Übung werden im Sommersemester 2025 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 4. März 2025 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 24. Juni 2025.

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:

• CACAO Virtual Machine
• Dynamic Compilation Tutorial
• Inlining and OSR
• Stack Allocation of Objects
• Fast Instruction Set Simulation
• A trace-based Java JIT compiler retrofitted from a method-based compiler
• Tracing the Meta-Level: PyPy's Tracing JIT Compiler

Folgende Artikel sind Stoff der Vorlesung:

• CACAO Virtual Machine
• Adaptive Optimization in the Jalapeno JVM
• Adaptive Optimization Survey
• Java Hotspot Client Compiler
• Inlining and OSR
• Stack Allocation of Objects
• Linear Scan Register Allocation
• Second Change Binpacking
• Optimized Intervall Splitting in LSRA
• LSRA on SSA Form
• Dynamo
• DynamoRIO
• Fast Instruction Set Simulation
• Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator
• HotpathVM: an effective JIT compiler for resource-constrained devices
• Trace-based just-in-time type specialization for dynamic languages
• Tracing the meta-level: PyPy's tracing JIT compiler
• A trace-based Java JIT compiler retrofitted from a method-based compiler

Links

Hier sind einige Links auf behandelte Systeme:

• CACAO VM
• Jikes RVM
• DynamoRio
• Hotpath VM
• QEMU
• PyPy

Anrechnung

Für folgende Studien ist Dynamic Compilation eine Wahllehrveranstaltung:

• Master Computational Intelligence
• Master Software Engineering & Internet Computing