Massiv parallele Programmierung mit dem Parallaxis-Modell [Paperback]

1. Einleitung.- 2. Anforderungen und Ziele.- 3. Parallele Programmierung.- 3.1 Parallele Rechnerarchitekturen.- 3.2 Parallele Operationen.- 3.2.1 Vektor-Skalar Operationen.- 3.2.2 Vektor-Reduktionen.- 3.2.3 Vektor-Vektor Operationen.- 3.3 Parallelverarbeitung in bestehenden Programmiersprachen.- 3.3.1 Coroutinen.- 3.3.2 Fork und Join.- 3.3.3 Cobegin und Coend.- 3.3.4 Explizit deklarierte und synchronisierte Prozesse.- 3.3.5 Server/Client Beziehungen.- 3.3.6 Implizite Parallelit?t.- 4. Sprachkonzepte.- 4.1 Datenelemente und Deklarationen.- 4.2 Spezifikation der parallelen Verbindungsstruktur.- 4.3 Paralleler Datenaustausch.- 4.4 Parallele Verarbeitung.- 4.5 Prozeduren und Funktionen.- 5. Spezifikation der Rechnerarchitektur.- 5.1 Das parallele Maschinenmodell.- 5.2 Spezifikationskonstrukte der Netzwerkstruktur.- 5.3 Definitions- und Wertebereiche von Transfer-Funktionen.- 5.4 Strukturierte Transfer-Funktionen.- 5.4.1 Zusammengesetzte Transfer-Funktionen.- 5.4.2 Parametrisierte Transfer-Funktionen.- 5.5 Komplexe Verbindungsstrukturen.- 5.5.1 Torus.- 5.5.2 Hexagonales Gitter.- 5.5.3 Ring.- 5.5.4 Vollst?ndiger Graph.- 5.5.5 Perfect Shuffle.- 5.5.6 Bin?rer Baum.- 5.5.7 Quadtree.- 5.5.8 Hypercube.- 5.6 Semantische Pr?fung von Topologien.- 5.7 Erweiterungen der Spezifikation.- 6. Konzepte der Parallelverarbeitung.- 6.1 Paralleler Anweisungsblock.- 6.2 Kollektiver Datenaustausch.- 6.3 Mehrstufiger Datenaustausch.- 6.4 Datenreduktion.- 6.5 Parallelverarbeitung am Beispiel einer Ring-Topologie.- 6.6 Propagate Splitting.- 7. Kommunikationskonzepte.- 7.1 Datenaustausch zwischen Prozessoren im Netzwerk.- 7.2 Daten?bermittlung von und zur zentralen Steuerung.- 7.3 Ein-/Ausgabe-Operationen des Steuerrechners.- 8. Parallele Semantik.- 8.1 Das Modell der Parallelverarbeitung.- 8.2 Darstellung einer formalen parallelen Semantik.- 8.2.1 Hilfsdefinitionen.- 8.2.2 Definition der parallelen Semantik.- 8.3 Beweis-Regeln.- 8.4 Bestimmung von Vorbedingungen.- 9. Datenstrukturen und DatentyplSF