Abstrakte Maschinen
185.966 VO 3.0 ECTS
185.A49 UE 3.0 ECTS

Termin

Die Vorlesung und die Übung werden im Sommersemester 2021 abgehalten. Auf Grund der Coronavirusepiemie werden alle Vorlesungstermine online mittels BigBLueButton (browserbasiert, am besten mit Chrome) jeden Donnsertag um 15:05 abgehalten. Das Skriptum ist online verfügbar. Einige Teile sind nur von innerhalb der TU Wien oder mittels VPN erreichbar. Beim Präsentationstermin am 24. Juni 2021 werden Fragen zum Stoff beantwortet werden. Fragen zum Stoff können auch per email gestellt werden. Die erste Vorlesung (mit Vorbesprechung) findet am 4. März 2021 um 15:15 online statt. Auf allgemeinen Wunsch kann der Termin der Vorlesung geändert werden.

Prüfung

Die Beurteilung erfolgt durch eine mündliche Prüfung und die Beurteilung der Übungsaufgaben und der dazugehörenden Präsentationen. Der Präsentationstermin ist am 24. Juni 2021. Mündliche Prüfung nach Vereinbarung. Eine Prüfungsvorbereitung und Stoffwiederholung gibt es beim Präsentationstermin am 24. Juni 2021.
Auf Grund der Einschränkungen durch die Coronaepidemie finden die Präsentationen und die Prüfungen online mittels BigBLueButton statt. BigBLueButton kann mittels Browser (am besten Chrome) verwendet werden. Es sollte eine ausreichend gute Internetverbindung vorhanden sein. Mailen Sie bitte alle Präsentationen bis zum 23. Juni an mich, damit die Präsentationen von mir hochgeladen werden können. Der Link für das OnlineMeeting ist ident mit dem der Vorlesung. Sollte eine Online-Prüfung unerwünscht sein, kann ich auch eine Prüfung im Resselpark anbieten.

Inhaltsangabe

Aufbau von Interpretern, Zwischencodes, Prozesssorarchitekturen, Interpretationstechniken (threaded code), Implementierung von Forth, das Pascal P4 System, die Java Virtuelle Machine, Microsoft Intermediate Language, Registermaschinen und die DalvikVM, sytaxgesteuerte Editoren und Baummaschinen, Prologmaschinen (WAM, VAM), Implementierung funktionaler Sprachen (SECD Maschine)

Lernziel

Der Studierende soll das Wissen und die Fähigkeit erwerben, abstrakte Maschinen und ihre Interpreter zu entwickeln.

Vorausgesetzte Kenntnisse

Die Kenntnisse aus der VU Übersetzerbau werden vorausgesetzt. Es ist ausreichend, wenn Übersetzerbau gleichzeitig besucht wird.

Ergänzende Lehrveranstaltungen

Dynamic Compilation und Codegeneratoren (wird im Wintersemester abgehalten)

Unterlagen

Das Skriptum steht online zur Verfügung.

• Mikroprozessoren
• Mikroarchitektur von Prozessoren
• Threaded Code
• Pascal P4 Machine
• Java Virtual Machine
• CACAO Virtual Machine
• Efficient JavaVM Just-in-Time Compilation
• Common Language Runtime
• Baummaschinen
• Stack vs Register Maschinen
• Prolog Maschinen
• Vienna Abstract Machine
• Lamda Kalkül und SECD Maschine

Folgende Folien zur Vorlesung stehen zur Verfügung:

• Mikroprozessoren
• Mikroarchitektur von Prozessoren
• Threaded Code
• Pascal P4 Machine
• CACAO Virtual Machine
• Baummaschinen
• Stack vs Register Maschinen
• Prolog Maschinen

Software

VAM2p Sourcen

Übungsprojekte

Hier gibt es Informationen über einige alte Übungsprojekte:

• SSA Interpreter
• Übersetzerbau'14 Interpreter
• JVM Interpreter
• Einfache Sprache auf JVM
• Python Interpreter in Go
• Übersetzerbau'15 Truffle
• Chichol VM
• Blindschleiche
• Minimaler MIPS Prozessor
• C Interpreter in Python
• 8080 Interpreter in JavaScript
• NaCI
• Ringelnatter

Anrechnung

Für folgende Studien ist Abstrakte Maschinen eine Wahllehrveranstaltung:

• Bakk. Technische Informatik
• Bakk. Software & Information Engineering