分布式容错计算描述语言及其应用研究

发布时间：2017-09-03 16:43

  本文关键词：分布式容错计算描述语言及其应用研究

  更多相关文章： 分布式容错计算 FTDL VDL

【摘要】：在设计分布式容错系统的架构时,不仅要控制所有组件正常运行时的标准系统活动,还要控制某个组件失效时的情形。在传统的分布式容错系统设计中,这两者的模块实现往往具有紧密的耦合性,这为大型分布式容错系统的理解、设计、开发与维护增加了难度。为了解决这个问题,提出了一种新的方法,参考Hoare的通信顺序进程理论,使用维也纳定义语言元语言来定义这样一种描述语言:它不仅能够描述分布式计算的并发现象,还能够独立刻画系统的容错行为。这种解决方案体现了现代编程语言走向抽象化的必然趋势,也为分布式容错计算研究领域的发展提供了一种新的思路。
【作者单位】： 厦门大学信息科学与技术学院;
【关键词】： 分布式容错计算 FTDL VDL
【基金】：福建省自然科学基金项目(A030007)资助
【分类号】：TP302.8
【正文快照】： 1　引言随着银行系统、核电站控制系统、医院自助挂号系统、飞行控制系统、火车票网上订票系统、卫星控制系统等系统的开发和应用,分布式系统的容错能力逐渐成为系统设计必须考虑的一个重要因素。自20世纪80年代以来,不论是从故障、差错以及失效三者之间的关系出发,还是从失效

【相似文献】

中国期刊全文数据库 前10条

1 欧阳s，

本文编号：786194