
The problem of determining whether it is possible for a set of “free-running” processes to become deadlocked is considered. It is assumed that any request by a process is immediately granted as long as there are enough free resource units to satisfy the request. The question of whether or not there exists a polynomial algorithm for predicting deadlock in a “claim-limited” serially reusable resource system has been open. An algorithm employing a network flow technique is presented for this purpose. Its running time is bounded byO(mn1.5) if the system consists ofnprocesses sharingmtypes of serially reusable resources.
network flow, serially reusable resource, Analysis of algorithms and problem complexity, resource allocation, Theory of operating systems, deadlock-freedom of computer systems, operating system, algorithm complexity, deadlock algorithm, process
network flow, serially reusable resource, Analysis of algorithms and problem complexity, resource allocation, Theory of operating systems, deadlock-freedom of computer systems, operating system, algorithm complexity, deadlock algorithm, process
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 16 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
