| Diplomarbeit (abgeschlossen)
Automatische Mustererzeugung durch Transformation ausgehend von Hochsprach-Konstrukten die SIMD-Befehlen entsprechen, sowie deren Anwendung Im Rahmen des Projekts "Globale maschinenabhängige Codeerzeugung für nichttriviale Befehlssätze" soll in dieser Diplomarbeit das Gewinnen von musterbasierten Transformationen von Firm-Graphen untersucht werden.
Firm ist eine Zwischensprache, die an unserem Institut entwickelt wurde. Firm implementiert statische Einmalzuweisung (SSA) und stellt ein Programm als Datenflussgraphen dar.
Aus Sprachen wie C oder Java sind moderne Komplexbefehle (z.B. MMX/SSE/AltiVec-Befehle) nicht unmittelbar zu erzeugen, da es für diese keine Hochsprachenkonstrukte gibt und sie somit in Assembler ausprogrammiert werden müssen. Auch auf Zwischensprachebene sind solche Befehle zunächst nicht explizit dargestellt. Die Komplexbefehle lassen sich jedoch auf eine Menge von Zwischensprachelementen abbilden. Die Idee ist nun eine inverse Abbildung als Graphtransformation anzugeben, wobei sich die Frage erhebt, wie man zu diesen Transformationen kommt und ob es nur eine solche gibt.
Hierzu soll zunächst der Effekt eines Komplexbefehls als C-Funktion ausgedrückt werden. Der CRS-C-Übersetzer generiert aus diesen Funktionen den GRS-Graphen aus dem die zugehörigen Graphmuster zu extrahieren sind. Die so gewonnenen Transformationen können zur Optimierung der eigentlichen Zwischensprachprogramme verwendet werden.
Die Arbeit gliedert sich dabei in einen Implementierungs- und einen Validierungsteil. Zunächst ist die oben beschriebene Tranformationsgewinnung zu implementieren. Dann soll dieses System anhand aussagekräftiger Programme getestet werden. Besonderen Augenmerk ist auf den Grad der Abdeckung der so gewonnenen Transformationen zu legen.
Betreuer
Bearbeiter
| |
