Overview

Die vorliegende Arbeit entstand wiilirend meiner Zeit als wissenschaftlicher Mitarbeiter der Universitat Stuttgart am Lehrstuhl fUr Programmiersprachen und ihre Ubersetzer, bei Herrn Prof. Dr. Gerhard Barth (inzwischen Leiter des Deutschen Forschungszentrums fUr Kiinstliche Intelligenz in Kaiserslautern, DFKI), sowie wahrend meines fast zweijiilirigen Aufenthalts in den USA, an der University of Southern California, Los Angeles, der durch ein Stipendium der Fulbright-Kommission ermoglicht wurde. Dieses Buch gliedert sich in fiinfzehn Kapitel und einen Anhang. Nach der Einleitung und der Definition der Anforderungen an das parallele Modell in Kapitel 1 und 2 werden in Kapitel 3 einige grundlegende Konzepte der parallelen Programmierung dargestellt. Hier wird sowohl auf Rechnerarchitekturen als auch auf parallele Operationen und deren Realisierungen durch bekannte Konstrukte zur Parallelverarbeitung und Synchronisation eingegangen. In Kapitel 4 werden die wichtigsten Punkte des hier vorgestellten parallelen Modells knapp dargestellt. Die Kernpunkte sind die SpezifIkation der Netzwerkstruktur sowie die Kon strukte zur parallelen Ausfiihrung und zum parallelen Datenaustausch zwischen Prozessoren. Kapitel 5 ist der SpezifIkation der Rechnerarchitektur gewidmet. Nach der Beschrei bung des verwendeten SIMD-Maschinenmodells wird eine funktionale Syntax vorgestellt, mit der jede beliebige Verbindungsstruktur definiert werden kann. 1m AnschluB an zwei Erweite rungen der Speziflkations Konstrukte werden typische Verbindungsstrukturen mit ihren Spe ziflkationen in dieser Syntax dargestellt. Die Behandlung moglicher Fehlerquellen in einer Netzwerk-Spezifikation und ihre Erkennung wiilirend der Ubersetzung sowie eine Diskussion machtigerer Spezifikations-Konstrukte beenden das Kapitel."