[发明专利]一种用于分布式仿真的仿真推进顺序错误识别及修正方法

摘要

本发明公开了一种用于分布式仿真的逻辑时间错误识别及修正方法，是基于向量时间技术提出的用于分布式仿真环境下进行乐观时间推进的方法和系统。该方法由6个核心部分组成，包括：向量时间定义、向量时间更新算法、向量时间比较关系定义、基于向量时间的因果错误判定方法、回滚向量定义及基于回滚向量的分布式仿真回滚算法。在分布式仿真运行过程中，当由于仿真主机计算时间开销过大和网络传输延迟而导致仿真运行结果偏离真实世界，出现因果颠倒时，可利用本方法快速识别因果错误，并通过回滚向量实现高效而精确的回滚控制。本方法不会导致传统方法引起的逐级反消息发送，也不会引起回滚风暴，方法步骤简单、执行效率高。

主权项

一种用于分布式仿真的仿真推进顺序错误识别及修正方法，该方法包括：1)各仿真邦员根据本地事件和接收到的消息当中的时戳构造并更新向量时间，并以时戳的形式将向量时间添加到其发送的消息尾部，其中向量时间中的每一个元素代表一个邦员的逻辑时间；2)仿真邦员从收到的消息中提取时戳，并将其同本地向量时间进行对比，若收到消息所携带的时戳大于等于本地向量时间或无法判定大小关系，则更新本地向量时间，并正常推进仿真执行；3)若发现收到消息所携带的时戳小于本地向量时间，则表明该消息迟到，并据此判定整个仿真系统出现了因果顺序错误；4)发现因果顺序错误的邦员构造回滚向量，并将其添加到回滚消息的尾部，然后广播回滚消息；5)收到回滚消息的邦员提取其中的回滚向量，并同本地向量时间进行对比，如果回滚向量小于本地向量时间，则将本地仿真回退到回滚向量所标识的时间之前，然后重新推进仿真运行。