Dynamic Compilation
185.A50 VU 3.0 ECTS

Termin

Die Vorlesung und die Übung werden im Sommersemester 2017 abgehalten. Sie finden jeden Dienstag um 16.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 28. Februar 2016 statt. Die erste Vorlesung (mit Vorbesprechung) findet am 7. März 2017 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äsentatiostermin ist am ??. Juni 2017 und für Java/CACAO am 27. Juni 2017.

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
• A trace-based Java JIT compiler retrofitted from a method-based compiler
• Tracing the Meta-Level: PyPy's Tracing JIT 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
• Tracing the meta-level: PyPy's tracing JIT compiler
• 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
• DynamoRio
• Hotpath VM
• QEMU
• PyPy

Anrechnung

Für folgende Studien ist Dynamic Compilation eine Wahllehrveranstaltung:

• Master Computational Intelligence
• Master Software Engineering & Internet Computing