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

TL;DRAbstract

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 Alloki

Chat with Paper

AI Agents for this Paper