Studienarbeit in Programmoptimierung

Operatorvereinfachung mit OPTIMIX

Institut für Programm- und Datenstrukturen, Am Zirkel 2, 76128 Karlsruhe

mailto:assmann@ipd.info.uni-karlsruhe.de    tel:0721/608 6088

http://i44www.info.uni-karlsruhe.de/~assmann

Thema:

Am Lehrstuhl Goos existiert ein Generator für Programmoptimierungen, OPTIMIX. Mit OPTIMIX können klassische Programmoptimierungen spezifiziert werden.

Die Studienarbeit beschäftigt sich damit, die wichtige klassische Optimierung der Elimination von Schleifenvariablen und Operatorvereinfachung mit OPTIMIX zu spezifizieren und zu ein ausführbaren Optimierer generieren. Als Rahmen ist das innovative Übersetzer-Rahmenwerk CoSy vorgesehen. Für CoSy existieren mehrere Quellsprachen; der Optimierer soll auf der gemeinsamen Zwischensprache CCMIR laufen.

Material: Lazy strength reduction [Knoop/Steffen 1995]

Voraussetzung:

Motivation, sich in Optimiererbau einzuarbeiten (Lesen von englischen Artikeln). Kenntnisse von C sind wünschenswert.