DISTRIBUTED DEADLOCK DETECTION

被引：172

作者：

CHANDY, KM ^{[1
]}

MISRA, J ^{[1
]}

HAAS, LM ^{[1
]}

机构：

[1] IBM RES,SAN JOSE,CA 95193

来源：

ACM TRANSACTIONS ON COMPUTER SYSTEMS | 1983年 / 1卷 / 02期

关键词：

D O I：

10.1145/357360.357365

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：144 / 156

页数：13

共 15 条

[1]

CHANDI KM, 1982, 1ST P ACM S PRINC DI, P157

[2] DEADLOCK ABSENCE PROOFS FOR NETWORKS OF COMMUNICATING PROCESSES [J].

CHANDY, KM ;

MISRA, J .

INFORMATION PROCESSING LETTERS, 1979, 9 (04) :185-189

[3] TERMINATION DETECTION FOR DIFFUSING COMPUTATIONS [J].

DIJKSTRA, EW ;

SCHOLTEN, CS .

INFORMATION PROCESSING LETTERS, 1980, 11 (01) :1-4

[4] ON DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS [J].

GLIGOR, VD ;

SHATTUCK, SH .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) :435-440

[5]

GOLDMAN B, 1977, MITLCSTR185 MASSACHU

[6]

GRAY J, 1978, OPERATING SYSTEMS AD, V60, P393

[7]

HAAS LM, 1981, THESIS U TEXAS AUSTI

[8] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

COMMUNICATIONS OF THE ACM, 1978, 21 (08) :666-677

[9]

ISLOOR SS, 1978 P COMPSAC IEEE, P283

[10] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM [J].

LAMPORT, L .

COMMUNICATIONS OF THE ACM, 1978, 21 (07) :558-565

← 1 2 →