instruction periodically checkpointing