Optimal Asynchronous Garbage Collection for Checkpointing Protocols with Rollback-Dependency Trackability
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordination. However, to the best of our knowledge, there was no garbage collection algorithm for them which did not use some type of process synchronization, like time assumptions or reliable control message exchanges. This paper addresses the problem of garbage collection for RDT checkpointing protocols and presents an optimal solution for the case where coordination is done only by means of timestamps piggybacked in application messages. Our algorithm uses the same timestamps as off-the-shelf RDT protocols and ensures the tight upper bound on the number of uncollected checkpoints for each process during all the execution.
IC_TECH_REPORT_200445.pdf
openaccess
430.32 KB
Adobe PDF
769c9f197bcdbc3e71b2bcb75724742d