Deadlock detection in distributed systems

被引:0
|
作者
Ambroise, D [1 ]
Rozoy, B [1 ]
Saquet, J [1 ]
机构
[1] Univ Paris 11, UMR CNRS, LRI, F-91405 Orsay, France
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents a tool motivated by practical problems in the context of simulation and debugging of distributed programs and proposes a fast algorithm for deadlock detection. The comparison with other tools implementing partial order reductions illustrates the fact that our algorithm has, in most cases, better performances.
引用
收藏
页码:210 / 213
页数:4
相关论文
共 50 条
  • [1] ON DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS
    GLIGOR, VD
    SHATTUCK, SH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) : 435 - 440
  • [2] DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS
    SINGHAL, M
    [J]. COMPUTER, 1989, 22 (11) : 37 - 48
  • [3] FALSE DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS
    WUU, GT
    BERNSTEIN, AJ
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (08) : 820 - 821
  • [4] AN ALGORITHM FOR RESOURCE DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS
    JAVAGAL, RD
    DATTA, AK
    GHOSH, S
    [J]. COMPUTING SYSTEMS, 1992, 7 (04): : 257 - 264
  • [5] Distributed deadlock detection in mobile agent systems
    Ashfield, B
    Deugo, D
    Oppacher, F
    White, T
    [J]. DEVELOPMENTS IN APPLIED ARTIFICAIL INTELLIGENCE, PROCEEDINGS, 2002, 2358 : 146 - 156
  • [6] DISTRIBUTED DEADLOCK DETECTION
    CHANDY, KM
    MISRA, J
    HAAS, LM
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1983, 1 (02): : 144 - 156
  • [7] DISTRIBUTED DEADLOCK DETECTION
    BRACHA, G
    TOUEG, S
    [J]. DISTRIBUTED COMPUTING, 1987, 2 (03) : 127 - 138
  • [8] Efficient generalized deadlock detection and resolution in distributed systems
    Lee, SJ
    [J]. 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2001, : 47 - 54
  • [9] PROTOCOLS FOR DEADLOCK DETECTION IN DISTRIBUTED DATABASE-SYSTEMS
    HO, GS
    RAMAMOORTHY, CV
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (06) : 554 - 557
  • [10] An efficient generalized deadlock detection and resolution algorithm in distributed systems
    Farajzadeh, N
    Hashemzadeh, M
    Mousakhani, M
    Haghighat, AT
    [J]. FIFTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - PROCEEDINGS, 2005, : 303 - 307