Generierung lokaler Optimierungen - IPD Snelting

4 Implementierung
var0
sub
sc0
var0 0
sub
⇒
Regel r
⇒
Regel r ′
Abbildung 4.24: Durch Aggregation kann das Auffinden speziellerer Regeln verhindert
werden. Regel r ist auf das linke Muster aus Regel r ′ anwendbar, weswegen
r ′ zwar möglich ist, aber nicht erzeugt wird.
r ′′ in Form einer Optimierungsregel erzeugt wird. Das Muster p wird daher zwar nicht
direkt auf das Muster p ′ abgebildet, aber es existieren zwei Regeln r und r ′′ , so dass
p über das Muster q in zwei Schritten auf das günstigere Muster p ′ abgebildet werden
kann.
Nachträgliche Aggregation
Entgegen der zuvor beschriebenen frühen Aggregation, kann eine Aggregation auch erst
im Nachhinein durchgeführt werden. Dies kann entweder ganz zum Schluss oder am
Ende jeder Kostenstufe geschehen. Der Nachteil besteht darin, dass jedes Muster explizit
behandelt, also generiert und überprüft werden muss. Es ergibt sich allerdings der Vorteil,
dass so auch alle möglichen Regeln gefunden werden können.
Aufgrund der hohen Komplexität in Bezug auf die Rechenzeit erscheint die früher Aggregation
geeigneter. Aus diesem Grund wird auf die nachträgliche Aggregation im Rahmen
dieser Arbeit verzichtet.
58
var0
add
var0
sc0
neg