Parallelisierung Logischer Sprachen

» This course is given in German.

Vorlesung im Sommersemester 2000

ArtTermine/OrtBeginnVeranstalter
V3 Di 14:00 - 15:30 AH VI
Do 14:00 - 15:30 (14tgl.) AH VI		 18.04.2000 Penner

Inhalt

Es werden Ansätze zur parallelen Auswertung logischer Sprachen diskutiert. Sie umfassen einerseits Verfahren zur Parallelisierung sequentieller Progamme und andererseits parallele Sprachmittel. Für die Parallelisierung kommen verschiedene Ebenen in Betracht: die sog. Low-Level-Parallelität bezieht sich u.a. auf Implementationsaspekte (Instruktionszyklus der WAM), die UND/ODER- und Strom-Parallelisierung der Kontrollstrategie und die Datenparallelität auf unabhängige Datenzugriffe und die Dekomposition von Termen. Im Hinblick auf die Effizienz einer Implementation ist die Skalierbarkeit und im Zusammenhang damit die Lastbalancierung und Granularisierung von zentraler Bedeutung. Die Ausführungen zu den sequentiellen logischen Sprachen kozentrieren sich auf Prolog und die zu parallelen logischen Sprachen auf Concurrent Prolog.

Zuordnung

Theoretische Informatik

Voraussetzungen

Logik, Paralleles Programmieren