updates to checkpoint and allocate