Axiomatic semantics of communicating sequential processes
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Commutable transactions and the time pad synchronization mechanism for distributed systems
IEEE Transactions on Software Engineering
A distributed scheme for detecting communication deadlocks
IEEE Transactions on Software Engineering
A Distributed Deadlock Detection and Resolution Algorithm and its Correctness Proof
IEEE Transactions on Software Engineering
Distributed deadlock detection algorithm
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Optimal allocation of resources in distributed information networks
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Distributed deadlock detection
ACM Transactions on Computer Systems (TOCS)
The notions of consistency and predicate locks in a database system
Communications of the ACM
A locking protocol for resource coordination in distributed databases
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
A distributed algorithm for detecting resource deadlocks in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
On-the-fly deadlock prevention
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A distributed algorithm for deadlock detection and resolution
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A distributed algorithm for generalized deadlock detection
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
Exposure to Deadlock for Communicating Processes is Hard to Detect
Exposure to Deadlock for Communicating Processes is Hard to Detect
DEADLOCK DETECTION IN COMPUTER NETWORKS
DEADLOCK DETECTION IN COMPUTER NETWORKS
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
Two approaches to deadlock in distributed systems
Two approaches to deadlock in distributed systems
Distributed deadlock detection in distributed database systems
Distributed deadlock detection in distributed database systems
Randomized agreement protocols and distributed deadlock detection algorithms (byzantine generals, consensus)
Deadlock detection and resolution in distributed processing systems (ddbms, synchronization)
Deadlock detection and resolution in distributed processing systems (ddbms, synchronization)
Deadlock prevention, detection, and resolution: an annotated bibliography
ACM SIGOPS Operating Systems Review
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
Semantic lock models in object-oriented distributed systems and deadlock resolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Two-Phase Deadlock Detection Algorithm
IEEE Transactions on Computers
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Resolution of Deadlocks in Object-Oriented Distributed Systems
IEEE Transactions on Computers
DATAPLEX: an access to heterogeneous distributed databases
Communications of the ACM
Heterogeneous distributed database systems for production use
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
Exploiting database parallelism in a message-passing multiprocessor
IBM Journal of Research and Development
Deadlock prevention in a distributed database system
ACM SIGMOD Record
Performance evaluation of a new distributed deadlock detection algorithm
ACM SIGMOD Record
Detection and resolution of deadlocks in distributed database systems
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
A Distributed Graph Algorithm for the Detection of Local Cycles and Knots
IEEE Transactions on Parallel and Distributed Systems
Mixed concurrency control: Dealing with heterogeneity in distributed database systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Speculative Lock Management to Increase Concurrency in Mobile Environments
MDA '99 Proceedings of the First International Conference on Mobile Data Access
The VLDB Journal — The International Journal on Very Large Data Bases
Non-blocking concurrency control in distributed database systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Deadlock avoidance in loosely-coupled multiprocessors with finite buffer pools
ACM SIGOPS Operating Systems Review
Speculative Locking Protocols to Improve Performance for Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Reliable and efficient programming abstractions for wireless sensor networks
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
On Scalable Synchronization for Distributed Embedded Real-Time Systems
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
A pipeline-based approach for long transaction processing in web service environments
International Journal of Web and Grid Services
An efficient deadlock prevention approach for service oriented transaction processing
Computers & Mathematics with Applications
Efficient detection and resolution of deadlocks in distributed databases
Computer Communications
Hi-index | 0.02 |
This paper surveys research work performed within the last five years in distributed deadlock detection. The last survey paper on this topic appeared in 1980; since that time a large number of interesting algorithms have been discribed in the literature. A new, more efficient scheme is the probe-based deadlock detection strategy used by many of the new algorithms. This paper will concentrate on distributed deadlock detection algorithms. Only detection of resource deadlocks will be reviewed here, though other types of deadlock handling strategies and environments are briefly mentioned.