可靠的分布式系统生存性保障模型

doi:10.3724/SP.J.1087.2012.02748

计算机应用 ›› 2012, Vol. 32 ›› Issue (10): 2748-2751.DOI: 10.3724/SP.J.1087.2012.02748

可靠的分布式系统生存性保障模型

耿技¹,²,陈非¹,聂鹏¹,陈伟¹,秦志光²,³

1. 电子科技大学,计算机科学与工程学院,成都610054
2. 电子科技大学计算机科学与工程学院
3. 电子科技大学,计算机科学与工程学院,成都 610054

收稿日期:2012-04-18 修回日期:2012-05-30 发布日期:2012-10-23 出版日期:2012-10-01
通讯作者: 陈非
作者简介:耿技（1963-）,男,安徽合肥人,教授,博士研究生,主要研究方向：系统软件、软件确保、信息安全；陈非（1988-）,男,江西樟树人,硕士研究生,主要研究方向：软件确保、信息安全；聂鹏(1977-),男,陕西汉中人,博士研究生,主要研究方向：软件确保、软件测试软件可靠性；陈伟（1978-）,男,四川温江人,讲师,博士研究生,主要研究方向：无线网络路由、网络安全；秦志光（1965-）,男,四川隆昌人,教授,博士生导师,主要研究方向：开放系统、中间件、信息安全。
基金资助:
国家自然科学基金资助项目;中央高校基本科研业务费项目中央高校基本科研业务费项目

Reliable assurance model for distributed system survivability

GENG Ji¹,²,CHEN Fei²,NIE Peng²,CHEN Wei²,QIN Zhi-guang¹,²

1.
2. School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu Sichuan 610054,China

Received:2012-04-18 Revised:2012-05-30 Online:2012-10-23 Published:2012-10-01
Contact: CHEN Fei

摘要/Abstract

摘要： 基于检查点的协同式回滚恢复机制是一种针对分布式系统生存性保障的有效机制,现有分布式系统中基于检查点的回滚恢复机制以分布式信道可靠作为假设前提,而实际应用场景中,该假设并不总是成立。针对分布式系统实际的应用环境,提出了适用于信道不可靠的分布式计算环境的协同式系统生存性保障模型。该模型在保留检查点回滚恢复机制优点的基础上,通过建立冗余通信链路和进程迁移来保障不可靠通信信道环境下分布式系统的生存性。

关键词: 检查点, 分布式系统, 软件生存, 回滚恢复, 进程迁移

Abstract: The cooperative rollback recovery mechanism based on checkpointing is an effective mechanism for the survivability of distributed system. The existing cooperative rollback recovery mechanism based on checkpointing presumes that the communication channel is reliable. However, this assumption is not always true in actual application scenarios. For the actual application scenarios of distributed system, a reliable assurance model for the survivability of distributed system was proposed, based on the checkpointing-based rollback recovery mechanism. Through the creation of redundant communication channel and process migration mechanism, the proposed model assures the survivability of distributed system in actual application scenarios where the communication channel is not reliable.

Key words: checkpoint, distributed system, software survivability, rollback recovery, process migration

耿技陈非聂鹏陈伟秦志光. 可靠的分布式系统生存性保障模型[J]. 计算机应用, 2012, 32(10): 2748-2751.

GENG Ji CHEN Fei NIE Peng CHEN Wei QIN Zhi-guang. Reliable assurance model for distributed system survivability[J]. Journal of Computer Applications, 2012, 32(10): 2748-2751.

参考文献

