分布式系统的检查点和回滚恢复| IEEE期刊和杂志| IEEE Xplore