-
题名分布式容错计算描述语言及其应用研究
- 1
-
-
作者
蔡媛媛
赵致琢
-
机构
厦门大学信息科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2016年第5期146-149,168,共5页
-
基金
福建省自然科学基金项目(A030007)资助
-
文摘
在设计分布式容错系统的架构时,不仅要控制所有组件正常运行时的标准系统活动,还要控制某个组件失效时的情形。在传统的分布式容错系统设计中,这两者的模块实现往往具有紧密的耦合性,这为大型分布式容错系统的理解、设计、开发与维护增加了难度。为了解决这个问题,提出了一种新的方法,参考Hoare的通信顺序进程理论,使用维也纳定义语言元语言来定义这样一种描述语言:它不仅能够描述分布式计算的并发现象,还能够独立刻画系统的容错行为。这种解决方案体现了现代编程语言走向抽象化的必然趋势,也为分布式容错计算研究领域的发展提供了一种新的思路。
-
关键词
分布式容错计算
FTDL
VDL
-
Keywords
Distributed fault-tolerant computing
FTDL
VDL
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
-
题名一种费用最小的非阻塞协同检查点算法
- 2
-
-
作者
门朝光
左德承
杨孝宗
-
机构
哈尔滨工业大学计算机学院
-
出处
《高技术通讯》
EI
CAS
CSCD
2004年第9期20-24,共5页
-
文摘
将协同检查点策略中采取的最小化同步信息以及检查点数量的策略与不阻塞进程的基本运行策略相结合，提出了一种只需最小数量的进程参与的非阻塞协同检查点算法。该算法利用计算检查点避免由于不阻塞进程的基本执行可能产生的孤儿消息。通过在广播确认消息中捎带哪些进程产生了新的检查点的信息，使每个进程的检查点序号在所有进程中是一致的。该算法在费用上优于已有的协同检查点算法。
-
关键词
进程
最小化
消息
费用
确认
信息
非阻塞协同检查点算法
分布式容错计算系统
卷回恢复
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
TP311
[自动化与计算机技术—计算机软件与理论]
-
