Zusammenfassung
Eine Verklemmung liegt vor, wenn Prozesse auf Betriebsmittel warten, die niemals freigegeben werden. Die einfachste Form einer Verklemmung besteht darin, daß ein Prozeß P1 im Besitz eines Betriebsmittels a ist und auf die Zuteilung eines Betriebsmittels B wartet, während ein anderer Prozeß P2 im Besitz von B ist und auf A wartet. Im Abschnitt 3.5 haben wir gesehen, wie zwei Prozesse in eine solche Situation geraten können: der eine Prozeß führt ‘P(A); P(B)’ aus, der andere ‘P(B); P(A)’, wobei die Semaphore A,B mit 1 initialisiert sind. Verallgemeinert: jeder Prozeß in einer Gruppe von Prozessen wartet auf ein Betriebsmittel, das gerade von einem anderen Prozeß der Gruppe benutzt wird.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Campbell, R., und A. N. Habermann, “Specification of Process Synchronization by Path Expressions”, Lecture Notes in Computer Science, Springer, 1974.
Coffman, E. G., Jr., M. J. Elphick und A. Shoshani, “System Deadlocks”, Computing Surveys 3, 2 (Juni 1971).
Habermann, A. N., “Prevention of System Deadlocks”, Comm. ACM 12, 7 (Juli 1969).
Hoare, C. A. R., “Monitors: An Operating System Structuring Concept”, Comm. ACM 17, 10 (Oktober 1974); siehe auch Erratum: Comm. ACM 18,2 (Februar 1975).
Holt, R. C., “Some Deadlock Properties of Computer Systems”, Computing Surveys, 4, 3 (September 1972).
Lampson, B. W., “A Note on the Confinement Problem”, Comm. ACM 16, 10 (Oktober 1973).
Liskov, B. H., “A Design Methodology for Reliable Software Systems”, Proc. AFIPS FJCC 41 (Dezember 1972).
Parnas, D. L., “A Technique for Software Module Specification with Examples”, Comm. ACM 15, 5 (Mai 1972).
Parnas, D. L., “On the Criteria to Be Used in Decomposing Systems into Modules”, Comm. ACM 15, 12 (Dezember 1972).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Habermann, A.N. (1981). Systemstruktur und -entwicklung. In: Entwurf von Betriebssystemen. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67930-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-67930-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10510-7
Online ISBN: 978-3-642-67930-8
eBook Packages: Springer Book Archive