HOME | ENGLISH | IMPRESSUM | KIT

Diplomarbeit (abgeschlossen): Generierung lokaler Optimierungen

Lokale Optimierungen optimieren die Berechnung eines Wertes bezüglich eines gegebenen Kostenmaßes. Dabei wird nur eine begrenzte Anzahl von involvierten Operationen betrachtet. Lokale Optimierungen umfassen viele Optimierungen wie z.B. Konstantenfaltung (6 * 7 = 42) und arithmetische Vereinfachungen (x - x = 0). Das Ziel dieser Diplomarbeit ist die Generierung von allen lokalen Optimierungen bis zu einer festen Größe.

Um Redundanz in den generierten Mustern zu vermeiden, sollen alle Muster, auf die bereits gefundene Regeln anwendbar sind, ausgeschlossen werden. Dieser Ansatz ist auch für bereits vorhandene lokale Optimierungen anwendbar und verringert den Suchraum des Generators. Die Korrektheit der generierten Optimierungen soll unter Zuhilfenahme von SAT-Solver verifiziert werden. Nachdem alle Regeln geniert wurden, sollen diese zu allgemeineren Regeln aggregiert werden.

Aufgabe:

  • Generierung lokaler Optimierungen
  • Beschleunigung des Generators unter Zuhilfenahme existierender lokaler Optimierungen
  • Aggregation gefundener lokaler Optimierungen in allgemeineren Regeln

Voraussetzungen

  • Spaß am Übersetzerbau
  • Gute Programmierkenntnisse in C

Schlüsselworte

Compiler, Lokale Optimierungen 

Veröffentlichungen

Veröffentlichung
Generierung lokaler Optimierungen

Betreuer

Wissenschaftliche Mitarbeiter
Sebastian Buchwald

Studenten

Ehemalige Studenten
Thomas Bersch