A Resource Class Independent Deadlock Detection Algorithm.

Catriel Beeri, Ron Obermarck: A Resource Class Independent Deadlock Detection Algorithm. VLDB 1981: 166-178

@inproceedings{DBLP:conf/vldb/BeeriO81,
  author    = {Catriel Beeri and
               Ron Obermarck},
  title     = {A Resource Class Independent Deadlock Detection Algorithm},
  booktitle = {Very Large Data Bases, 7th International Conference, September
               9-11, 1981, Cannes, France, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1981},
  pages     = {166-178},
  ee        = {db/conf/vldb/BeeriO81.html},
  crossref  = {DBLP:conf/vldb/81},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A method of detecting deadlocks among processes which can be suspended due to contention for any class of resource is described. Three classes of resources are described, uniquely-named resources such as Locks, M of N resources such as Teleprocessing Sessions or Magnetic Tape Drives, and Poolresources such as variable length storage pools.By using boolean expressions to describe how a process, suspended due to resource conflict, can have its request satisfied by resources released by other processes, the deadlock detection algorithm is independent of resource tables. The algorithm produces a set of potential 'victims' which can break all the detected deadlocks. A deadlock resolution algorithm based choosing the "least costly" process in deadlock is proposed.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. IEEE Computer Society 1981
Contents

References

[BOOT01]: ...
[COFF01]: Edward G. Coffman Jr., M. J. Elphick, Arie Shoshani: System Deadlocks. ACM Comput. Surv. 3(2): 67-78(1971)
[GRAY01]: Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481
[GRAY02]: Jim Gray, Pete Homan, Henry F. Korth, Ron Obermarck: A Straw Man Analysis of the Probability of Waiting and Deadlock in a Database System. Berkeley Workshop 1981: 125
[HOLT01]: Richard C. Holt: Some Deadlock Properties of Computer Systems. ACM Comput. Surv. 4(3): 179-196(1972)
[JOHN01]: Donald B. Johnson: Finding All the Elementary Circuits of a Directed Graph. SIAM J. Comput. 4(1): 77-84(1975)
[LUKE01]: ...
[OBER01]: ...
[OBER02]: ...
[SETHI1]: Ravi Sethi: Testing for the Church-Rosser Property. J. ACM 21(4): 671-679(1974)
[TRAI01]: Irving L. Traiger, Jim Gray, Cesare A. Galtieri, Bruce G. Lindsay: Transactions and Consistency in Distributed Database Systems. ACM Trans. Database Syst. 7(3): 323-342(1982)