［1］ GUPTA B, RAHIMI S, YANG Y. A novel roll-back mechanism for performance enhancement of asynchronous checkpointing and recovery［J］. Informatica,2007,3(11):1-13. ［2］ ELNOZAHY E N, ALVISI L, WANG Y M, et al.A survey of rollback-recovery protocols in message-passing systems［J］. ACM Computing Surveys, 2002, 34(3): 375-408. ［3］ WANG Y M, CHUNG P Y, LIN I J, et al.Checkpoint space reclamation for uncoordinated checkpointing in message-passing systems［J］.IEEE Transactions on Parallel and Distributed Systems,1995, 6(5): 546-554. ［4］ RUSCIO J F, HEFFNER M A, VARADARJAN S. DejaVu: Transparent user-level checkpointing, migration, and recovery for distributed systems［C］// SC06: Proceedings of the 2006 ACM/IEEE Conference on Supercomputing. New York: ACM, 2006:158. ［5］ MALONEY A, GOSCINSKI A. A survey and review of the current state of rollback-recovery for cluster systems［J］. Concurrency and Computation: Practice and Experience, 2009, 21(12): 1632-1666. ［6］ TRIPATHY M, TRIPATHY C R. A new coordinated checkpointing and rollback recovery scheme for distributed shared memory clusters［J］. International Journal of Distributed and Parallel Systems,2011, 2(1): 49-58. ［7］ PRIYA S B, RAVICHANDRAN T. Fault tolerance and recovery for grid application reliability using check pointing mechanism［J］. International Journal of Computer Applications,2011, 26(5): 32-37. ［8］ BOUTEILLER A, HERAULT T, BOSILCA G, et al.Correlated set coordination in fault tolerant message logging protocols［C］// Euro-Par11: Proceedings of the 17th International Conference on Parallel Processing.Berlin: Springer-Verlag,2011: 51-64. ［9］ CHANDY K M, LAMPORT L. Distributed snapshots: Determining global states of distributed systems［J］. ACM Transactions on Computer Systems,1985, 3(1): 63-75. ［10］ ELNOZAHY E N, JOHNSON D B, ZWAENEPOEL W. The performance of consistent checkpointing［C］// Proceedings of the 11th Symposium on Reliable Distributed Systems.[S.l.]:IEEE, 1992:39-47. ［11］魏晓辉, 鞠九滨. 分布式系统中的检查点算法［J］. 计算机学报,1998, 21(4): 367-375. ［12］慈轶为, 张展, 左德承, 等. 可扩展的多周期检查点设置［J］. 软件学报,2010, 21(2): 218-230. ［13］ RANA M, PANGHAL A, PANGHAL S. Checkpointing based rollback recovery in distributed systems［J］. Journal of Current Computer Science and Technology,2011, 1(6): 45-49. ［14］汪东升, 沈美明, 郑纬民, 等. 一种基于检查点的卷回恢复与进程迁移系统［J］. 软件学报,1999, 10(1): 68-73. ［15］汪东升, 邵明珑. 具有O(n)消息复杂度的协调检查点设置算法［J］. 软件学报,2003, 14(1):43-48.

[1]	吴志军, 王航. 基于订阅/发布服务的广域信息管理系统应急响应机制[J]. 计算机应用, 2020, 40(5): 1340-1347.
[2]	周岳, 陈庆奎. 面向大规模数据接入系统的负载平衡机制[J]. 计算机应用, 2018, 38(1): 50-55.
[3]	肖圣龙, 陈昕, 李卓. 面向社会安全事件的分布式神经网络攻击行为分类方法[J]. 计算机应用, 2017, 37(10): 2794-2798.
[4]	吕宏武, 谷雷, 王慧强, 邹世辰, 冯光升. 分层检查点的近似最优周期计算模型[J]. 计算机应用, 2017, 37(1): 103-107.
[5]	邱桂, 闫仁武. 基于灰色关联分析的分布式协同过滤推荐算法[J]. 计算机应用, 2016, 36(4): 1054-1059.
[6]	陈志佳, 朱元昌, 邸彦强, 冯少冲. 基于虚拟化技术的仿真系统容错优化方法[J]. 计算机应用, 2015, 35(8): 2392-2396.
[7]	魏敏, 刘以安, 吴鸿雁. 分布式系统中局部处理机的设计与实现[J]. 计算机应用, 2015, 35(5): 1290-1295.
[8]	李勇, 吴立慧, 黄宁, 吴维刚. 基于HBase的地理分布副本管理机制[J]. 计算机应用, 2015, 35(11): 3097-3101.
[9]	朱强孙玉强. 高通信效率的分布式流数据聚类算法[J]. 计算机应用, 2014, 34(9): 2505-2509.
[10]	胡晓辉肖知屹陈永李欣. 列车安全距离控制形式化建模与验证[J]. 计算机应用, 2014, 34(3): 851-856.
[11]	张拥军徐新海. 面向计算流体力学应用开发框架的容错周期优化方法[J]. 计算机应用, 2014, 34(2): 382-386.
[12]	范敏徐胜才. 基于Hadoop的海量医学图像检索系统[J]. 计算机应用, 2013, 33(12): 3345-3349.
[13]	侯金奎王磊. 基于Agent的分布式模型形式化语义描述[J]. 计算机应用, 2013, 33(12): 3423-3427.
[14]	郭栋王伟曾国荪. 基于一致性树分布的数据分布式存储方法[J]. 计算机应用, 2013, 33(12): 3432-3436.
[15]	吴晋张国良汤文俊孙一杰. 基于改进人工协调场的多机器人避碰算法[J]. 计算机应用, 2013, 33(11): 3123-3128.

可靠的分布式系统生存性保障模型

Reliable assurance model for distributed system survivability

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics