Datenparallelität in Logischen Programmen auf der Grundlage einer erweiterten Dekomposition

Zusammenfassung

Grandlage der in der Arbeit beschriebenen Parallelisierung ist der Dekompositionsansatz, der im Rahmen eines DFG-Projekts [KliPe92, KliPe93] eingeführt wurde und der Grandlage einer Dissertation war [Kli93]. Das Verfahren erlaubt die Erzeugung sog. skelettaler Bäume für initiale Ziele, die zur Beschreibung paralleler Teilaufgaben herangezogen werden. Die Parallelisierang bezieht sich auf Oder-, Und-und Daten- Parallelität. Ferner können den Bäumen sequentielle Restprogramme entnommen werden, die ihrerseits parallel zueinander ausgewertet werden können. Das Verfahren wurde im Hinblick auf Implementationen auf dynamisch rekonfigurierbaren verteilten Architekturen entworfen, und unterstützt weitgehende Maßnahmen zur Steuerung der Lastbalancierang, Skalierung und Granularität. Die Erweiterung des Ansatzes bezieht sich auf die Berechnung relevanter Daten für Unifikationen, sequentielle Restprogramme und nicht-dekomponierte Teilziele. Diese Daten dienen als Grandlage für eine gezielte Allokierang von Teiltermen und parallelen Auswertungen mit ausschließlich lokalen Datenzugriffen. Zugleich besteht die Möglichkeit, mit Hilfe von Datenbäumen auf die Struktur der Terme initialer Aufrufe zu schließen und und die Einzelunifikationen durch einen syntaktischen Vergleich der initialen Terme mit den durch Datenbäume beschriebenen Termen zu ersetzen.