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:

• CACAO Virtual Machine
• Dynamic Compilation Tutorial
• Inlining and OSR
• Stack Allocation of Objects
• A trace-based Java JIT compiler retrofitted from a method-based compiler
• Fast Instruction Set Simulation

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
• HotpathVM: an effective JIT compiler for resource-constrained devices
• Trace-based just-in-time type specialization for dynamic languages
• A trace-based Java JIT compiler retrofitted from a method-based compiler
• Fast Instruction Set Simulation
• Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator

Links

Hier sind einige Links auf behandelte Systeme:

• CACAO VM
• Jikes RVM
• DynamioRio
• Hotpath VM
• QEMU

Anrechnung

Für folgende Studien ist Dynamic Compilation eine Wahllehrveranstaltung:

• Master Computational Intelligence
• Master Software Engineering & Internet Computing