Dynamische Betriebsmittelverwaltung und Verklemmungsvermeidung in geschichteten Prozeßsystemen

Zusammenfassung

Verklemmungen (deadlocks) sind weit häufiger Thema theoretischer Untersuchungen, als sie in der Natur zu beobachten sind. Es handelt sich jedoch beim Verklemmungsproblem nicht um ein akademisches oder nur logisches Problem. Der Verklemmungsfall ist ein Fehlerfall, der nach Möglichkeit vermieden oder aber so rechtzeitig erkannt werden sollte, daß eine sinnvolle Fehlerbehandlung möglich ist. Strategien zur Vermeidung sind also Teil der Fehlererkennung des Systems. Die hierfür nötigen Vorkehrungen dürfen den Normalbetrieb nicht übermäßig belasten. Die Literatur über Verklemmungsvermeidung ist in zweierlei Hinsicht unvollständig:

• Die vorgeschlagenen Strategien werden zu aufwendig, sobald die dynamisch belegbaren Betriebsmittel zu zahlreich werden, da der Aufwand nichtlinear ansteigt.

• Einem in Schichten aufgebauten Betriebssystem entsprechen die Strategien nicht, da diese jeweils eine zentrale Verwaltung aller Betriebsmittel voraussetzen.