Please wait a minute...
浙江大学学报(工学版)
J4  2011, Vol. 45 Issue (4): 614-620    DOI: 10.3785/j.issn.1008-973X.2011.04.005
自动化技术、电信技术     
基于软件模拟的虚拟机系统故障插入工具
车建华, 何钦铭, 陈建海, 王备
浙江大学 计算机科学与技术学院,浙江 杭州 310027
Software simulation-based fault injection tool of
virtual machine system
CHE Jian-hua, HE Qin-ming, CHEN Jian-hai, WANG Bei
College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China
 全文: PDF  HTML
摘要：

对虚拟机系统故障插入工具所涉及的故障模型、插桩方式、触发机制和监控跟踪等进行研究.通过统计分析各种虚拟机系统的故障症状,给出虚拟机系统的典型故障模型（包括故障类型、故障位置、发生模型和持续时间等）及实现代码.在研究虚拟机系统架构和故障插入实现原理的基础上,采用软件模拟方法基于Xen系统设计一个故障插入工具——SFIVE,介绍相应的插桩方式、触发机制和监控机制.实验分析表明,SFIVE具有较高的虚拟机系统故障覆盖率,能够激活和监控与大部分虚拟机相关的插桩故障.
Abstract:

The mechanism involved by fault injection tools for virtual machine system such as failure model, injection mode, trigging mechanism, monitor and trace was studied. The typical failure model (including fault type, fault location, occurrence mechanism and duration) and its implementation were proposed by statistically analyzing the fault symptoms occurring in various virtual machine systems. By investigating the architecture of virtual machine system and the principle of fault injection, a fault injection tool for Xen system using software simulation method was designed—software fault injector for virtualized environments (SFIVE), and its injection mode, trigging mechanism, monitor and trace were introduced. Experimental results show that SFIVE has higher fault type coverage of virtual machine system, and can activate and monitor most of fault types related to virtual machine.
出版日期: 2011-05-05
:  TP 393  
基金资助:

国家“973”重点基础研究发展规划资助项目（2007CB310900）.
通讯作者: 何钦铭，男，教授，博导.     E-mail: hqm@cs.zju.edu.cn
作者简介: 车建华（1979—），男，河北景县人，博士生，从事虚拟计算、性能评测等研究. E-mail: chejianhua@zju.edu.cn
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　

引用本文:

车建华, 何钦铭, 陈建海, 王备. 基于软件模拟的虚拟机系统故障插入工具[J]. J4, 2011, 45(4): 614-620.

CHE Jian-hua, HE Qin-ming, CHEN Jian-hai, WANG Bei. Software simulation-based fault injection tool of
virtual machine system. J4, 2011, 45(4): 614-620.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2011.04.005    或    http://www.zjujournals.com/eng/CN/Y2011/V45/I4/614

