Static and pseudo-dynamic checkpoint insertion for co-ordinated checkpointing of duplicated processes /
Abstract: "Process duplication and checkpoint comparison is necessary to detect a process failure when coverage of the fault detection mechanism of the processors is incomplete [8, 13]. Each process is duplicated on two processors and their states are compared periodically. The comparison occu...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
College Station, Tex. :
Texas A & M University, Computer Science Dept.,
[1993]
|
| Series: | Technical report (Texas A & M University. Computer Science Department) ;
93-003. |
| Subjects: |
| Summary: | Abstract: "Process duplication and checkpoint comparison is necessary to detect a process failure when coverage of the fault detection mechanism of the processors is incomplete [8, 13]. Each process is duplicated on two processors and their states are compared periodically. The comparison occurs at each checkpoint. This requires that the process replicas must checkpoint at the same point during their execution. One possibility for achieving this is to statically insert checkpoints in the code of the process. Such checkpoints can be inserted either by the programmer [2] or by a compiler [9]. Although, static checkpoint insertion is suitable for a single duplicated process, it is not suitable for multiple communicating processes. This report shows that co-ordinated checkpointing using statically inserted checkpoints results in large delays before committing the checkpoints. Pseudo-dynamic checkpointing is an alternative mechanism to achieve co-ordinated checkpointing of duplicated processes. Pseudo- dynamic checkpointing avoids domino effect, minimizes the delay in committing checkpoints, and requires only one permanent checkpoint per process. This report presents the basic concept behind pseudo-dynamic checkpointing and discusses how it may be implemented in a distributed system. The issue of compiler-based checkpoint insertion is discussed briefly." |
|---|---|
| Item Description: | "January 1993"--Page [i]. |
| Physical Description: | [i], 21 leaves : illustrations ; 28 cm. |
| Bibliography: | Includes bibliographical references. |