A new approach to avoidance of system deadlocks
A new approach to the avoidance of system deadlocks is based on the notion of promoting a process to a higher rank when a resource is allocated to it. An advantage of this method is that it can prevent the occurrence, and therefore avoid the dynamic safety test, of many unsafe allocation states. Also, an algorithm that tests how many resources can safely be allocated is easily found and the method makes it possible to attach a cost factor to resource allocation depending on the demand and the allocation test.
Unable to display preview. Download preview PDF.
- Habermann, A. N., Prevention of system deadlocks, CACM 12, July 1969.Google Scholar
- Russell, R. D., A model for deadlock-free resource allocation (thesis), SLAC Report No. 148, Stanford Linear Acceleration Center, Stanford, Calif., June 1972.Google Scholar
- Holt, R. C., On deadlock in computer systems (thesis), Computer Science Department, Cornell University, Ithaca, N. Y., December 1970.Google Scholar
- Dykstra, E. W., Cooperating sequential processes, Programming Systems, Genuys ed., Academic Press, London, 1968.Google Scholar