[发明专利]一种具有前向恢复特征的后向恢复容错方法

摘要

本发明公开了一种具有前向恢复特征的后向恢复容错方法。该方法以故障位控制消息的发送；若发送和接收进程均无故障，发送进程发送消息前先把消息和其对应的逻辑时钟存放在消息日志然后发送消息；若进程处于故障恢复阶段禁止其发送消息；若接收进程有故障，发送进程等待直至其恢复后才发送消息至此进程；从而达到无故障进程在系统故障恢复阶段有条件执行的效果。当进程发生故障时，在恢复线程控制下首先从消息日志获取重演消息和对应逻辑时钟，然后根据消息的逻辑时钟对重演消息重新排序；最后把排序后的消息重新发送至故障进程，故障进程重新接收消息、处理消息，从而实现消息的重演。

主权项

一种具有前向恢复特征的后向恢复容错方法，其特征是，采用消息重排序方法，通过故障位控制消息的发送达到无故障进程在其它进程发生故障时有条件执行的效果,若发送和接收进程均无故障发送进程发送消息前先把消息和其对应的逻辑时钟一次性存放在消息日志然后发送消息；当进程发生故障时，在恢复线程控制下首先从消息日志获取重演消息和对应逻辑时钟，然后根据消息的逻辑时钟对重演消息重新排序；最后把排序后的消息重新发送至故障进程，故障进程重新接收消息、处理消息，从而实现消息的重演；该方法需要的普通进程Pi发送函数SendM(i,j,LCi,m)工作步骤如下：步骤1、若Fi＝0，表明消息发送进程Pi无故障，则转入步骤2；否则Fi＝1，表明Pi存在故障，转入步骤4；其中Fi是故障向量F的一个分量，用于表示进程Pi的故障状态，Fi＝0表示消息发送进程Pi无故障，Fi＝1表示Pi存在故障；步骤2、若Fj＝0，则转入步骤3；否则Fj＝1，转入步骤2，等待消息接收进程Pj从故障状态中恢复,Pj的故障由Recover(j)线程恢复；其中Fj是故障向量F的一个分量，用于表示消息接收进程Pj的故障状态，Fj＝0表示Pj无故障，Fj＝1表示Pj存在故障；步骤3、发送和接收进程均无故障情况下，发送进程的逻辑时钟加一：LCi←LCi+1；添加消息信息<i,j,LCi,m>至消息日志文件的末尾，转入步骤5；其中，i和j分别表示发送进程Pi和接收进程Pj的进程序号，LCi表示Pi进程的逻辑时钟变量，m表示消息的负载；步骤4、发送进程的逻辑时钟加一：LCi←LCi+1；结束消息发送过程；步骤5、发送应用消息AM<i,j,LCi,m>至接收进程Pj，结束消息发送进程。