CHECKPOINTING APPARATUS AND ALGORITHMS FOR FAULT-TOLERANT TIGHTLY-COUPLED MULTIPROCESSORS

The apparatus and algorithms for establishing checkpoints on a tightly-coupled multiprocessor (TCMP) fall naturally into 3 broad classes: tightly synchronized method (TSM), loosely synchronized method (LSM), and unsynchronized method (USM). TSM-type algorithms force the immediate establishment of a checkpoint whenever a dependency between 2 p..