Autonomische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Werner Hans
Themen in »Autonomische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache«
BABEL Compiler Datenfluss Informatik Parallelisierungsprozess Prallelisierung Programmiersprache Programmtransformation compilergestützt