Deadlock-free incremental replay of message-passing programs

被引：4
|
作者：
Zambonelli, F
Netzer, RHB
机构：
[1] Univ Modena, Dipartimento Sci Ingn, I-41100 Modena, Italy
[2] IP Performance Inc, N Scituate, RI 02857 USA
来源：
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING | 2001年 / 61卷 / 05期
基金：
美国国家科学基金会;
关键词：
distributed debugging; checkpointing; incremental replay; adaptive logging; deadlock;
D O I：
10.1006/jpdc.2001.1703
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
To support incremental replay of message-passing applications. processes must periodically checkpoint and the content of some messages must be logged, to break dependencies of the current slate of the execution on past events. This paper shows that known adaptive logging algorithms are likely to introduce deadlocks in replay, and we introduce a new algorithm that: (i) prevents deadlocks in replay and (ii) enables the tuning of its behavior to meet specific user needs. (C) 2001 Academic Press.
引用
收藏
页码：667 / 678
页数：12
相关论文
共 47 条
  • [1] Decentralized deadlock-free enforcement of message orderings in message-based systems
    Samadi, Mahboubeh
    Ghassemi, Fatemeh
    Khosravi, Ramtin
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2024, 144
  • [2] Kind of deadlock-free scheduling method
    Xu Gang & Wu Zhiming 1416 Postbox
    Institute of Automation
    Journal of Systems Engineering and Electronics, 2004, (03) : 399 - 406
  • [3] AN APPROACH TO PROVIDING SMALL-WAITING TIME DURING DEBUGGING MESSAGE-PASSING PROGRAMS
    Nam Thoai
    Volkert, Jens
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2005, 6 (02): : 1 - 12
  • [4] REQUIREMENTS FOR DEADLOCK-FREE, ADAPTIVE PACKET ROUTING
    CYPHER, R
    GRAVANO, L
    SIAM JOURNAL ON COMPUTING, 1994, 23 (06) : 1266 - 1274
  • [5] From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs
    Vidal, German
    FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, 2024, 14485 : 103 - 123
  • [6] A deadlock-free lock-based synchronization for GPUs
    Anand, Anshu S.
    Srivastava, Akash
    Shyamasundar, R. K.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2019, 31 (07)
  • [7] Deadlock-free Production Scheduling with Dynamic Buffers in MES
    Mo, Taiping
    Liao, Shengjuan
    Mo, Wei
    SMART SCIENCE, 2014, 2 (04) : 196 - 201
  • [8] A Deadlock-free NoC Architecture for the Sea of Heterogeneous Processing Elements
    Young, Chung-Ping
    Lin, Yen-Bor
    2016 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST), 2016, : 199 - 203
  • [9] Deadlock-free multicasting in irregular networks using prefix routing
    Wu, J
    Sheng, L
    JOURNAL OF SUPERCOMPUTING, 2005, 31 (01) : 63 - 78
  • [10] Progressive retry for software failure recovery in message-passing applications
    Wang, YM
    Huang, YN
    Fuchs, WK
    Kintala, C
    Suri, G
    IEEE TRANSACTIONS ON COMPUTERS, 1997, 46 (10) : 1137 - 1141
12345