Monitors
Monitors
复制标题
显示器
DOI:
10.1007/978-3-658-29782-4_9
复制
发表时间:
2021
期刊:
影响因子:
--
通讯作者:
C. Maurer
中科院分区:
文献类型:
--
作者:
C. Maurer
Alle bisher gezeigten Beispiele wie zB der beschränkte Puffer, das Leser-Schreiber-Problem in seinen diversen Varianten oder die speisenden Philosophen verdeutlichen die Nachteile 3), 4) und 5) der Implementierung von Schlössern, die auch bei der Verwendung von Semaphoren nicht ausgeräumt werden können, recht eindringlich. Insbesondere ist klar, dass diese Konstruktionen fehleranfällig sind: zB führen vergessene P-Operationen zum Zugriff auf gemeinsame Daten ohne gegenseitigen Ausschluss, vergessene V-Operationen zu Verklemmungen. Beide Fehlertypen sind völlig inakzeptabel, weil sie die Verfälschung oder Zerstörung von Daten oder den Stillstand des ganzen Systems zur Folge haben können. Nun liefern Semaphore aber durchaus sehr effiziente Maßnahmen zur Synchronisation, indem sie erlauben, dass Prozesse solange auf sie blockiert werden, bis bestimmte Bedingungen eingetreten sind, die die Voraussetzung für ihre weitere Ausführung sind. Folglich kann es bei der Suche nach einem sprachlichen Konstrukt zu der Beseitigung ihrer Defizite nur darum gehen, von den konkreten Semaphoroperationen zu abstrahieren, ohne deren grundlegende Mechanismen aufzugeben. Die folgenden Forderungen sollen also keineswegs ein grundsätzlich leistungsfähigeres Verfahren einführen, sondern lediglich eine höhere Sprachebene postulieren: