Christian Maurer

Paradigms of Nonsequential Programming

Grundzüge der
Nichtsequentiellen Programmierung

1999. XIII, 192 S. ISBN 978-3-540-65561-9 » 2. vollständig überarbeitete Auflage «

CR-Klassifikation
C.2.4, D.1.3, D.3.2, D.3.3, D.4.1, D.4.4, F.1.2, H.2.4

Die Nichtsequentielle Programmierung ist der gemeinsame Kern von Vorlesungen über Betriebssysteme, Parallele Algorithmen, Verteilte Systeme, Echtzeitprogrammierung und Datenbanktransaktionen.

In diesem Buch werden die wichtigsten Konzepte zur Synchronisation und Kommunikation nebenläufiger Prozesse kompakt und systematisch dargestellt: Schloßvariable, Semaphore, Monitore, synchroner Botschaftenaustausch und Fernaufrufe.

Zur Ergänzung werden ein Prozeßmodell entwickelt, Verklemmungen charakterisiert und einige sprachabhängige Erweiterungen vorgestellt.

Die Algorithmen sind in » Pascal-FC formuliert, einem Dialekt, der über Sprachmittel zum Ausdruck aller genannten Synchronisationskonzepte verfügt.

Das Buch richtet sich an Studierende im fortgeschrittenen Grundstudium und umfaßt den Stoff einer Vorlesung im Umfang von zwei Semesterwochenstunden.