Checkpoint processing and recovery: an efficient, scalable alternative to reorder buffers | IEEE Journals & Magazine | IEEE Xplore