improved checkpointing virtuoso