Generierung lokaler Optimierungen - IPD Snelting

5 Evaluation
Tabelle 5.1 zeigt die ermittelten Ausführungszeiten der beschriebenen Implementierung
von Optgen für die einzelnen Kostenstufen sowie die Anzahl der erzeugten Muster und
der generierten Regeln. Für die Kostenstufe 3 war keine Ausführung mit einer vollständigen
Menge aller Operationen in annehmbarer Zeit möglich. Aus diesem Grund wurde
eine partielle Generierung, einmal für die arithmetischen Operationen neg, add, sub, mul
und einmal für die Bit-Operationen not, or, and, xor für die Kostenstufe 3 durchgeführt.
Die Ergebnisse sind in Tabelle 5.1 aufgeführt. Die Menge der erzeugten Muster nimmt
durch die Erhöhung der Kostenstufe von eins auf zwei deutlich zu. In noch stärkerem
Maße steigt die benötigte Zeit, von 31 s auf knapp 1,25 h (4 499 s). Da Optgen nicht
bei jedem Übersetzungsvorgang ausgeführt werden muss, sondern nur einmal bei der
Entwicklung des Übersetzers, erscheint dieser Wert in Anbetracht dessen, dass alle Konstanten
berücksichtigt wurden als akzeptabel.
Tabelle 5.1:
Kostenstufe 1 2 3 (Arithm.) 3 (Bit)
Erzeugte Muster 363 734 4 189 969 8 173 051 85 052 711
Optimale Muster 1 738 364 164 74 792 2 011 961
Optimierungsregeln 17 99 90 162 640
Transformationsregeln 6 264 892 346 412 539
Laufzeit 31 s 4 499 s 374 s 621 548 s
Übersicht über die Ausführungszeiten, die erzeugten Muster und Regeln,
aufgeschlüsselt nach Kostenstufen.
Die benötigte Laufzeit eines Generierungsvorgangs hängt stark von den involvierten
Operationen ab. Dies ist an den großen Unterschieden zwischen den Laufzeiten der
Kostenstufe 3 für arithmetische Operationen und der Kostenstufe 3 für Bit Operationen
zu erkennen. Eine Erklärung ist, dass sich Regeln mit ausschließlich arithmetischen
Operation besser aggregieren lassen, wofür auch die niedrigere Anzahl der ermittelten
Optimierungs- und Transformationsregeln spricht.
Dieser Eindruck bestätigte sich bereits während der Implementierung von Optgen. Es
zeigt sich, dass sich vor allem für Muster mit Bit-Operationen und Konstanten viele Regeln
ergeben, die auf Abhängigkeiten zwischen den Konstanten eines Musters basieren.
Durch das schrittweise hinzufügen eingeschränkter symbolischer Konstanten mit neuen
Bedingungen, war jedes mal eine Laufzeitverbesserung und eine Verringerung der erzeugten
Regel zu beobachten. Evtl. lässt sich das Konzept der eingeschränkten symbolischen
Konstanten weiter ausbauen, so dass eine weitere Beschleunigung des Generierungsvorgangs
erreicht wird.
Aufgrund der langen Laufzeiten stellt sich die Frage, welche Phase des Verfahrens den
größten Anteil der Laufzeit beansprucht. Wie zu erwarten ist und wie auch den Laufzeiten
aus Tabelle 5.2 entnommen werden kann, ist dies sowohl der Vorabtest als auch der
Erfüllbarkeitstest.
68