Grundzüge der Nichtsequentiellen Programmierung

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.