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 条
  • [41] A distributed multi-point network interface for low-latency, deadlock-free on-chip interconnects
    Park, Dongkook
    Nicopoulos, Chrysostomos
    Kim, Jongman
    Vijaykrishnan, N.
    Das, Chita R.
    2006 1ST INTERNATIONAL CONFERENCE ON NANO-NETWORKS AND WORKSHOPS, 2006, : 6 - +
  • [42] Adaptive distributed breakpoint detection and checkpoint space reduction in message passing programs
    Dow, CR
    Lin, CM
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (06): : 547 - 568
  • [43] Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
    Wu, Naiqi
    Zhou, MengChu
    OR SPECTRUM, 2007, 29 (03) : 421 - 443
  • [44] Kite-Inspired Deadlock-Free Deploying for UAV Swarm-to-Swarm in GNSS-Denied Environment
    Li, Yonggang
    Pang, Hongyu
    Li, Haoran
    Li, Qingfeng
    IEEE INTERNET OF THINGS JOURNAL, 2024, 11 (24): : 40204 - 40217
  • [45] Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
    Naiqi Wu
    MengChu Zhou
    OR Spectrum, 2007, 29 : 421 - 443
  • [46] Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach
    Y. Dashora
    S. Kumar
    M. K. Tiwari
    S. T. Newman
    International Journal of Flexible Manufacturing Systems, 2007, 19 : 486 - 515
  • [47] Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based Evolutionary Endosymbiotic Learning Automata approach
    Dashora, Y.
    Kumar, S.
    Tiwari, M. K.
    Newman, S. T.
    INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 2007, 19 (04): : 486 - 515
12345