Multiple coherence and coordinated checkpointing protocols for DSM systems | IEEE Conference Publication | IEEE Xplore