Rollback-dependency trackability: A minimal characterization and its protocol

DOI10.1006/INCO.2000.2906MaRDI QIDQ1854416zbMATH OpenOpenAlexFDO

Authors Roberto Baldoni, Michel Raynal, Jean-Michel Helary

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.2000.2906

Mathematics Subject Classification ID

Distributed algorithms (68W15) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property
• Quantifying rollback propagation in distributed checkpointing
• On the no-Z-cycle property in distributed executions
• A multi-cycle checkpointing protocol that ensures strict 1-rollback
• Consistent global checkpoints based on direct dependency tracking

Cites work

• Checkpointing and Rollback-Recovery for Distributed Systems
• Rollback-dependency trackability
• State Restoration in Systems of Communicating Processes
• Time, clocks, and the ordering of events in a distributed system

Cited in

(6)

• An enhanced model-based checkpointing protocol for preventing useless checkpoints
• A multi-cycle checkpointing protocol that ensures strict 1-rollback
• Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property
• On the no-Z-cycle property in distributed executions
• Quantifying rollback propagation in distributed checkpointing
• Communication patterns and input patterns in distributed computing (invited talk)

This page was built for publication: Rollback-dependency trackability: A minimal characterization and its protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854416)