基于异步消息记录(CMLA)的卷回恢复算法

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