[发明专利]一种不可靠网络上分布式虚拟环境一致性控制方法

摘要

本发明针对分布式虚拟环境在不可靠网络上运行会遇到事件失效、事件间因果关系不一致的问题，提出了一种不可靠网络上分布式虚拟环境一致性控制方法，该方法在发送结点设置事件特定消息格式，使接收结点在事件失效时，能够通过查询本地消息缓存，找出已到达等待时限的消息，并标识消息中事件为当前结果事件，但要正确维护事件间因果一致性，必须保证处理结果事件前，它在消息缓存队列中的所有原因事件要先执行完。因此，需要进一步对比n维离散时间识别它的已传到原因事件，确定它们能按照正确先后关系执行，在所有原因事件执行后，接收结点再处理被标识的当前结果事件，从而保持事件失效情况下因果事件间先后关系的正确传递，有效维护因果一致性。

主权项

1.一种不可靠网络上分布式虚拟环境的因果一致性控制方法，其特征在于：在消息发送时，发送结点设置特定的消息格式，使接收结点出现原因事件失效情况后，通过对结点的缓存消息队列进行扫描，可从中标识已到达等待时限的事件为当前待处理结果事件，该事件能够被处理的条件是已传到的全部原因事件必须在它之前按照因果先后关系先处理完，因此可通过依次解析、比较各事件消息的n维离散时间，在缓存队列中识别出所有已传到的原因事件，并计算各离散时间点以确定它们的先后执行顺序，从而确保结果事件能在处理条件满足后得到正确执行，维护因果一致性；所述的一种不可靠网络上分布式虚拟环境的因果一致性控制方法，其步骤如下：1)发送结点向外发送事件e时，按{e，DTM，tM，ΔTM}的格式设置消息M内容，其中e为事件本身，DTM为结点的n维离散时间，此外还额外携带了事件e的发送时刻tM与等待时限ΔTM；2)接收结点si实时扫描其缓存消息队列MQ，队列中存放的是已接收但不满足处理条件的事件消息，结点si通过计算它的当前时钟t与任意消息M的tM判断是否有事件已到达或超过等待时限，即tM+ΔTM≤t是否成立；3)如果发现存在e满足tM+ΔTM≤t，则e不能再继续等待已失效的原因事件，其消息M必须被si处理，但是e在MQ中可能存在仍未处理的原因事件，它们之间也存在因果关系，只有把e在MQ中缓存的全部原因事件消息先按照因果顺序处理完，si才能正确处理M，有效传递因果关系，因此，需要标记M，并将e作为当前待处理结果事件；4)通过解析e的n维离散时间DTM，并与MQ中其他消息进行比较，可以判断MQ是否存在e的原因事件消息，若没有则直接执行6)；5)将判断后识别出的全部原因消息复制到新队列CQ，其中各消息离散时间值互不相同，离散时间值越小，说明该消息在因果关系中需要越早被处理，因此si经过计算从被标记的CQ找到M’，其DTM’是CQ中离散时间最小的，并处理M’，然后将其分别从CQ、MQ中删除，继续对CQ进行相同循环计算，直至CQ为空后，删除CQ，至此可保证e的全部原因事件已按正确的先后顺序依次被si处理；6)si处理M，之后将M从MQ中删除，则e及其全部已传到原因事件间的因果关系在si得到了有效传递，维护了一致性，si重新返回对MQ实时扫描的状态。