A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Graph models of computer systems: Application to performance evaluation of an operating system
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
On the probability of deadlock in computer systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Deadlock prevention in message switched networks
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Models and algorithms for deadlock in computer systems
ACM SIGOPS Operating Systems Review
Record of the Project MAC conference on concurrent systems and parallel computation
| Hi-index | 0.00 |
Whenever resources are shared among several activities that hoard resources, the activities can attain a state of deadlock in which, for lack of resources, none of the activities can proceed. Deadlocks can be prevented by coordination of the sharing. Efficient running of the activities under such coordination requires knowledge of the patterns of use of resources by the activities. This thesis presents a study of deadlock prevention in systems in which a knowledge of the usage of resources by the activities during several phases of steady resource usage is available. A representation called a demand graph is presented and used for the study of deadlocks. The model is a general one and encompasses systems in which the activities themselves consist of more than one sequence of phases and are not necessarily independent of each other. The analysis is applicable to computer systems as well as systems in the realm of operations research.