A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Some deadlock properties of computer systems
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
doi:10.1145/850614.850627
fatcat:qyv2qq3xyvgwrh2txkoekq7oiq