论文部分内容阅读
为了最大限度地减小检测点设置和卷回恢复的时间、空间开销,提出了基于异步消息记录的卷回恢复算法.同以前的算法相比较,该算法一方面节省了用于进程之间同步的时间开销,另一方面检测点设置及卷回过程中只涉及少量的相关进程,并且减少了保存检测点的空间开销.文中对算法的正确性进行了证明,并通过模拟实验给出了算法的开销.