基于效用的云计算容错策略和模型

作     者：范贵生 虞慧群 陈丽琼 刘冬梅 

作者机构：华东理工大学计算机科学与工程系上海200237 计算机软件新技术国家重点实验室南京210093 上海应用技术学院计算机科学与信息工程学院上海200235 

基　　金：国家自然科学基金(批准号:61173048 61300041) 上海市教育委员会科研创新项目(批准号:12YZ166) 高等学校博士学科点专项科研基金博导类资助课题(批准号:20130074110015) 中央高校基本科研业务费专项基金(批准号:WH1314038) 上海市科委重大项目(批准号:12510503800)资助项目 

出 版 物：《中国科学：信息科学》 (Scientia Sinica(Informationis))

年 卷 期：2014年第44卷第1期

页      码：158-176页

摘      要：云计算近年来已成为一种被广泛接受的计算模式.随着云计算在商业、交通、卫生等领域应用的不断推进,云应用系统的可靠性问题引起了人们的特别关注.然而,云应用系统的结构和行为特征复杂,如何保障系统的可靠性是一项极具挑战性的课题.本文研究云计算的容错模型和策略,通过构建可扩展的云计算容错模型,以刻画云计算的运行机理、组件故障行为、云应用间合作和竞争特性.依据云计算的故障及资源服务特征,提出云计算的故障迁移和恢复方案.围绕容错涉及的时间和价格,依次计算云计算组件和云应用的效用,进一步分析各云应用的利益.通过求解模型的Nash均衡,以优化整体云计算的容错效用.最后,利用模型检查技术验证容错模型和容错处理的正确性.本文研究对于揭示云计算的结构和行为特征、建立云计算容错设计理论、提高云计算容错的效用具有理论意义和应用价值.

主 题 词：云计算 容错 Petri网 博弈 模型验证 

学科分类：0839[0839] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.1360/N112013-00131

馆 藏 号：203673890...