메뉴 건너뛰기




Volumn 15, Issue 3, 1986, Pages 37-45

A survey of distributed deadlock detection algorithms

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84976828245     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/15833.15837     Document Type: Article
Times cited : (57)

References (51)
  • 2
    • 0020904652 scopus 로고
    • On Deadlock Detection in Distributed Computing Systems
    • [BADAL] Badal D.Z. and Gehl M.T., "On Deadlock Detection in Distributed Computing Systems". IEEE INFOCOM 1983.
    • (1983) IEEE INFOCOM
    • Badal, D.Z.1    Gehl, M.T.2
  • 3
    • 85065832857 scopus 로고
    • Models and Algorithms for Deadlock Detection
    • D. Lanciaux editor. North Holland Publishing Company
    • [BITTMAN] Bittman P. and Unterauer K., "Models and Algorithms for Deadlock Detection", in Opearting Systems: Theory and Practice. D. Lanciaux editor. North Holland Publishing Company 1979. 101–111.
    • (1979) Opearting Systems: Theory and Practice , pp. 101-111
    • Bittman, P.1    Unterauer, K.2
  • 4
    • 0021310575 scopus 로고
    • A Distributed Algorithm for Generalized Deadlock Detection
    • (Also appeared as Tech Report TR 83-558 June 1983, Department of Computer Science Cornell University).
    • [BRACHA84] Bracha G. and Toueg S., "A Distributed Algorithm for Generalized Deadlock Detection", ACM Symposium on Principles of Distributed Computing. 1984. (Also appeared as Tech Report TR 83-558 June 1983, Department of Computer Science Cornell University).
    • (1984) ACM Symposium on Principles of Distributed Computing
    • Bracha, G.1    Toueg, S.2
  • 6
    • 0020233011 scopus 로고
    • A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems
    • [CHANDY82] Chandy K.M. and Misra J., "A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems", ACM Symposium on Principles of Distributed Computing. 1982. 157–164.
    • (1982) ACM Symposium on Principles of Distributed Computing , pp. 157-164
    • Chandy, K.M.1    Misra, J.2
  • 9
    • 0345092867 scopus 로고
    • Deadlock Detection and Resolution in Distributed Processing Systems
    • Ph.D. Thesis. The Ohio State University
    • [ELMAGARMID85] Elmagarmid A.K.,"Deadlock Detection and Resolution in Distributed Processing Systems," Ph.D. Thesis. The Ohio State University 1985.
    • (1985)
    • Elmagarmid, A.K.1
  • 10
    • 84976744138 scopus 로고
    • A Distributed Deadlock Detection Algorithm and Its Correctness Proof
    • Submitted for publication
    • [ELMAGARMID86] Elmagarmid A.K., Soundararajan N. and Liu M.T.," A Distributed Deadlock Detection Algorithm and Its Correctness Proof," Submitted for publication. 1986.
    • (1986)
    • Elmagarmid, A.K.1    Soundararajan, N.2    Liu, M.T.3
  • 11
    • 0017018483 scopus 로고
    • The Notions of Consistency and Predicate Locks in a Database System
    • Novemnber
    • [ESWARAN] Eswaran K.P., et al, "The Notions of Consistency and Predicate Locks in a Database System," Communications of the ACM, Vol. 19, No. 11, Novemnber 1976, 624–633
    • (1976) Communications of the ACM , vol.19 , Issue.11 , pp. 624-633
    • Eswaran, K.P.1
  • 12
    • 0019054775 scopus 로고
    • On Deadlock Detection in Distributed Systems
    • Sep
    • [GLIGOR] Gligor V.D. and Shattuck S.H., "On Deadlock Detection in Distributed Systems", IEEE Transactions on Software Engineering Vol SE-6, Sep 1980. 435–440. (Also, Tech Report 837, Department of Computer Science, University of Maryland Dec 1979).
    • (1980) IEEE Transactions on Software Engineering , vol.SE-6 , pp. 435-440
    • Gligor, V.D.1    Shattuck, S.H.2
  • 13
    • 78651247568 scopus 로고
    • Deadlock Detection in Computer Networks
    • MIT/LCS/TR-185. Sep
    • [GOLDMAN] Goldman B., "Deadlock Detection in Computer Networks", MIT/LCS/TR-185. Sep 1985.
    • (1985)
    • Goldman, B.1
  • 14
    • 0038635418 scopus 로고
    • A Straw Man Analysis of the Probability of Waiting and Deadlock in a DB System
    • RJ3066 IBM Research Laboratory. San Jose, California. February
    • [GRAY81] Gray J., Homan P., Korth H. and Obermack R., "A Straw Man Analysis of the Probability of Waiting and Deadlock in a DB System" RJ3066 IBM Research Laboratory. San Jose, California. February 1981.
    • (1981)
    • Gray, J.1    Homan, P.2    Korth, H.3    Obermack, R.4
  • 15
    • 84923966549 scopus 로고
    • Two Approaches to Deadlock in Distributed Systems
    • Ph.D. Thesis. Department of Computer Science. The University of Texas at Austin. August
    • [HAAS81] Haas L.M., "Two Approaches to Deadlock in Distributed Systems", Ph.D. Thesis. Department of Computer Science. The University of Texas at Austin. August 1981.
    • (1981)
    • Haas, L.M.1
  • 16
    • 84896378657 scopus 로고    scopus 로고
    • A Distributed Deadlock Detection Algorithm for a Resource-Based System
    • RJ3765 1/25/83 IBM Research Laboratory, San Jose, CA 95193
    • [HAAS83] Haas L.M. and Mohan C., "A Distributed Deadlock Detection Algorithm for a Resource-Based System" RJ3765 1/25/83 IBM Research Laboratory, San Jose, CA 95193.
    • Haas, L.M.1    Mohan, C.2
  • 17
    • 0013268821 scopus 로고
    • A Distributed Procedure to Detect AND/OR Deadlock
    • TR LCS-8301 Department of Computer Science, The University of Texas at Austin February
    • [HERMAN] Herman T. and Chandy K.M., "A Distributed Procedure to Detect AND/OR Deadlock", TR LCS-8301 Department of Computer Science, The University of Texas at Austin February 1983.
    • (1983)
    • Herman, T.1    Chandy, K.M.2
  • 18
    • 0020209011 scopus 로고
    • Protocols for Deadlock Detection in Distributed Database Systems
    • November
    • [HO] Ho G.S. and Ramamoorthy C.V., "Protocols for Deadlock Detection in Distributed Database Systems", IEEE Transactions on Software Engineering, Vol SE-8 No. 6, November 1982. 554–557.
    • (1982) IEEE Transactions on Software Engineering , vol.SE-8 , Issue.6 , pp. 554-557
    • Ho, G.S.1    Ramamoorthy, C.V.2
  • 19
    • 84976727609 scopus 로고
    • Consistency Aspects of Distributed Databases
    • Ph.D. Thesis Department of Computer Science, The University of Alberta August
    • [ISLOOR79a] Isloor S.S., "Consistency Aspects of Distributed Databases". Ph.D. Thesis Department of Computer Science, The University of Alberta August 1979. TR79-4
    • (1979)
    • Isloor, S.S.1
  • 20
    • 0018738573 scopus 로고
    • System Recovery in Distributed Databases
    • [ISLOOR79b] Isloor S.S. and Marsland T.A., "System Recovery in Distributed Databases", IEEE COMPSAC 1979 421–426.
    • (1979) IEEE COMPSAC , pp. 421-426
    • Isloor, S.S.1    Marsland, T.A.2
  • 21
    • 0019055324 scopus 로고
    • The Deadlock Problem: An Overview
    • Sept
    • [ISLOOR80] Isloor S.S. and Marsland T.A., "The Deadlock Problem: An Overview", Computer, Sept 1980, 58–70.
    • (1980) Computer , pp. 58-70
    • Isloor, S.S.1    Marsland, T.A.2
  • 23
    • 84976804480 scopus 로고
    • Detection and Resolution of Deadlocks in Distributed Systems
    • Department of Computer Science, University of Calgary. Tech Report 82-108-27, Dec
    • [JAGANNATHAN82b] Jagannathan J.R. and Vasudevan R., "Detection and Resolution of Deadlocks in Distributed Systems", Department of Computer Science, University of Calgary. Tech Report 82-108-27, Dec 1982.
    • (1982)
    • Jagannathan, J.R.1    Vasudevan, R.2
  • 24
    • 84976820982 scopus 로고    scopus 로고
    • Improved Performance of Deadlock Avoidance Algorithms for Distributed Database Systems
    • The Mitre Corporation, Personal Correspondence.
    • [JORDAN] Jordan J.W. and Bruso S.A., "Improved Performance of Deadlock Avoidance Algorithms for Distributed Database Systems", The Mitre Corporation, Personal Correspondence.
    • Jordan, J.W.1    Bruso, S.A.2
  • 26
    • 84915173219 scopus 로고    scopus 로고
    • Multi-level Locking with Deadlock Avoidance
    • RC7019 IBM T.J. Watson Tech Report 3/8/78
    • [LOMET78a] Lomet D.B., "Multi-level Locking with Deadlock Avoidance", RC7019 IBM T.J. Watson Tech Report 3/8/78
    • Lomet, D.B.1
  • 27
    • 84976665712 scopus 로고    scopus 로고
    • Coping with Deadlock in Distributed Systems
    • IBM T.J. Watson Research Center, RC7460. 12/29/78.
    • [LOMET78b] Lomet D.B., "Coping with Deadlock in Distributed Systems", IBM T.J. Watson Research Center, RC7460. 12/29/78.
    • Lomet, D.B.1
  • 28
    • 84939733705 scopus 로고
    • Deadlock Avoidance in Distributed Systems
    • March
    • [LOMET80] Lomet D.B., "Deadlock Avoidance in Distributed Systems", IEEE Transactions on Software Engineering SE-6 No.3 March 1980.
    • (1980) IEEE Transactions on Software Engineering , vol.SE-6 , Issue.3
    • Lomet, D.B.1
  • 29
    • 84976735840 scopus 로고
    • Optimal Allocation of Resources in Distributed Information Networks
    • March
    • [MAHMOUD76] Mahmoud S. and Riordon J.S., "Optimal Allocation of Resources in Distributed Information Networks", ACM Transactions on Database Systems, Vol.1, No.1, March 1976 66–78.
    • (1976) ACM Transactions on Database Systems , vol.1 , Issue.1 , pp. 66-78
    • Mahmoud, S.1    Riordon, J.S.2
  • 30
    • 0017456361 scopus 로고
    • Software Controlled Acess to Distributed Databases
    • February
    • [MAHMOUD77] Mahmoud S. and Riordon J.S., "Software Controlled Acess to Distributed Databases, INFOR Vol. 15 No. 1, February 1977. 22–36.
    • (1977) INFOR , vol.15 , Issue.1 , pp. 22-36
    • Mahmoud, S.1    Riordon, J.S.2
  • 31
    • 84934615202 scopus 로고
    • Detection of Deadlocks in Distributed Database Systems
    • February
    • [MARSLAND] Marsland A.T. and Isloor S.S., "Detection of Deadlocks in Distributed Database Systems", INFOR Vol. 18 No. 1 February 1980. 1–20.
    • (1980) INFOR , vol.18 , Issue.1 , pp. 1-20
    • Marsland, A.T.1    Isloor, S.S.2
  • 32
    • 84976824268 scopus 로고
    • A Locking Protocol for Resource Coordination in Distributed Databases
    • Also, International Conference on Management of Data (SIGMOD)
    • [MENASCE78] Menasce D.A., Popek G.J. and Muntz P.R., "A Locking Protocol for Resource Coordination in Distributed Databases", ACM Transactions on Database Systems. (Also, International Conference on Management of Data (SIGMOD) 1978.)
    • (1978) ACM Transactions on Database Systems
    • Menasce, D.A.1    Popek, G.J.2    Muntz, P.R.3
  • 33
    • 0018468014 scopus 로고
    • Locking and Deadlock Detection in Distributed Databases
    • May
    • [MENASCE79] Menasce D. and Muntz R., "Locking and Deadlock Detection in Distributed Databases", IEEE Transactions on Software Engineering Vol. SE-5, May 1979. 195–202.
    • (1979) IEEE Transactions on Software Engineering , vol.SE-5 , pp. 195-202
    • Menasce, D.1    Muntz, R.2
  • 34
    • 0020190993 scopus 로고
    • Deadlock Avoidance Revisited
    • October
    • [MINOURA] Minoura T., "Deadlock Avoidance Revisited", Journal of the ACM, VOL. 29 No.4 October 1982. 1023–1048.
    • (1982) Journal of the ACM , vol.29 , Issue.4 , pp. 1023-1048
    • Minoura, T.1
  • 35
    • 84976836218 scopus 로고    scopus 로고
    • A Distributed Algorithm for Deadlock Detection and Resolution
    • AT&T Bell Labs, Murray Hill, NJ 07974.
    • [MITCHELL] Mitchell D.P. and Merritt M.J., "A Distributed Algorithm for Deadlock Detection and Resolution", AT&T Bell Labs, Murray Hill, NJ 07974.
    • Mitchell, D.P.1    Merritt, M.J.2
  • 36
    • 0004062181 scopus 로고
    • Nested Transactions: An Approach to Reliable Distributed Computing
    • Ph.D. Thesis. MIT/LCS/TR-260. April
    • [MOSS] Moss J.E., "Nested Transactions: An Approach to Reliable Distributed Computing", Ph.D. Thesis. MIT/LCS/TR-260. April 1981.
    • (1981)
    • Moss, J.E.1
  • 37
    • 0022706718 scopus 로고
    • A Distributed Scheme for Detecting Communication Deadlock
    • April
    • [NATARAJAN] Natarajan N., "A Distributed Scheme for Detecting Communication Deadlock", IEEE Transaction on Software Engineering, Vol. SE-12 No.4, April 1986. 531–537.
    • (1986) IEEE Transaction on Software Engineering , vol.SE-12 , Issue.4 , pp. 531-537
    • Natarajan, N.1
  • 38
    • 3843134178 scopus 로고
    • Deadlock Prevention, Detection, and Resolution: An Annotated Bibliography
    • April
    • [NEWTON] Newton G., "Deadlock Prevention, Detection, and Resolution: An Annotated Bibliography", Operating Systems Review, Vol. 13, No. 2, April 1979, 33–44.
    • (1979) Operating Systems Review , vol.13 , Issue.2 , pp. 33-44
    • Newton, G.1
  • 39
    • 84915113381 scopus 로고    scopus 로고
    • Global Deadlock Detection Algorithm
    • IBM Research Laboratory, RJ2845, 6/13/80.
    • [OBERMACK80a] Obermack R., "Global Deadlock Detection Algorithm", IBM Research Laboratory, RJ2845, 6/13/80.
    • Obermack, R.1
  • 40
    • 84976740312 scopus 로고    scopus 로고
    • Deadlock Detection for all Classes
    • IBM Research Lab, RJ2955 10/6/80.
    • [OBERMACK80b] Obermack R., "Deadlock Detection for all Classes", IBM Research Lab, RJ2955 10/6/80.
    • Obermack, R.1
  • 41
    • 0020147771 scopus 로고
    • Distributed Deadlock Detection Algorithm
    • June
    • [OBERMACK82] Obermack R., "Distributed Deadlock Detection Algorithm", ACM Transactions on Database Systems Vol. 7 No. 2, June 1982, 187–208.
    • (1982) ACM Transactions on Database Systems , vol.7 , Issue.2 , pp. 187-208
    • Obermack, R.1
  • 42
    • 84936683164 scopus 로고
    • Exposure to Deadlock for Communicating Processes is Hard to Detect
    • TR 83-555, May
    • [Raeuchle] Raeuchle T. and Toueg S., "Exposure to Deadlock for Communicating Processes is Hard to Detect", TR 83-555, May 1983. Department of Computer Science, Cornell University.
    • (1983)
    • Raeuchle, T.1    Toueg, S.2
  • 43
    • 0017983393 scopus 로고
    • System Level Concurrency Control for Distributed Database System
    • June
    • [ROSENKRANTZ] Rosenkrantz D.J., Stearns R.E. and Lewis P.M., " System Level Concurrency Control for Distributed Database System", ACM Transactions on Database Systems Vol.3 No.2, June 1978. 178–198.
    • (1978) ACM Transactions on Database Systems , vol.3 , Issue.2 , pp. 178-198
    • Rosenkrantz, D.J.1    Stearns, R.E.2    Lewis, P.M.3
  • 44
    • 0021214843 scopus 로고
    • A Distributed Deadlock Detection Algorithm Based on Timestamps
    • Vol.?? No.?? (Also, Fourth International Conference on Distributed Computing Systems
    • [SINHA84] Sinha M.K. and Natarajan N., "A Distributed Deadlock Detection Algorithm Based on Timestamps", IEEE Transactions on Software Engineering Vol.?? No.?? (Also, Fourth International Conference on Distributed Computing Systems, 1984 546–556.
    • (1984) IEEE Transactions on Software Engineering , pp. 546-556
    • Sinha, M.K.1    Natarajan, N.2
  • 45
    • 0022687643 scopus 로고
    • Commutable Transactions and the Time-pad Synchronization Mechanisms for Distributed Systems
    • March
    • [SINHA86] Sinha M.K., "Commutable Transactions and the Time-pad Synchronization Mechanisms for Distributed Systems", IEEE Transactions on Software Engineering, Vol. SE-12 No. 3, March 1986. 462–476.
    • (1986) IEEE Transactions on Software Engineering , vol.SE-12 , Issue.3 , pp. 462-476
    • Sinha, M.K.1
  • 46
    • 84976862263 scopus 로고
    • Axiomatic Semantics of Communicating Sequential Processes
    • October
    • [SOUNDARARAJAN] Soundararajan N., "Axiomatic Semantics of Communicating Sequential Processes." ACM TOPLAS 6,4 (October 1984), 647–662.
    • (1984) ACM TOPLAS , vol.6 , Issue.4 , pp. 647-662
    • Soundararajan, N.1
  • 47
    • 84976805779 scopus 로고
    • Distributed Deadlock Detection in Distributed Database Systems
    • Ph.D. Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Jan
    • [TSAl82a] Tsai W.-C., "Distributed Deadlock Detection in Distributed Database Systems. Ph.D. Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Jan 1982.
    • (1982)
    • Tsai, W.-C.1
  • 48
    • 0019909959 scopus 로고
    • Detecting Deadlock in Distributed Systems
    • [TSAI82b] Tsai W.-C. and Belford G., "Detecting Deadlock in Distributed Systems", INFOCOM 1982. 89–95
    • (1982) INFOCOM , pp. 89-95
    • Tsai, W.-C.1    Belford, G.2
  • 49
    • 84976803618 scopus 로고    scopus 로고
    • Algorithms for the Detection and Resolution of Deadlocks in Distrbuted Database Systems
    • Submitted for Publication.
    • [TSAI86] Tsai W.-C. and Elmagarmid A.K., "Algorithms for the Detection and Resolution of Deadlocks in Distrbuted Database Systems" Submitted for Publication.
    • Tsai, W.-C.1    Elmagarmid, A.K.2
  • 50
    • 0022106092 scopus 로고
    • False Deadlock Detection in Distributed Systems
    • August
    • [WUU] Wuu G.T. and Bernstein A.J., "False Deadlock Detection in Distributed Systems", IEEE Transactions on Software Engineering Vol. SE-11, No. 8 August 1985. 820–821.
    • (1985) IEEE Transactions on Software Engineering , vol.SE-11 , Issue.8 , pp. 820-821
    • Wuu, G.T.1    Bernstein, A.J.2
  • 51
    • 0020838080 scopus 로고
    • The Deadlock Problem: A Classifying Bibliography
    • 2 Oct
    • [ZOBEL] Zobel D., "The Deadlock Problem: A Classifying Bibliography." Operating Systems Review 17, 2 Oct 1983, 6–15
    • (1983) Operating Systems Review , vol.17 , pp. 6-15
    • Zobel, D.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.