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

摘要

本发明属于电通讯数字信息通信领域，具体涉及一种容错无线移动计算系统中记录存储移动主机节点计算进程事件日志内容和事件日志间偏序依赖关系的方法。本发明包括：移动主机节点将计算进程历经的事件信息交付给节点消息处理机制，更新计算进程历经事件的总数和非确定性事件的总数；将事件信息等发送给本地移动支持站；支持站消息处理机制将事件信息交付给日志记录机制，生成对应的日志确定因子#e，将#e添加到移动支持站内存或可靠存储设备中的一维数组；根据附带的TEN和DEN校正一维数组中元素的顺序。该方法能够准确记录移动主机节点计算进程历经事件的内容和事件间偏序依赖关系，同时能够有效提升移动计算系统的日志记录效率。

主权项

一种容错移动计算系统记录节点事件日志的方法，该方法中使用的容错构件包括移动支持站(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；若事件信息为进程间普通消息事件时，不触发可靠存储过程。