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

摘要：

在设计分布式容错系统的架构时,不仅要控制所有组件正常运行时的标准系统活动,还要控制某个组件失效时的情形.在传统的分布式容错系统设计中,这两者的模块实现往往具有紧密的耦合性,这为大型分布式容错系统的理解、设计、开发与维护增加了难度.为了解决这个问题,提出了一种新的方法,参考Hoare的通信顺序进程理论,使用维也纳定义语言元语言来定义这样一种描述语言:它不仅能够描述分布式计算的并发现象,还能够独立刻画系统的容错行为.这种解决方案体现了现代编程语言走向抽象化的必然趋势,也为分布式容错计算研究领域的发展提供了一种新的思路.

关键词：分布式容错计算、FTDL、VDL

所属期刊栏目：43

分类号：TP302.8(计算技术、计算机技术)

资助基金：福建省自然科学基金项目A030007

在线出版日期：2016-07-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：146-149,168