［1］ ROSENBLUM M, GARFINKEL T. Virtual machine monitors: current technology and future trends ［J］. Computer, 2005, 38(5): 39-47.
［2］ SHIVELEY R. Enhanced virtualization on Intel architecturebased servers ［R］. California: Intel Corporation, 2005.
［3］ ALDINUCCI M, DANELUTTO M, TORQUATI M, et al. VirtuaLinux: virtualized highdensity clusters with no single point of failure ［C］∥ Proceedings of the International Conference ParCo2007. France: IOS, 2007: 355-362.
［4］ WEI Lunkao, IYER R. DEFINE: a distributed fault injection and monitoring environment ［C］∥ Proceedings of IEEE Workshop on FaultTolerant Parallel and Distributed Systems. California: IEEE, 1995: 252-259.
［5］ HAN S, SHIN K, ROSENBERG H. DOCTOR: an integrateD sOftware fault injeCTiOn enviRonment for distributed real time systems ［C］∥ Proceedings of Computer Performance and Dependability Symposium. Germany: IEEE, 1995: 204-213.
［6］ BARTON J H, CZECK E W, SEGALL Z Z, et al. Fault injection experiments using FIAT ［J］. IEEE Transactions on Computers, 1990, 39(4): 575-582.
［7］ KANAWATI G A, KANAWATI N A, ABRAHAM J A. FERRARI: a tool for the validation of system dependability properties ［C］∥ Proceedings of the 22nd International Symposium on Fault Tolerant Computing. Washington: IEEE, 1992: 336-344.
［8］ STOTT D T, FLOERING B, BURKE D, et al. NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors ［C］∥ Proceedings of the IEEE International Computer Performance and Dependability Symposium. Washington: IEEE, 2000: 91-100.
［9］ DAWSON S, JAHANIAN F, MITTON T. Orchestra: a fault injection environment for distributed systems ［C］∥ Proceedings of the 26th International Symposium on FaultTolerant Computing. Washington: IEEE, 1996: 404-414.
［10］ CARREIRA J, MADEIRA H, SILVA J G. Xception: software fault injection and monitoring in processor functional units ［C］∥ Proceedings of the 5th IFIP Working Conference on Dependable Computing for Critical Applications. Washington: IEEE, 1998: 245-266.
［11］ HSUEH M C, TSAI T K, IYER R K. Fault injection techniques and tools ［J］. Computer, 1997, 30(4): 75-82.
［12］ AVAREZ G, CRISTIAN F. Centralized failure for distributed, faulttolerant protocol testing ［C］∥ Proceedings of the 17th IEEE International Conference on Distributed Computing Systems. Washington: IEEE, 1997: 78-86.
［13］ CHOI G S, IYER R K. FOCUS: an experimental environment for fault sensitivity analysis ［J］. IEEE Transactions on Computers, 1992, 41(12): 1515-1526.
［14］ JENN E, ARLAT J, RIMEN M, et al. Fault injection into VHDL models: the MEFISTO tool ［C］∥ Proceedings of the 24th International Symposium on Fault Tolerant Computing. Washington: IEEE, 1994: 66-75.
［15］ GUNNETLO O, KARLSSON J, TONN J. Evaluation of error detection schemes using fault injection by heavyion radiation ［C］∥ Proceedings of the 19th International Symposium on Fault Tolerant Computing. Washington: IEEE, 1989: 340-347.
［16］ ARLAT J, CROUZET Y, LAPRIE J C. Fault injection for dependability validation of faulttolerant computer systems ［C］∥ Proceedings of the 19th International Symposium on Fault Tolerant Computing. Washington: IEEE, 1989: 348-355.
[1] 李德骏,汪港,杨灿军,金波,陈燕虎. 基于NTP和IEEE1588海底观测网时间同步系统[J]. J4, 2014, 48(1): 1-7.
[2] 郭童,林峰. 基于混合遗传鱼群算法的贝叶斯网络结构学习[J]. J4, 2014, 48(1): 130-135.
[3] 杜瑞忠, 田俊峰, 张焕国. 基于信任和个性偏好的云服务选择模型[J]. J4, 2013, 47(1): 53-61.
[4] 张帅,孙建伶,徐斌,黄超,KAVS Aleksander J.. 基于RBAC的跨多企业服务组合访问控制模型[J]. J4, 2012, 46(11): 2035-2043.
[5] 陈岁生,卢建刚,楼晓春. 基于MDS-MAP和非线性滤波的WSN定位算法[J]. J4, 2012, 46(5): 866-872.
[6] 杨朝晖,李善平,林欣. 增量型上下文信息服务的质量优化实时调度[J]. J4, 2012, 46(1): 90-97.
[7] 高庆,李善平,杨朝晖. 基于虚拟场的能量高效传感器网络地理路由[J]. J4, 2012, 46(1): 98-104.
[8] 潘巨龙,李善平,张道远. 无线传感器网络簇内可疑节点的博弈检测方法[J]. J4, 2012, 46(1): 72-78.
[9] 钱剑锋, 尹建伟, 董金祥. 结构化P2P网络的语义发布/订阅系统
负载均衡算法[J]. J4, 2011, 45(10): 1710-1719.
[10] 杨朝晖,李善平,林欣. LBS中面向K-匿名服务资源约束的匿名度调节算法[J]. J4, 2011, 45(7): 1154-1160.
[11] 潘纲, 李石坚, 陈云星. ScudContext:信息-物理空间融合的大规模
环境上下文服务[J]. J4, 2011, 45(6): 991-998.
[12] 张莉苹,潘纲,郑能干,杨国青,李红,赵民德. SmartC模型与代码一致性双向生成方法及开发平台[J]. J4, 2011, 45(1): 20-29.
[13] 李鉴庭,金心宇,唐军,张昱. 基于无线多媒体传感器网络的目标定位方法[J]. J4, 2011, 45(1): 45-49.
[14] 舒挺, 孙守迁,王海宁,徐伟强. ESIS序列自适应生成算法[J]. J4, 2010, 44(11): 2183-2187.
[15] 陈友荣, 俞立, 董齐芬, 洪榛. 基于近邻算法的无线传感器网络功率控制[J]. J4, 2010, 44(7): 1321-1326.