Using the cause-effect level for checkpointing

The cause-effect relation among checkpoints is tracked by checkpoint levels

A process that enters a session with a checkpoint level higher than the checkpoint level of the preceding session, must record a checkpoint corresponding to the initial state of the forecoming session.

The checkpoint will be labelled with the checkpoint level of the forecoming session.

Next: Using the cause-effect level to rollback

Previous: Implementing cause-effect tracking

International Symposium on Computers and Communications