Universelle kritische Abschnitte

Zusammenfassung

Die Grundidee des Staffelstab-Algorithmus aus dem vorigen Kapitel gibt Anlass, darü- ber nachzudenken, ob das, was er gewissermaßen als ,,Muster zum Programmieren“ enthält, nicht auch ,,automatisch“ generiert werden könnte. In diesem Kapitel wird gezeigt, dass das in der Tat der Fall ist: Die Überlegungen dazu liefern die Entwicklung eines universellen Synchronisationskonzepts, zur einfachen Lösung von Problemen, die Bedingungssynchronisation erfordern.

Damit wird eine Abstraktionsstufe erreicht, mit der bestimmte Typen von Synchronisationsproblemen auf ihren gedanklichen Kern reduziert werden können. Dabei verschwinden die eigentlichen Maßnahmen zur Synchronisation hinter der Schnittstelle eines abstrakten Datentyps, was zu einer erheblichen Vereinfachung der Implementierungen führt.