基于消息重排序和消息数目检验消息日志恢复方法技术

本发明专利技术公开了一种基于消息重排序和消息数目检验消息日志恢复方法。本发明专利技术采用消息重排序方法，发送进程在发送消息时以改善的逻辑时钟间接标记此消息的接收次序并将此次序保存在发送进程本地存储中。当消息接收进程发生故障时，在恢复进程控制下首先从发送进程获取已保存和未保存至日志文件的消息及消息的逻辑时钟，然后根据消息的逻辑时钟对未保存至日志文件的消息重新排序。最后把排序后的消息重新发送至故障进程，故障进程重新接收消息、处理消息，从而实现消息的重演。从而既改善了系统进程在无故障时的运行性能又简化了进程发生故障时的恢复算法。

【技术实现步骤摘要】

本专利技术涉及分布式系统，尤其涉及ー种。
技术介绍
基于消息日志的恢复协议依赖于分段确定性假设(PWD)。根据这ー假设，一个进程的执行分为若干个状态间隔(state interval)，每个状态间隔以ー个不确定事件的执行作为此间隔的开始，后接若干个确定事件的执行。根据PWD假设，消息接收事件是不确定性事件，而消息发送事件和进程的内部事件是确定性事件；因此，ー个状态间隔往往是以ー个消息的接收事件的执行作为状态间隔的开始，后接若干个进程内部事件和消息发送事件的执行。 若某个进程的状态间隔依赖于ー个不确定性事件(例，消息接收事件)且此事件在恢复进程中不能被重新生成，则此进程被称之为孤儿进程。在分段确定性假设(PWD)下，若进程P接收消息Hii后发送消息nij.至进程q，则进程q接收nij.后的状态间隔依赖于进程P接收^后的状态间隔。若进程P在发送消息后未将所接收消息Hii的必要信息保存至日志文件随之P发生故障，则Hli的接收事件在恢复进程中是不可恢复的；依赖于P进程的Hli接收事件的进程q成为孤儿进程。所有日志恢复协议要求系统回滚(rollback)恢复时系统的全局状态不能包含任何孤儿进本文档来自技高网...

【技术保护点】
一种基于消息重排序和消息数目检验消息日志恢复方法，其特征是，采用消息重排序方法，把消息的接收次序保存在发送进程中；当消息接收进程发生故障时，在恢复进程控制下首先从发送进程获取已保存和未保存至日志文件的消息及消息的发送进程对应逻辑时钟，然后根据消息的逻辑时钟对未保存至日志文件的消息重新排序；最后把排序后的消息重新发送至故障进程，故障进程重新接收消息、处理消息，从而实现消息的重演，该方法的需要的普通进程工作步骤如下：步骤1、对于？k为整数变量，初始化Uik＝0以及Tik为0，分别表示进程pi发送到进程pk的消息总数为0以及进程pk接收到进程pi的消息总数为0，同时令lsn=0；步骤2、若定时时间到...

【技术特征摘要】

【专利技术属性】
技术研发人员：高胜法，蔡静，冯振，
申请(专利权)人：山东大学，
类型：发明
国别省市：