支持扩展虚拟同步的组通信算法形式描述与验证

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:linyulan430
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
组通信系统是为方便开发容错的分布式应用系统而提出的一种通信中间件.虚拟同步是组通信系统中的一个重要概念.其本质是限制向所有组成员递交组成员资格变化信息和应用消息的次序.为支持网络可划分的情况,引入了扩展虚拟同步模型.针对扩展虚拟同步模型的特点,提出了一种基于客户/服务器模式的组通信系统架构,并以I/O自动机的形式给出系统内部各模块的服务和算法.最后以继承建模的方式逐步给出该算法的自动机模型,并用形式化的方法验证其正确性.
其他文献
目的高频电波刀治疗宫颈糜烂的疗效观察。方法按照完全随机法将自2013年6月至2014年12月我院收治的76例慢性宫颈炎患者分为两组,即A组(应用CO2激光治疗)和B组(应用高频电波刀治疗
近来,国有企业亏损引起社会的广泛关注。造成企业亏损的原因林林总总,但不少企业亏损的重要原因是其管理者的“败家”行为。这些“败家”厂长无德无能,视企业为玩物,使国有资
目的了解四川省石渠县包虫病流行病学现状,以评价近年包虫病防控效果,为加强包虫病防治分类指导和效果考核提供依据。方法对6~12岁儿童进行B超影像学检查,调查患病情况;调查
摘要:目前,铁路建设标准化管理在向纵深发展,铁路建设标准己趋于完善,为实行标准化管理提供了条件和经验,目前应该在铁道部指导和公司领导下,坚持“高标准、讲科学、不懈怠”,通过项
一粒源自中国的种子,正在世界各地生根发芽、开花结果。4月25~27日,第二届'一带一路'国际合作高峰论坛在北京举行,来自150多个国家和90多个国际组织的近5000名外宾应
结合柴汶河抢险实例,从防汛抢险道路建设、防汛物资准备、抢险队伍培训及抢险新机具的应用等方面,探讨影响水利工程险情抢护进度的多方因素并提出建议,以期缩短抢险用时,减少人民
为了构建高性能的分类系统,应用模糊集软化数量型属性的划分边界,提出了模糊分类关联规则的挖掘算法.由于模糊集能很好地贴近人类的思维方式,因此挖掘得到的模糊分类关联规则
通过专家访谈和录像解析综合考察和阐述了足球比赛中的沟通与信号传递.结果显示:中老年和青少年足球比赛中的沟通与信号传递有着各自特点;沟通和信号传递与知识、经验、心理以
点阵码是以信息编码和图像处理为核心的基础信息技术,基于点阵码的新型人机互动方式是服务于“智慧城市”的一项新技术。文章对点阵码的分类、特点、现状进行了研究归纳,重点阐
针对通信网络的传播时延会给基于速率反馈的流量控制带来极大的不利影响,提出了基于Kalman算法的反馈控制和神经网络在线预测补偿相结合的复合控制,对ATM网络的ABR流量进行控