Communication-induced determination of consistent snapshots

被引：28
|
作者：
Hélary, JM [1 ]
Mostefaoui, A [1 ]
Raynal, M [1 ]
机构：
[1] Inst Rech Informat & Syst Aleatoires, F-35042 Rennes, France
来源：
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS | 1999年 / 10卷 / 09期
关键词：
asynchronous distributed computation; checkpointing; communication-induced protocol; consistency; global checkpoint; message recording; snapshot;
D O I：
10.1109/71.798312
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A classical way to determine consistent snapshots consists in using Chandy-Lamport's algorithm. This algorithm relies on specific control messages that allow processes to synchronize local checkpoint determination and message recording in order for the resulting snapshot to be consistent. This paper investigates a communication-induced approach to determine consistent snapshots. In such an approach, control information is carried out by application messages. Two abstract necessary and sufficient conditions are stated: one associated with global checkpoint consistency, the other associated with message recording. A general protocol is derived from these abstract conditions. Actually, this general protocol can be instantiated in distinct ways, giving rise to a family of communication-induced snapshot protocols. This general protocol shows there is an intrinsic trade-off between the number of forced checkpoints and the number of recorded messages. Finally, a particular instantiation of the general protocol is provided.
引用
收藏
页码：865 / 877
页数：13
相关论文
共 50 条
  • [1] Communication-induced determination of consistent snapshots
    Helary, JM
    Mostefaoui, A
    Raynal, M
    TWENTY-EIGHTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST PAPERS, 1998, : 208 - 217
  • [2] On properties of RDT communication-induced checkpointing protocols
    Tsai, JC
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2003, 14 (08) : 755 - 764
  • [3] Performance of communication-induced checkpointing algorithms
    Manivannan, D
    Zhang, C
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2003, 18 (03): : 129 - 136
  • [4] Communication-induced multimedia checkpoint protocol
    Ono, M
    Hirakawa, T
    Higaki, H
    2004 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXP (ICME), VOLS 1-3, 2004, : 1819 - 1822
  • [5] Communication-induced memory biases in preverbal infants
    Yoon, Jennifer M. D.
    Johnson, Mark H.
    Csibra, Gergely
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2008, 105 (36) : 13690 - 13695
  • [6] Cellular Communication-Induced Dynamics in a Multicellular System
    Yi Qizhi
    Du Yan
    2011 30TH CHINESE CONTROL CONFERENCE (CCC), 2011, : 5680 - 5686
  • [7] Systematic comparisons of RDT communication-induced checkpointing protocols
    Tsai, JC
    10TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2004, : 66 - 75
  • [8] On characteristics of DEF communication-induced checkpointing protocols
    Tsai, J
    Lin, JW
    2002 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2002, : 29 - 36
  • [9] A Scalable Communication-Induced Checkpointing Algorithm for Distributed Systems
    Simon, Alberto Calixto
    Hernandez, Saul E. Pomares
    Cruz, Jose Roberto Perez
    Gomez-Gil, Pilar
    Drira, Khalil
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013, E96D (04) : 886 - 896
  • [10] Trajectory Generation with Communication-Induced Constraints for Surface Vehicles
    Hervagault, Yoann
    Prodan, Ionela
    Lefevre, Laurent
    2017 21ST INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2017, : 482 - 487
12345