Dynamic Compilation
185.A50 VU 3.0 ECTS

Termin

Die Vorlesung und die Übung werden im Sommersemester 2018 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 6. März 2018 statt. Die erste Vorlesung (mit Vorbesprechung) findet am 13. März 2018 statt. Am 17. April und am 22. Mai ist keine Vorlesung, sondern CACAO Meeting.

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 19. Juni 2018 und für Java/CACAO am 26. Juni 2018.

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