checkpointing reactor migration