基于GloMoSim的移动环境下检查点算法的仿真

来源 :第十三届全国容错计算学术会议 | 被引量 : 0次 | 上传用户:mylovesm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件检查点技术是移动计算系统普遍采用的一种重要容错策略,对提高移动计算网络容错性能具有重要意义。本文利用GloMoSim无线网络仿真器,对基于移动支持站结构的移动计算环境下检查点卷回恢复协议进行仿真。通过在GloMoSim应用层中添加检查点协议,并对已有的基于时间和基于乐观消息日志的检查点算法的实例进行仿真试验,仿真结果验证检查点算法能很好运行并符合已有的研究成果。
其他文献
特性 长势强,植株紧凑,叶色深绿,主蔓结瓜为主,回头瓜多,早期产量高,越冬栽培亩产可达75000千克。瓜条顺直,长30厘米左右,瓜色深绿,把短,有光泽,刺瘤较密,果肉脆嫩。抗霜霉
介绍了TTCN-3测试系统的基本结构,并根据该结构提出一种基于Eclipse平台的TTCN-3测试系统。通过对TTCN-3图形表示格式规范的研究,拓展了规范并将图形编辑模块及测试套自动生成
为了实现混合信号片上系统(SoC)中快速、低成本的模拟IP核测试访问,本文提出了一种自保持模拟IP核测试外壳(wrapper)设计。本设计复用片上数模转换器(DAC)和模数转换器(ADC),提
会议
为科学评价软件测试员的测试能力,本文提出两个纵向比较的量化指标MAP(NMAP)和CAP(NCAP)。从工程应用的实践看,这两个指标能够反映出测试员能力水平随时间变化的情况和不同测试
概率转移矩阵模型是用于评估门级电路可靠性的一种方法,它假定基本门的故障感染概率p,需要建立电路输入到输出的概率转移矩阵。为了使评估更加准确,本文将芯片生产中的低层因素
会议
本文论述了采用单节点备份方式进行无线传感器网络容错设计的主要过程,使得某单一节点的失效不影响整个网络的正常工作。利用心跳检测算法检测备份节点对中的节点失效,与定向扩
随着1553B总线在航空航天领域的广泛应用,对其可靠性要求日益迫切,而1553B总线的信息传输瓶颈是总线控制器,因此研制容错总线控制器很有必要。为了评测容错系统的可靠性及为容错
会议
目前针对配电网故障信息有畸变情况的故障定位并没有很理想的方法,本文利用配电网呈辐射状特性,提出了一种基于故障状态树的配电网故障定位方法。该方法将配电网馈线网络转换成
会议
为建立域间流量分布估算模型,采用从BGP路由表导出域间地址前缀传播图,根据流量转发是按照地址前缀传播图相反方向进行的原理,以自治域接收到邻居通告的网络地址的数量占比的代
两两组合覆盖测试已被作为一种实际而有效的方法应用于软件测试中。目前国内外对两两组合覆盖测试用例生成方法已有了广泛的研究。为了便于分析现有生成方法时,本文首先提出先
会议