Operating systems principles (2nd ed.)
Operating systems principles (2nd ed.)
Testing Deadlock-Freedom of Computer Systems
Journal of the ACM (JACM)
A theorem in database concurrency control
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Semaphore primitives and starvation-free mutual exclusion
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
On the modeling of parallel access to shared data
Communications of the ACM
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM
Game interpretation of the deadlock avoidance problem
Communications of the ACM
Comment on deadlock preventive method
Communications of the ACM
Mixed solutions for the deadlock problem
Communications of the ACM
Comments on prevention of system deadlocks
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
A practical deadlock avoidance algorithm for data base systems
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Operating Systems Theory
Operating Systems
Operating Systems
A polynomial-time test for the deadlock-freedom of computer systems
Proceedings of the 3rd GI-Conference on Theoretical Computer Science
Proceedings of the 6th GI-Conference on Theoretical Computer Science
A new approach to avoidance of system deadlocks
Operating Systems, Proceedings of an International Symposium
A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
On the generalized critical region construct
ACM SIGOPS Operating Systems Review
On reductions and livelocks in asynchronous parallel computation.
On reductions and livelocks in asynchronous parallel computation.
A graph model for deadlock prevention.
A graph model for deadlock prevention.
The design of deadlock- and livelock-free packet switching networks
The design of deadlock- and livelock-free packet switching networks
Locking protocols: general lock classes and deadlock freedom
Locking protocols: general lock classes and deadlock freedom
Transactions: a construct for reliable distributed computing
ACM SIGOPS Operating Systems Review
Operating systems
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer
IEEE Transactions on Parallel and Distributed Systems
A Guide To Operating Systems Literature
ACM SIGOPS Operating Systems Review
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Contract-based synchronization of IP telecommunication services: a case study
Proceedings of the 5th International Conference on Communication System Software and Middleware
SmartOSEK: a real-time operating system for automotive electronics
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Hi-index | 0.00 |
The desire for a better utilisation of resources and an acceleration of computing introduced the concept of parallelism with all its difficulties. Soon the danger of eternal delays of processes was discovered and called deadlock. For almost twenty years a lot of publications have dealt with problems considering deadlocks or their environment.Here we want to give a classification of our collected publications. We do not claim that this collection is complete in any sense, but we hope to have found essential articles (underlined) for nearly all the different topics fitting under the title "Deadlock".This classification regards different aspects of the problem and cannot always be given unambigiously so that many publications are listed several times. We would appreciate to get knowledge of other interesting articles or textbooks to this theme.