Coherence-based coordinated checkpointing for software distributed shared memory systems | IEEE Conference Publication | IEEE Xplore