ASL -- Portable Programmierung Massiv Paralleler Rechner

ISBN-13: 9783519022947 / Niemiecki / Miękka / 1995 / 242 str.

Werner Erhard; Michael M. Gutzmann

Opis

Dieses Buch ist im Rahmen des PEPSIM-Projekts (Performance Evaluation of Par allel Synchronous lnstruction Modells) am Lehrstuhl fur Rechnerarchitektur und Verkehrstheorie der Universitat Erlangen-Nurnberg entstanden. Auf der Basis der Dissertationen von Dr. Ing. K. Thalhofer und Dr. Ing. A. Strey wurden von Dipl. Inf. X. Xiong, Dipl. lnf. W. Gellerich, Dipl. lnf. U. Heise und Dipl. lnf. U. Henkelmann vier Diplomarbeiten durchgefuhrt, deren Ziel die Konzep tion, der Entwurf und die Validierung einer neuartigen Programmiersprache fur massiv parallele leistungsstarke Parallelrechner war. Als Ergebnis dieser Arbeiten entstand die Sprache ASL (Algorithm Specification Language). In diesem Buch werden unter grossem Einsatz und wertvoller Mithilfe von Herrn U. Heise und U. Henkelmann neben der Sprache ASL auch die wis senschaftlichen Grundlagen, die konzeptionellen Hintergrunde und die wichtigsten Entwurfskriterien in detaillierter Form prasentiert. Mit ASL wird ein Vorschlag zur Standardisierung von Programmiersprachen fur eine grosse Klasse von Parallelrechnern erarbeitet. Bei diesem wird insbesondere auf die Portierbarkeit und Skalierbarkeit der Programme Wert gelegt. Von Bedeutung ist auch die automatische Transformation der Programme. Eine Vielzahl praxisnaher Beispiele runden die Thematik dieses Buchs ab. Das vorliegende Werk ist interessant fur Wissenschaft, Forschung und Lehre, da elementare mathematische Problemstellungen auf abstrakte Weise behandelt wer den. Mit der hardwareunabhangigen Betrachtung von konkreten Problemen werden zusatzlich die Anwender aus nahezu allen ingenieurswissenschaftlichen Bereichen angesprochen. Die Terminologie 'massiv paralleler Rechner' bezeichnet im klassischen Sinn Rechner mit 1024 und mehr Prozessoren, vorzugsweise synchrone SIMD-Rechnertypen (Sin gle lnstruction Multiple Data). Dieser Konvention folgt auch das vorliegende Buc

Spis treści

1 Einleitung.- 2 Grundlagen der Programmierung.- 3 Entwicklung der Sprache ASL.- 4 Elementare Konstrukte von ASL.- 5 Semantik von ASL.- 6 Transformation einer ASL-Spezifikation.- 7 Abstrakt spezifizierte Algorithmen.- 8 Schlußbemerkungen.- Spezifikationsverzeichnis.- Produktionsverzeichnis.- Tabellenverzeichnis.- Indexverzeichnis.