Using message semantics for fast-output commit in checkpointing-and-rollback recovery | IEEE Conference Publication | IEEE Xplore