Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
Additional comments on a problem in concurrent programming control
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
On deadlock in computer systems
On deadlock in computer systems
Journal of the ACM (JACM)
The design of the Venus operating system
Communications of the ACM
Comment on deadlock preventive method
Communications of the ACM
A practical approach to managing resources and avoiding deadlocks
Communications of the ACM
Mixed solutions for the deadlock problem
Communications of the ACM
A practical deadlock avoidance algorithm for data base systems
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
An interactive design automation system
DAC '73 Proceedings of the 10th Design Automation Workshop
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
A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Deadlock prevention in message switched networks
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems
ACM SIGOPS Operating Systems Review
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
A unified treatment of deadlock
Journal of Computing Sciences in Colleges
A Novel {O(n)} Parallel Banker's Algorithm for System-on-a-Chip
IEEE Transactions on Parallel and Distributed Systems
Issues in distributed data base management systems: a technical overview
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
The application of program-proving techniques to the verification of synchronization processes
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
| Hi-index | 48.28 |
Habermann's method of deadlock prevention is discussed, where deadlock is defined as a system state from which resource allocations to certain processes are not possible. It is shown that the scheduler may introduce “artificial” deadlocks which Habermann's method does not prevent. Permanent blocking is the situation where certain processes never receive their resource requests. It is shown that deadlock prevention does not necessarily eliminate permanent blocking. A method of preventing permanent blocking is given.