Optimierende Übersetzer
LVA 185.A04, VU 2.0, ECTS 3.0
Optimierende Übersetzer
(zweistündige Vorlesung mit Übung; angeboten regelmäßig
in Wintersemestern)
Haben Sie Interesse an einem geförderten
Auslandsstudium?
Informationen zu Fördermöglichkeiten finden Sie
hier.
Die LVA 185.A04 Optimierende Übersetzer
wird zur Zeit regelmäßig im Wintersemester eines Studienjahrs
angeboten.
Aktuelle Abhaltung
Zurückliegende Abhaltungen
Weitere allgemeine Informationen
Inhalt
- Vorlesung: Datenflussanalyse,
maschinenunabhängige Optimierungen,
Aliasanalyse und Optimierungen für objektorientierte Sprachen.
- Übung: unter Verwendung von
SATIrE.
SATIrE integriert diverse Werkzeuge für Analyse und Optimierung
von objekt-orienterten Sprachen. Eines der integrierten Werkzeuge
ist der Program Analyzer Generator (PAG), für den auch eine
Web-Demo verfügbar ist
(/PAG/WWW website).
Die Web-Demo erlaubt einige Analysen für eine einfache WHILE-Sprache
laufen zu lassen. Die in der Übung verwendete Umgebung
verwendet die selben Visualisierungsmöglichkeiten wie die Web-Demo,
stellt aber wesentlich umfangreichere Möglichkeiten für die Analyse und
Optimierung von prozeduralen und objekt-orientierten Sprachen zur
Verfügung.
Ziele
Die Effizienz von Programmen ist entscheidend davon abhängig, welche
Optimierungen automatisch vom Übersetzer durchgeführt werden
können. Das Ziel ist ein tieferes Verständnis für die Möglichkeiten
und Beschränkungen einiger ausgewählter Analysen und Optimierungen zu
vermitteln. Dies soll dazu führen, Software in Zukunft so schreiben zu
können, dass bei Vertrauen auf die Optimierungsmöglichkeiten des
Übersetzers, Design und Implementierung von Software nicht mehr
unnötigen Effizienzüberlegungen unterworfen wird.
Vorkenntnisse, empfohlene Lehrveranstaltungen
Die Vorlesung bietet sich insbesondere für Teilnehmer der
Lehrveranstaltung 185.548 VO-Übersetzerbau zur Vertiefung an. Eine
vorausgegangene Teilnahme an dieser Veranstaltung ist hilfreich, aber
nicht Voraussetzung.
Vortragender
Jens Knoop.