×

A fast method of deadlock avoidance. (English) Zbl 0543.68017

Summary: The paper presents a fast deadlock avoidance method for the single resource type system. Proposed method is similar to the one described in A. N. Habermann [Commun. ACM 12, 373-377, 385 (1969; Zbl 0184.206)]. It is based on the process rank modification during resource granting or releasing. The auxiliary vector construction is simpler than in Habermann. The utilization of this method in multiple resource type system is also presented.

MSC:

68N25 Theory of operating systems

Citations:

Zbl 0184.206
PDF BibTeX XML Cite
Full Text: EuDML

References:

[1] 1. P. BAK, A New Method of Deadlock Avoidance in a Multiprocess Multiple Resource Type System, Podstawy Sterowania, vol. 11, n^\circ 1, 1981. Zbl0464.93017 · Zbl 0464.93017
[2] 2. P. BAK, A Comparative Study of Anti-Deadlock Methods, Podstawy Sterowania, vol. 7, n^\circ 5, 1976 (in Polish). Zbl0342.68013 · Zbl 0342.68013
[3] 3. E. G. COFFMAN and P. J. DENNING, Operating System Theory, Prentice Hall, 1973.
[4] 4. A. N. HABERMANN, Prevention of System Deadlocks, Comm. of ACM, vol. 12, n^\circ 7, 1969. Zbl0184.20602 · Zbl 0184.20602
[5] 5. A. N. HABERMANN, A New Approach to Avoidance of System Deadlock, Revue Française d’Automatique, Informatique et Recherche Opérationnelle, n^\circ 9, B3, 1975. Zbl0321.68048 MR403602 · Zbl 0321.68048
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.