Kritische Abschnitte in der konkurrenten Programmierung: Von fehlerhaften Versuchen zum Peterson-Algorithmus
2025-07-14
Dieses Kapitel befasst sich mit der Implementierung kritischer Abschnitte in der konkurrenten Programmierung. Es beginnt mit der Einführung des Konzepts und der Bedeutung kritischer Abschnitte und geht dann verschiedene fehlerhafte Versuche (z. B. naiver Locking und flag-basierte Mechanismen) durch, wobei Probleme wie Race Conditions und Deadlocks hervorgehoben werden. Das Kapitel gipfelt im Peterson-Algorithmus, einer eleganten Lösung, die gegenseitigen Ausschluss und Fortschritt garantiert, wobei gleichzeitig die Komplexität seines Korrektheitsbeweises und praktische Herausforderungen wie nicht-atomare Operationen und Anweisungs-Reorderings anerkannt werden.