The procedures, including the data and address capturing, checkpointing, copying and rollback procedures, used to implement the following checkpointing strategies:
- a) Local post-image checkpointing using an address buffer;
- b) Post-image checkpointing using two address buffers and two data buffers;
- c) Post-image checkpointing using two address and two data buffers and a bit-map memory storing one bit for each data block in system memory;
- d) Local post-image checkpointing using two bit-map memories each storing one bit for each block in system memory and no address or data buffers;
- e) Local post-image checkpointing using a block-state memory having two bits for each data block in system memory, no address or data buffers, and requiring no memory-to-memory copying;
- f) Pre-image checkpointing using an address buffer and a data buffer.