Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache

Diese Arbeit beschäftigt sich mit der compilergestützten Parallelisierung der funktionallogischen Programmiersprache BABEL. Hiebei werden unter Berücksichtigung der verwendeten Auswertungsstrategie im Parallelisierungsprozess sich gegenseitig nicht-beeinflussende Ausdrücke durch Datenflussanalysemethoden und Programmtransformation approximativ bestimmt und zugehörige Annotationen in das zu übersetzende Quellprogramm eingebettet. Neben der Compilationsproblematik wird ein optimiertes Laufzeitmodell zur Ausführung des Compilats auf Parallelrechnern vorgestellt, welches sowohl um hohe Ausführungsraten des sequentiellen Kerns als auch um einen geringen Verwaltungsaufwand bei einer Parallelisierung bemüht ist. Dieses Modell ist zunächst auf verteilte Rechnerarchitekturen zugeschnitten, gestattet aber in weiten Teilen eine Abstraktion von ihren speziellen Charakteristiken.