An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging