[发明专利]一种容错移动计算系统记录节点事件日志的方法

权利要求书

1.一种容错移动计算系统记录节点事件日志的方法，该方法中使用的容错构件包括移动支持站(3)上的支持站消息处理机制(8)、日志记录机制(9)、内存(10)和可靠存储设备(11)，移动主机节点(2)上的进程检查点接口(12)和节点消息处理机制(13)；日志记录机制为其服务组(6)内移动主机节点的计算进程(7)维护LogArray、P_LogArray、P_U_LogArray三个一维数组；节点消息处理机制为本地的计算进程维护TEN、DEN两个记录偏序信息的变量，TEN为计算进程历经处理事件的总数，DEN为计算进程历经处理非确定性事件的总数，其特征是，具体步骤如下：

a.移动主机节点将计算进程历经的事件信息交付给节点消息处理机制，节点消息处理机制更新计算进程历经事件的总数TEN和计算进程历经非确定性事件的总数DEN；

b.节点消息处理机制将事件信息和TEN，DEN一同发送给本地移动支持站；

c.本地移动支持站的支持站消息处理机制将事件信息交付给日志记录机制，日志记录机制生成事件信息对应的日志确定因子#e，将#e添加到移动支持站上的一维数组；

d.日志记录机制根据事件信息附带的TEN和DEN校正数组LogArray中元素的顺序；

e.日志记录机制根据事件信息的类型判断是否触发可靠存储过程，若事件信息为计算进程检查点、计算进程输入、输出提交或中断事件时，则触发可靠存储过程，将移动支持站上内存中的数组LogArray更新至可靠存储设备中的数组P_LogArray；若事件信息为进程间普通消息事件时，不触发可靠存储过程。

2.根据权利要求1所述的一种容错移动计算系统记录节点事件日志的方法，其特征是：所述的日志确定因子#e由表示事件e发起者标识的e.source、表示事件e最终处理者标识的e.dest、表示保存事件e内容数据信息的e.data、表示e.dest历经非确定性事件个数的e.dsn、表示e.dest历经事件总数的e.tdsn、表示e.source历经非确定性事件个数的e.sdsn、表示e.source历经事件总数的e.stdsn和记录e是否为确定性事件的e.ide构成，其中若e为确定性事件，ide＝0，若e为非确定性事件，ide＝1。

3.根据权利要求1或2所述的一种容错移动计算系统记录节点事件日志的方法，其特征是：所述的计算进程历经的事件信息为移动主机计算进程检查点，计算进程检查点由参与计算任务的移动主机节点依照预先设定的时间间隔序列定期调用检查点接口创建获得，所述的移动支持站上的一维数组为移动支持站内存中的LogArray。

4.根据权利要求1或2所述的一种容错移动计算系统记录节点事件日志的方法，其特征是：所述的计算进程历经的事件信息为移动主机计算进程输入、输出提交或中断事件，所述移动支持站上的一维数组为移动支持站内存中的LogArray。

5.根据权利要求1或2所述的一种容错移动计算系统记录节点事件日志的方法，其特征是：所述的计算进程历经的事件信息为移动主机计算进程发往外地服务组的普通消息事件或移动计算进程接收的普通消息事件，若事件信息的目标进程不处于本地移动支持站所在的服务组，所述的移动支持站上的一维数组为移动支持站可靠存储设备中的P_U_LogArray；若事件信息的目标进程处于本地移动支持站所在的服务组，所述的移动支持站上的一维数组为移动支持站内存中的LogArray。