A Framework for Understanding Distributed (Deadlock Detection) Algorithms
Summary: Framework defines complexity levels for distributed decision algorithms, modeling algorithm state as a database with views and transaction atomicity to simplify specification and correctness obligations. Applied to distributed deadlock detection to systematically prove correctness of existing algorithms and synthesize new hybrids combining their best features. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Henry F. Korth (IBM)
- 2. Ravi Krishnamurthy (IBM)
- 3. Anil Nigam (IBM)
- 4. John T. Robinson (IBM)
BibTeX Citation
@inproceedings{korth_pods83,
address = {New York, NY, USA},
series = {{PODS} '83},
title = {{A Framework for Understanding Distributed (Deadlock Detection) Algorithms}},
url = {https://dl.acm.org/doi/10.1145/588058.588082},
doi = {10.1145/588058.588082},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Korth, Henry F. and Krishnamurthy, Ravi and Nigam, Anil and Robinson, John T.},
year = {1983}
}
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,151 | Replication and Consistency: Being Lazy Helps Sometimes | 1997 | PODS | 5.9578457e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 0 of 0 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 2,299 | A Locking Protocol For Resource Coordination In Distributed Databases | 1978 | SIGMOD |
| 2 | 766 | The Case for Determinism in Database Systems | 2010 | VLDB |
| 3 | 14,121 | Correctness in General Configurations of Transactional Components | 1999 | PODS |
| 4 | 14,563 | A Practical Deadlock Avoidance Algorithm for Data Base Systems | 1977 | SIGMOD |
| 5 | 3,333 | Distributed Concurrency Control Performance: A Study of Algorithms, Distribution, and Replication | 1988 | VLDB |
| 6 | 4,777 | Is Distributed Locking Harder? | 1982 | PODS |
| 7 | 10,942 | HAWK: A Workload-driven Hierarchical Deadlock Detection Approach in Distributed Database System | 2025 | VLDB |
| 8 | 1,383 | A Sophisticate's Introduction to Distributed Database Concurrency Control | 1982 | VLDB |
| 9 | 14,438 | Deadlock Resolution and Semantic Lock Models in Object-Oriented Distributed Systems | 1988 | SIGMOD |
| 10 | 13,210 | DEADLOCK-FREEDOM (AND SAFETY) OF TRANSACTIONS IN A DISTRIBUTED DATABASE (Extended Abstract) | 1985 | PODS |