Generierung lokaler Optimierungen - IPD Snelting

6 Zusammenfassung und Ausblick
6.2 Ausblick
6.2.1 Parallelisierung
Bisher arbeitet der Generierungsprozess sequentiell. Nacheinander werden die Arbeitsschritte
Mustererzeugung, Anwendbarkeit einer Regel prüfen, Vorabtest und Erfüllbarkeitstest
ausgeführt. In einer Parallelisierung steckt das Potential, die Gesamtlaufzeit zu
verkürzen und so eine höhere durchführbare Kostenstufe als drei oder mehr zu ermöglichen.
Für eine Parallelisierung sind zwei Ansatzpunkte denkbar. Einer dieser Ansatzpunkte
stellt der Erfüllbarkeitstest dar, der aufgrund seines hohen Anteils an der Gesamtlaufzeit
eines Generierungsvorgangs (vgl. Kapitel 5) ein hohes Sparpotenzial besitzt.
Hier wäre entweder eine parallele Überprüfung mehrere Kandidaten denkbar oder die
Nutzung eines parallel arbeitenden SMT-Solvers um so die Überprüfung eines einzelnen
Kandidaten zu beschleunigen. Auch der Vorabtest lässt sich parallelisieren, indem entweder
mehrere Muster gleichzeitig überprüft werden oder die Überprüfung eines einzelnen
Musters parallelisiert wird. Der andere Ansatzpunkt betrifft die komplette sequentielle
Abarbeitung der einzelnen Arbeitsschritte für jedes neue Muster. Dieses Konzept lässt
sich zumindest partiell parallelisieren, so dass mehrere Muster gleichzeitig erzeugt und
analysiert werden können. Eine parallele Mustererzeugung innerhalb einer Kostenstufe
ist immer unproblematisch, da zur Erzeugung neuer Muster nur Muster mit geringeren
Kosten, also aus einer vorherigen, abgeschlossenen Kostenstufe genutzt werden. Etwas
problematischer gestaltet sich die Parallelisierung der Musteranalyse. Prinzipiell müssten
bei der Suche nach einem semantisch äquivalenten Muster alle optimalen Muster
berücksichtigt werden. Durch die, wie in Abschnitt 4.3.2 beschriebene Zuordnung eines
Musters zu einer Äquivalenzklasse können Muster, die sich in unterschiedlichen Äquivalenzklassen
befinden parallel behandelt werden.
6.2.2 Automatische Generierung von Bedingungen
Die Bedingungen für die in Abschnitt 4.5.2 vorgestellten eingeschränkten symbolischen
Konstanten wurden bisher von Hand ermittelt und implementiert. Dieses Vorgehen ist
sehr zeitaufwendig, da sowohl die Mustermenge, als auch die Menge der erzeugten Regeln
durch Konstanten schnell unüberschaubar wird und sich Abhängigkeiten zwischen
den Konstanten eines Muster nur schwer erkennen lassen. Um höhere Kostenstufen dennoch
beherrschbar zu machen, sind weitere Mechanismen notwendig, um Bedingungen
zwischen den Konstanten eines Musters automatisch zu ermitteln. Ein noch zu untersuchender
Ansatzpunkt hierfür könnte sein, aus bereits erzeugten Regeln, durch Vergleich
und Analyse der zugehörigen Konstanten, Abhängigkeiten zwischen diesen abzuleiten.
Diese können wiederum genutzt werden um allgemeinere Regeln zu generieren, welche
die konkreten Regeln ersetzen.
76