Generierung lokaler Optimierungen - IPD Snelting

4 Implementierung
würde das Muster m6 nicht von der Mustererzeugung generiert werden, da auf die beiden
zugrunde liegenden Muster m1 und m3 bereits eine Regel anwendbar ist und diese somit
nicht optimal sind.
Eine Ausnahme bilden Muster, für die eine Regel existiert, deren rechte Seite ein Teilmuster
der linken Seite ist, oder die lediglich den Wurzel-Knoten durch einen günstigeren
Knoten ersetzen. Anders ausgedrückt, darf ein Muster nur dann von der weiteren Mustererzeugung
ausgeschlossen werden, wenn eine Regel existieren, so dass durch deren
Anwendung kein teureres Muster aufgrund von Mehrfachverwendern entstehen kann.
Ein Beispiel zeigt Abbildung 4.15. Das Muster der rechten Seite der Regel r entspricht
einem Teilmuster der linken Seite der Regel. Die Addition und die Konstante 0 werden
entfernt. Wird r auf das ebenfalls in der Abbildung gezeigte Muster m angewendet,
bleibt, trotz der Transformationsvorschrift von r, die Konstante 0 aufgrund einer Mehrfachverwendung
bestehen. Da diese keine Kosten verursacht und auch durch r keine
neuen Teilausdrücke dem Muster m ′ hinzugefügt werden, können sich die Kosten trotz
Mehrfachverwendern nur verringern.
var0 0
add
⇒ var0
var0 0
add
???
r
→
var0 0
Regel r m m ′
Abbildung 4.15: Die Konstante 0 bleibt auch nach Anwendung von r auf m aufgrund
der Mehrfachverwendung bestehen. Da Konstanten den Kostenwert 0
besitzen werden allerdings keine neuen Kosten hinzugefügt.
4.3.2 Vorabtest
Der Vorabtest trifft für jedes neue Muster m eine Auswahl aus der Menge der bereits
bekannten, optimalen Muster MOpt. Die Idee dieses Tests besteht darin, die Ergebnisse
eines neuen Musters bezüglich einer kleinen Menge von Testvektoren (Eingabevektoren)
mit den Ergebnissen bereits vorhandener Muster zu vergleichen. Wird hierbei bereits eine
Differenz festgestellt, folgt direkt, dass das entsprechende Musterpaar nicht äquivalent
sein kann. Eine weitere Untersuchung durch den aufwendigeren Erfüllbarkeitstest ist
nicht mehr notwendig. Das Ziel dieses Vorabtest ist es also, so viele Muster wie möglich
auszuschließen, um den Erfüllbarkeitstest zu entlasten.
???
39