The theory of database concurrency control
The theory of database concurrency control
The distributed deadlock detection algorithm
ACM Transactions on Computer Systems (TOCS)
Local Distributed Deadlock Detection by Cycle Detection and Clusterng
IEEE Transactions on Software Engineering - Special issue on distributed systems
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
Shared-memory vs. message-passing in an asynchronous distributed environment
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Predicate calculus and program semantics
Predicate calculus and program semantics
A distributed deadlock detection algorithm for CSP-like communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
A bridging model for parallel computation
Communications of the ACM
A logical approach to discrete math
A logical approach to discrete math
Deadlock prevention in a distributed database system
ACM SIGMOD Record
ACM SIGACT News
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Distributed deadlock detection algorithm
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Distributed deadlock detection
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Distributed Deadlock Detection and Resolution with Probes
Proceedings of the 3rd International Workshop on Distributed Algorithms
Using Consistent Subcuts for Detecting Stable Properties
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems
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
A distributed algorithm for deadlock detection and resolution
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
ACM SIGOPS Operating Systems Review
Defining deadlock with fungible resources
ACM SIGOPS Operating Systems Review
Hi-index | 0.00 |
Although there are numerous concurrency control algorithms and they use a variety of techniques, there is an underlying serializability theory that serves both as a basis for analyzing their correctness and as a guide for designing new protocols. Following this paradigm, this paper proposes a uniform framework for characterizing and developing distributed deadlock-related algorithms. The system considered here consists of processes making multiple requests for exclusive access to resources. The results examine the role of process abortion and the asymmetry between processes and resources. To illustrate the generality of the framework, the results are used to analyze several well-known deadlock detectors, thus revealing a common structure among them, despite the variety of techniques they use.