Generierung lokaler Optimierungen - IPD Snelting

4 Implementierung
Regel r ist auf das Muster m1 anwendbar. Bei m1 handelt es sich also nicht um das
optimale Muster. Es sei angenommen, dass es sich bei m2 um das zu m1 gehörende
optimale Muster handelt, welches auch durch Anwendung von r aus m1 erzeugt werden
kann. Analog verhält es sich mit dem Muster m3, dessen zugehöriges optimales Muster
m4 ist und durch Anwendung der Regel r ′ aus m3 erzeugt werden kann. In Abbildung 4.14
sind zwei weitere Muster m5 und m6 dargestellt. m5 wurde durch Kombination der
beiden optimalen Mustern m2 und m4 mit einer Addition erzeugt. m6 hingegen besteht
aus den beiden nicht-optimalen Mustern m1 und m3 sowie einer zusätzlichen Addition.
Obwohl m5 im Gegensatz zu m6 aus optimalen Mustern besteht, ist m6 günstiger. Der
Grund hierfür besteht in der Mehrfachnutzung der drei op1 Knoten nach dem var0
Knoten in Muster m6. Die Kosteneinsparung durch die Mehrfachnutzung der drei Knoten
ist höher, als die Einsparung, die durch Anwendung der beiden Optimierungsregeln r
und r ′ erreicht werden kann.
var0
op2 var1 op4 var2
add add
add
m5, Kosten 9
var0
op1
op1
op1
op1 var1 op3 var2
add add
add
m6, Kosten 8
Abbildung 4.14: Abbildung zweier semantisch äquivalenter Muster m5 und m6. m5 wurde
aus den optimalen Mustern m2 und m4 und einer Addition erzeugt.
m6 wurde aus den beiden nicht-optimalen Mustern m1 und m3 sowie
einer Addition erzeugt. Obwohl m5 im Gegensatz zu m6 aus optimalen
Mustern erzeugt wurde, ist m6 günstiger (vgl. Abbildung 4.13).
Da die Mustererzeugung auf der Erweiterung von Mustern mit geringerem Kostenwert
beruht, genügt es nicht, ausschließlich optimale Muster zu berücksichtigen. Das eben
gezeigt Beispiel belegt, dass für eine vollständige Suche nach dem optimalen Muster für
eine Menge von semantisch äquivalenten Mustern auch nicht-optimale Muster zur Erzeugung
neuer Muster berücksichtigt werden müssen. In dem eben vorgestellten Beispiel
38