Some deadlock properties of computer systems

Richard C. Holt
1972 ACM SIGOPS Operating Systems Review  
Several examples of deadlock occurring in present day computer systems are given Next, there is a discussion of the strategms which can be ~sed to deal with the deadlock problem A theory of computer systems is developed so that the terms "process" and "deadlock" can be defined. "Reusable resources" are introduced to model objects that are shared among processes, and "consumable resources" are introduced to model signals or messages passed among processes. Then a rumple graph model of computer
more » ... stems m developed, and its deadlock propertms are investigated This graph model unifies a number of previous results, leads to efficient deadlock detection and prevenUon algorithms, and ~s useful for teaching purposes.
doi:10.1145/850614.850627 fatcat:qyv2qq3xyvgwrh2txkoekq7oiq