Operating system concepts (2nd ed.)
Operating system concepts (2nd ed.)
A versatile data structure for edge-oriented graph algorithms
Communications of the ACM
ACM Computing Surveys (CSUR)
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model
IEEE Transactions on Software Engineering
An Algorithmic Approach on Deadlock Detection for Enhanced Parallelism in Multiprocessing Systems
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
An o(min(m, n)) parallel deadlock detection algorithm
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A transformation to provide deadlock-free programs
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
High performance cycle detection scheme for multiprocessing systems
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Instant Multiunit Resource Hardware Deadlock Detection Scheme for System-on-Chips
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |
A new method of detecting and resolving deadlocked processes in an operating system or database system is presented. It is based on matric theoretic principles and effectively automates tasks heretofore only achievable via adjacency list representations. Two algorithms are presented with examples for each.