Diplomarbeit (abgeschlossen)
Automatische Erkennung und initiale Transformation von potentiell durch SIMD-Befehlen implementierbaren Codes Im Rahmen des Projekts „Globale maschinenabhängige Codeerzeugung für nichttriviale Befehlssätze“ soll in dieser Diplomarbeit die musterbasierte Transformation von Firm-Graphen untersucht werden.
Firm ist eine moderne Zwischensprache die an unserem Institut entwickelt wurde. Firm implementiert statische Einmalzuweisung (SSA) und stellt ein Programm als eine Überlagerung seines Steuer- und Datenflussgraphen dar. Neuartige Darstellungen von Abhängigkeiten über Objekte im Speicher und vom Steuerfluss bei Ausnahmen machen Firm zu einer idealen Basis zur Erforschung von Optimierungen.
Aus Sprachen wie C oder Java sind moderne Komplexbefehle (z.B. MMX-Befehle) nicht unmittelbar zu erzeugen, da es für sie keine Hochsprachenkonstrukte gibt und sie ausprogrammiert werden müssen. Da Firm essenzielle Abhängigkeiten als Graph darstellt, ist in dieser Arbeit zu untersuchen inwieweit verschiedene Ausdrucksweisen in der Quellsprache in gleichen Graphen münden. Hierzu sollen Muster in Firm-Graphen gefunden werden und darauf basierend der Graph transformiert werden. Die zu erwarteten Muster sind größer als die mit herkömmlichen Backends behandelbaren, d.h. umfassen bis zu 40 Knoten und ebenso viele Kanten und sind insbesondere steuerflussübergreifend.
Die Arbeit gliedert sich dabei in einen theoretischen und einen praktischen Teil. Zunächst muss untersucht werden, welche Einschränkungen bezüglich eines allgemeinen Graphersetzers möglich sind. Dann soll dieses System implementiert und anhand beispielhafter Transformationen getestet werden.
Betreuer
Bearbeiter
|