×

通过迭代冗余为基于组件的分布式计算系统设计容错策略。 (英语) Zbl 1407.68069号

摘要:可靠性是基于组件的分布式计算系统的一个关键问题,一些分布式软件允许在开放网络上存在大量潜在的故障组件。在这种大规模、复杂的分布式组件环境中,故障是不可避免的,其中可能包括许多不可信的部分。如何提供高可靠性的基于组件的分布式系统是一个具有挑战性的问题,也是一个关键的研究课题。通常,冗余和复制被用来实现容错的目标。在本文中,我们提出了一种CFI(关键故障迭代)冗余技术,通过该技术可以保证利用资源(例如计算和存储)和创建容错应用程序的效率。当在具有未知组件可靠性的环境中运行时,CFI冗余比其他技术(例如,K模块冗余和N版本编程)更有效和适应性更强。在CFI冗余策略中,使用函数调用关系和调用频率对函数的重要性进行排序,并识别通过功能等效组件实现的最脆弱的函数。必须在效率和可靠性之间进行权衡。本文进行了形式化的理论分析和实验分析。与现有方法相比,基于组件的分布式系统的可靠性可以通过容忍少量重要组件而大大提高。

MSC公司:

64岁以下 分布式系统
68米15 网络和计算机系统的可靠性、测试和容错
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 安德森,D.P。;Fedak,G.,志愿计算的计算和存储潜力,第六届IEEE集群计算和网格国际研讨会论文集(CCGRID’06)·doi:10.1109/CCGRID.2006.101
[2] Kim,H。;Lee,H。;Lee,K.,AVTMR(全表决三模冗余)和双联系统的设计与分析,可靠性工程与系统安全,88,3,291-300(2005)·doi:10.1016/j.ress.2004.08.012
[3] Chen,L。;Avizienis,A.,N版本编程:软件操作可靠性的容错方法,第八届IEEE容错计算国际研讨会论文集(FTCS'78)
[4] Avizienis,A.,N版本编程的方法,软件容错,3,23-46(1995)
[5] 巴塔格尔,V。;Mrvar,A.,Pajek:大型网络分析和可视化程序(2005),斯洛文尼亚卢布尔雅那:卢布尔雅那大学
[6] Brin,S.,《大型超文本网络搜索引擎的剖析》,《计算机网络和ISDN系统》,30,1,107-117(1998)·doi:10.1016/S0169-7552(98)00110-X
[7] Borthakur,D.,《hadoop分布式文件系统:架构和设计》
[8] Anderson,D.P.,BOINC:公共资源计算和存储系统,第五届IEEE/ACM网格计算国际研讨会论文集,IEEE·doi:10.1109/GRID.2004.14
[9] Christensen,C。;Aina,T。;Staintforth,D.,《志愿者计算与漫长的气候模型模拟的挑战》,第一届电子科学与网格计算国际会议论文集,IEEE·doi:10.1109/E-SCIENCE.2005.76
[10] 奥利纳,A.J。;Aiken,A.,生产系统中多组件交互的在线检测,IEEE/IFIP第41届可靠系统与网络国际会议论文集(DSN’11),IEEE·doi:10.1109/DSN.2011.5958206
[11] Banabic,R。;坎迪亚,G。;Guerraoui,R.,分布式系统中的自动漏洞发现,IEEE/IFIP第41届可靠系统和网络国际会议论文集(DSN-W'11),IEEE·doi:10.1109/DSNW.2011.5958811
[12] 布伦,Y。;爱德华兹,G。;Bang,J.Y。;Medvidovic,N.,分布式计算的智能冗余,第31届分布式计算系统国际会议论文集(ICDCS’11),IEEE·doi:10.1109/ICDCS.2011.25
[13] Bondavalli,A。;Chiaradonna,S。;Di Giandomenico,F。;Xu,J.,在分布式计算环境中实现硬件和软件容错的自适应方法,《系统体系结构杂志》,47,9,763-781(2002)·doi:10.1016/S1383-7621(01)00029-7
[14] 郑,Z。;周天川。;Lyu,M.R。;King,I.,容错云应用的组件排名,IEEE服务计算交易,5,4,540-550(2012)·doi:10.1109/TSC.2011.42
[15] 利特瓦克,N。;Hofstad,R.,具有重尾度的随机图中的度-度相关性,《物理评论》E,87(2013)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。