Using the cause-effect level to dispose

Processes that triggered a checkpoint may also trigger the disposal of the checkpoints associated with that checkpoint level.

We require that all processes that triggered that checkpoint participate to the disposal session.

Processes that enter a session with a higher dispose level will dispose the local checkpoint labelled with the indicated checkpoint level upon entering the session.

Next: Conclusions

Previous: Using the cause-effect level to rollback

International Symposium on Computers and Communications