TU Wien:Dynamic Compilation Dynamische Übersetzer VU (Krall)

Aus VoWi
Wechseln zu: Navigation, Suche


Daten[Bearbeiten]

Vortragende Krall, Andreas
ECTS 3
Abteilung Forschungsbereich Compilers and Languages
Wann Sommersemester
Links tiss:185A50, Homepage
Zuordnungen
Master Logic and Computation Wahlmodul Programming Languages and Verification
Master Software Engineering & Internet Computing Wahlmodul Computersprachen und Programmierung

Mattermost: Channel "dynamic-compilation-dynamische-uebersetzer" Team invite & account creation link Mattermost-Infos

Inhalt[Bearbeiten]

Adaptive Laufzeitsysteme bei Just-In-Time Compiler (CACAO, HotspotVM, JikesRVM, ...) und Tracer (Dynamo, HotpathVM, TraceMonkey, ...). Ausserdem wurde Linear Scan Register Allocation ausfuehrlich behandelt.

Ablauf[Bearbeiten]

Es gibt ein Treffen pro Woche, allerdings nur bis ~Mai. Das sind im wesentlichen Vorlesungseinheiten, in denen Papers aus den entsprechenden Gebieten praesentiert werden. Im Gegensatz zu den anderen Krall Vorlesungen, haben wir uns in der Vorbesprechung dazu geeinigt, dass es keine Papersammlung zu kaufen gibt, sondern die PDFs einfach online gestellt werden (siehe LVA Homepage).

Parallel zum Vorlesungsteil, gibt es einen Uebungsteil. Das Thema kann selbst gewaehlt werden, soll aber passend zu den vorgestellten Themen in der Vorlesung sein. Durch die vorhandene Expertise bei der CACAO VM, bieten sich kleine Projekte eben dort an.

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten]

Abstrakte Maschinen, Uebersetzerbau und Codegeneratoren waeren nicht verkehrt.

Vortrag[Bearbeiten]

Typischer Krallvortrag.

Übungen[Bearbeiten]

50 Stunden pro Student, es koennen Einzelarbeiten oder Gruppenarbeiten ausgemacht werden. Am Ende des Semesters muss dann eine kurze Praesentation ueber die Ergebnisse der Arbeit gemacht werden.

Prüfung, Benotung[Bearbeiten]

Wieder eine typische Krallpruefung. Die Ueberschriften von Papers werden gefragt und man sollte dazu ein wenig etwas erzaehlen koennen.

SS2019[Bearbeiten]

Wie schon angemerkt ändert sich der Prüfungstyp so gut wie nicht. Es ist ein sehr gemütliches Gespräch und wenn man die Artikel gelesen und die Vorlesung besucht hat, sollte dem "sehr gut" nichts im Wege stehen. Wir waren zu zweit und haben je 3 Fragen b.z.w. Stichwörter bekommen zu denen man etwas erzählen sollte.

  • Was ist OSR ?
  • Welche Arten von Profiling gibt es ?
  • Was ist LSRA ?
  • Welche verschiedene Typen gibt es von LSRA ?
  • Was ist Tracing ?
  • Vergleich von Trace based JITs zu Method based JITs ?

Prüfung war in ca. 20 Minuten beendet.

Dauer der Zeugnisausstellung[Bearbeiten]

SS2012: drei Minuten :-)

SS2019: zehn Minuten

Zeitaufwand[Bearbeiten]

je nach dem wie man es mit seinem Projekt uebertreibt, ist es hoch oder gering. Fuer die Pruefung reicht es die Papersammlung einmal durchzulesen und sich die wichtigsten Aussagen der Papers zu merken.

Unterlagen[Bearbeiten]

siehe LVA HP und Materialien.

Tipps[Bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten]

noch offen