Abstrakte Maschinen
194.160 VU 6.0 ECTS

Termin

Die Vorlesung und die Übung werden im Sommersemester 2024 wieder in Präsenz abgehalten. Sie finden jeden Donnerstag um 15:05 (pünktlich) im Hörsaal EI 3A im alten Elektrotechnischen Institut in der Gußhausstraße 25 im 2. Stock statt. Die erste Vorlesung (mit Vorbesprechung) findet am 7. März 2024 um 15:15 im Hörsaal EI 3A im alten Elektrotechnischen Institut in der Gußhausstraße 25 im 2. Stock, statt. Auf allgemeinen Wunsch kann der Termin der Vorlesung geändert werden. Aufzeichnungen der Vorlesung aus dem letzten Jahr finden sich auf BigBLueButton. Das Skriptum ist online verfügbar. Einige Teile sind nur von innerhalb der TU Wien oder mittels VPN erreichbar. Beim Präsentationstermin am 27. Juni 2024 werden Fragen zum Stoff beantwortet werden. Fragen zum Stoff können auch per email gestellt 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 27. Juni 2024. Mündliche Prüfung nach Vereinbarung. Eine Prüfungsvorbereitung und Stoffwiederholung gibt es beim Präsentationstermin am 27. Juni 2024.

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
• Dalvik Internals
• 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
KarelTheRobot.java and KarelTheRobot.java with line numbers

Ü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. Informatik
• Bakk. Software & Information Engineering
• Bakk. Technische Informatik