【技术实现步骤摘要】
【技术保护点】
一种用于无线传感器网络分布式实时协同设计的一致性保持方法,其特征在于,包括以下步骤: (1)逻辑时间的标注:每个站点S↓[i]维护一个N维矢量V↓[i],这里V↓[i][i]是S↓[i]的本地逻辑时钟,V↓[i][j]表示S↓[i]对S↓[j]的本地逻辑时间的最新了解,S↓[i]以此对操作加时间标签; (2)逻辑时间的生成:站点在初始化时对逻辑时间清零,站点在产生一项操作后,将本地逻辑时钟递增一次; (3)逻辑时间的发送:站点在发送一项操作事件时,本地逻辑时间对事件加盖时间标签,然后广播该事件至其它站点; (4)逻辑时间的接收:站点S↓[i]接收到来自其它站点的逻辑时间O↓[new]后,修改本地逻辑时间为V↓[i][k]:=max(V↓[i][k],V↓[Onew][k]),1≤k≤N; (5)最终结果收敛性的保持:站点S↓[i]维持一个历史记录HL存放已执行的操作,当某个操作事件O↓[new]迟到,则取消在历史记录中的按SUM全序列O↓[new]之后的所有操作,执行O↓[new]并将O↓[new]存入HL中,并重新执行HL中被取消的所有操作。
【技术特征摘要】
【专利技术属性】
技术研发人员:肖波,
申请(专利权)人:中科院嘉兴中心微系统所分中心,
类型:发明
国别省市:33[中国|浙江]
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。