start to implement periodically checkpointing based on executed instructions