分布式系统有限状态机扩展模型及检查点准同步方法技术方案

本发明专利技术公开了一种分布式系统有限状态机扩展模型及检查点准同步方法，它解决了分布式系统检查点建立过程其精确性和稳定性较差问题。其扩展模型为：它将分布式系统视为若干个进程的集合，有限状态机扩展模型则是由这些有限个进程组成的集合：Ｐ＝｛Ｐ↓［１］，Ｐ↓［２］，…Ｐ↓［ｎ］｝，Ｐ↓［ｉ］表示进程，ｉ＝１，２，…ｎ；ｎ≥２。准同步方法分为二个阶段，第一阶段由协调进程采集各进程信道信息，判别当前分布式系统状态是否是全局一致性状态，若是则各进程分别保存各自状态，算法结束；第二阶段为核实阶段，若不是一致性状态则确定丢失报文的进程，并由协调进程通知丢失报文的发送进程重发所失报文直到所有报文均被接收或由于超时所有进程非正常退出。

【技术实现步骤摘要】

【技术保护点】
一种分布式系统有限状态机扩展模型，其特征是，它将分布式系统视为若干个进程的集合，有限状态机扩展模型则是由这些有限个进程组成的集合：　Ｐ＝｛Ｐ↓［１］，Ｐ↓［２］，…Ｐ↓［ｎ］｝，Ｐ↓［ｉ］表示进程，ｉ＝１，２，３…ｎ；ｎ≥２；ｉ为进程 序号，ｎ为自然数；　Ｐ↓［ｉ］＝｛Ｉ，Ｏ，Ｓ↓［Ｐ］，Ｑ，Ｆ｝，其中：　ａ）Ｉ＝Ｅ↓［ｉｎ］×Ｅ↓［ｏｕｔ］是分布式系统进程输入事件集合，为内部输入事件集Ｅ↓［ｉｎ］与外部输入事件集Ｅ↓［ｏｕｔ］的笛卡积；　其中，Ｅ↓［ｉ ｎ］＝｛ｅ↓［ｉｋ］｜ｋ＝１，２…ｍ｝，ｅ↓［ｉｋ］为分布式系统的内部输入事件；ｉ表示输入事件，ｋ为内部输入事件序号，ｍ为自然数；Ｅ↓［ｏｕｔ］＝｛ｅ↓［ｏｋ］｜ｋ＝１，２…ｎ｝，ｅ↓［ｏｋ］为分布式系统的外部输入事件；ｏ表示输出事件，ｋ为外部输入事件序号，ｎ为自然数；　ｂ）Ｏ＝Ｏ↓［ｉｎ］×Ｏ↓［ｏｕｔ］是分布式系统进程输出事件的集合，为对内输出事件集Ｏ↓［ｉｎ］与对外输出事件集Ｏ↓［ｏｕｔ］的笛卡积，　其中，Ｏ↓［ｉｎ］＝｛ｏ↓［ｉｋ］｜ｋ＝１，２…ｌ｝，ｏ↓ ［ｉｋ］为分布式系统的对内输出事件；ｉ表示对内输出，ｋ为对内输出事件序号；Ｏ↓［ｏｕｔ］｛ｏ↓［ｏｋ］｜ｋ＝１，２…ｗ｝，ｏ↓［ｏｋ］为分布式系统的对外输出事件；下标ｏ表示对外输出，ｋ为对外输出事件序号；　ｃ）Ｓ↓［Ｐ］＝Ｓ×Ｋ×Ｍ× Ｔ×Ｕ是分布式系统进程状态的集合，为进程内部状态集Ｓ、信道输入状态集Ｋ、信道输出状态集Ｍ、改进的向量逻辑时钟集Ｔ和发送向量Ｕ集的笛卡积；　其中，Ｓ＝｛Ｓ↓［ｍ］｜ｍ＝１，２，…ｋ｝为进程内部状态集合，Ｓ↓［ｍ］是进程的内部状态，内部状 态记忆了内部输入事件，ｍ表示内部状态序号，ｋ为自然数；　Ｋ＝｛Ｋ↓［ｔ］｜ｔ＝１，２…ｒ｝为信道输入状态集合，Ｋ↓［ｔ］是信道的输入状态，其记忆了信道所接收报文的信息，ｔ表示信道输入状态序号，ｒ为自然数；Ｋ↓［ｔ］可进一步描述为：　 　Ｋ↓［ｔ］＝｛｛Ｆ↓［ｔｋ］，Ｂ↓［ｔｋ］｝｜ｋ＝１，２，…ｗ｝，其中｛Ｆ↓［ｗｋ］，Ｂ↓［ｗｋ］｝表示进程所接收某份报文的信息，Ｆ↓［ｔｋ］为发送此报文进程的标识，Ｂ↓［ｔｋ］是报文的标识，Ｆ↓［ｔｋ］和Ｂ↓［ｔｋ］均来自于其他报文发 送进程，ｔ表示信道输入状态序号，ｋ为进程所接收报文序号，ｗ为自然数；　Ｍ＝｛Ｍ↓［ｗ］｜ｗ＝１，２…ｌ｝为信道输出状态集合，Ｍ...

【技术特征摘要】

【专利技术属性】
技术研发人员：高胜法，王亚楠，左凤艳，刘翠英，韩建宇，
申请(专利权)人：山东大学，
类型：发明
国别省市：88[中国|济南]