Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability