This survey covers rollback-recovery techniques that do not require special language
constructs. In the first part of the survey we classify rollback-recovery protocols into …

Distributed Algorithms for Message-Passing Systems Page 1 Michel Raynal Distributed Algorithms
for Message-Passing Systems Page 2 Distributed Algorithms for Message-Passing Systems Page …

Checkpoint is defined as a designated place in a program at which normal processing is
interrupted specifically to preserve the status information necessary to allow resumption of …

Future requirements for computing speed, system reliability, and cost-effectiveness entail the
development of alternative computers to replace the traditional von Neumann organization …

Few books comprehensively cover the software and programming aspects of reversible
computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of …

Mobile computing raises many new issues such as lack of stable storage, low bandwidth of
wireless channel, high mobility, and limited battery life. These new issues make traditional …

Checkpointing algorithms are classified as synchronous and asynchronous in the literature.
In synchronous checkpointing, processes synchronize their checkpointing activities so that a …

A useless checkpoint is a local checkpoint that cannot be part of a consistent global
checkpoint. This paper addresses the following problem. Given a set of processes that take …

Covering both the theoretical and practical aspects of fault-tolerant mobile systems, and fault
tolerance and analysis, this book tackles the current issues of reliability-based optimization …

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 …