RESOLVING ALL DEADLOCKS IN DISTRIBUTED SYSTEMS

被引:11
作者
LEE, SJ [1 ]
KIM, JL [1 ]
机构
[1] BELL COMMUN RES INC,RRC 1N2111,PISCATAWAY,NJ 08854
关键词
DISTRIBUTED SYSTEMS; DEADLOCK DETECTION; DEADLOCK RESOLUTION; DISTRIBUTED ALGORITHMS; WAIT-FOR GRAPH;
D O I
10.1016/0020-0190(95)00115-S
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A distributed algorithm is presented for deadlock detection and resolution in distributed systems. The unique feature of the proposed algorithm is that it detects and resolves all deadlocks reachable from the initiator of the algorithm using 2n time units and 2e messages, where n and e are the number of nodes and edges in the wait-for graph reachable from the initiator, respectively. A simple analysis shows that our scheme allows less number of algorithm initiations throughout the system and faster deadlock detection.
引用
收藏
页码:265 / 271
页数:7
相关论文
共 8 条
[1]  
Aho A. V., 1974, DESIGN ANAL COMPUTER
[2]  
BRACHA G, 1984, 3RD P ANN ACM S PRIN, P285
[3]   DISTRIBUTED DEADLOCK DETECTION [J].
CHANDY, KM ;
MISRA, J ;
HAAS, LM .
ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1983, 1 (02) :144-156
[4]   A MODIFIED PRIORITY BASED PROBE ALGORITHM FOR DISTRIBUTED DEADLOCK DETECTION AND RESOLUTION [J].
CHOUDHARY, AN ;
KOHLER, WH ;
STANKOVIC, JA ;
TOWSLEY, D .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (01) :10-17
[5]   INVARIANT-BASED VERIFICATION OF A DISTRIBUTED DEADLOCK DETECTION ALGORITHM [J].
KSHEMKALYANI, AD ;
SINGHAL, M .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (08) :789-799
[6]  
LEE S, 1994, THESIS TEXAS A M U
[7]  
LEE S, 1994, P IFIP WG10 3 INT C, P73
[8]   DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS [J].
SINGHAL, M .
COMPUTER, 1989, 22 (11) :37-48