Monitore
摘要
Alle bisher gezeigten Beispiele verdeutlichen einige Nachteile der Implementierung von Schlössern, die auch bei der Verwendung von Semaphoren nicht ausgeräumt werden können. Die geeignete Antwort auf dieses Problem ist Hoare zu verdanken, der das Paket-ähnliche Konzept der Monitore eingeführt hat. In diesem Kapitel werden Hoares Idee vorgestellt, die notwendigen Begriffe präzisiert, Bedingungsvariablen als Sprachmittel zur Synchronisation eingeführt und es wird gezeigt, wie sie zur Synchronisation diverser klassischer Probleme wie z. B. des beschränkten Puffers und des Leser-Schreiber-Problems angewendet werden. Den Konkurrenzproblemen aus unterschiedlichen Ansätzen zur Realisierung von Monitoren ist die eingehende Erörterung der Signalsemantiken gewidmet. Es folgen das Rundrufkonzept und etliche Monitorlösungen: zur Barrierensynchronisation, zum schlafenden Barbier, zum Wecker von Hoare und zur Priorisierung kürzester Anforderungen. Den Abschluss bildet eine kurze Darstellung der Problematik der Schachtelung von Monitoraufrufen.