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