Generierung lokaler Optimierungen - IPD Snelting

5 Evaluation
Aufgrund der vielen Kombinationsmöglichkeiten von Operationen, Variablen und Konstanten
ist zu erwarten, dass die Menge der erzeugbaren Muster schon bei kleinen Kostenstufen
sehr groß ist. Neben der Anzahl der erzeugten Optimierungs- und Transformationsregeln
wird in diesem Abschnitt vor allem evaluiert, wo die Grenzen der Durchführbarkeit
des in dieser Arbeit vorgestellten Verfahren Optgen liegen. Ein weiterer betrachteter
Aspekt ist die Frage, ob durch dieses Verfahren neue Optimierungsregeln gefunden
werden und ob dieses Regeln in der Praxis Anwendung finden.
5.1 Testumgebung
Generierungsvorgang Die Testumgebung für den Generierungsvorgang bildet ein System
aus Intel Core i5-3450 mit einer Taktfrequenz von 3100 MHz und 16 384 MB
Arbeitsspeicher. Als Softwareplattform wird ein Ubuntu Linux in der Version 12.04
64-Bit eingesetzt. Zur Durchführung der Äquivalenzbeweise, wie in Abschnitt 4.3.3
beschrieben, wird der von Microsoft Research entwickelte SMT-Solver Z3 [8] in der
Version 4.0 verwendet.
Evaluierung der erzeugten Optimierungsregeln Als Testumgebung für die Evaluierung
der erzeugten Optimierungsregeln wird ein System aus einem Intel Core i3-550 Prozessors
mit einer Taktfrequenz von 3200 MHz sowie 1878 MB Arbeitsspeicher eingesetzt.
Als Betriebssystem dient ein Ubuntu Linux in der Version 12.04 in der 32-Bit
Variante. Testgrundlage bildet die SPEC CINT2000 und CINT2006 Benchmark-
Suite. Für die Messungen wird die Taktfrequenz der CPU auf 1200 MHz beschränkt.
5.2 Messungen
5.2.1 Generierungsvorgang
Die untersuchte Implementierung von Optgen berücksichtigt die folgenden Operationen:
not, neg, or, and, xor, add, sub, mul. Die Datentypbreite und damit auch der Wertebereich
von Konstanten beträgt 8 Bit, also 256 Konstanten.
67