虚拟机监控器Xen的可靠性优化.pdfVIP

30 9 Vol ． 30 No ． 9 第 卷第 期 计算机应用 20 10 9 Journal of Computer Applications Sep ． 20 10 年 月 文章编号:100 1 － 908 1 20 10 09 － 2358 － 04 虚拟机监控器Xen 的可靠性优化 ， 孟江涛 卢显良 ， 6 10054 电子科技大学计算机科学与工程学院 成都 mengjiangtao@ uestc． edu ． cn : 、 Xen 。 CSP 摘 要 对一个开源的 主流的虚拟机监控器 进行了优化研究 用通信顺序进程 和软件体系结构等形 Xen I / O ， ， 式化方法描述了 的块设备 体系结构 增加了约束其构件并发交互行为的设计准则 理论上确保了并发交互 ， 。 ， 。 I / O 不死锁 提高了系统的可靠性 以这些设计准则为指导 重新优化设计了相关程序 实验表明优化虽然减小了 吞 ， ， 。 吐量 但系统的可靠性得到了增强 优化仍具有价值 : ; ; ; ;I / O 关键词 虚拟机监控器 通信顺序进程 死锁 可靠性 吞吐量 中图分类号:TP3 11 文献标志码:A Reliability optimization of virtual machine monitor Xen MENG Jiang-tao ， LU Xian-liang School of Comp uter Science and Eng ineering ， University of Electronic Science and Technology of China ， Chengdu Sichuan 6 10054 ， China Abstract : Optimization study was done on the Xen which was open and mainstream virtual monitor machine ． Theories including Communicating Sequential Processes CSP and software architecture were utilized to formalize architecture for block device in Xen ． Design rules were proposed to constrain concurrent interactions among components of architecture for block device． Therefore ， deadlocks were prevented in theory and the reliability was improved ． With the guide of the design rules ， the related programs were overhauled and revised ． Preliminary experiments indicate that I / O throughput aroused by the overhaul is reduced ． However ， reliability of the system is enhanced ． The optimization is still valuable ． Key words : Virtual Machine Monitor VMM ; Communicating Sequential Processes CSP ; deadlock; reliability ; I / O throughput Processes ，CSP ［3］ 和软件体系结构描述语言 Architecture 0 引言 ［4］ Description Language ，ADL WRIGHT 中连接子 connector 虚拟机监控器 Virtual Monitor Machine ，VMM ［1］ 由IBM Xen I / O ， 的概念对 的块设备 体系结构进行形式化的描述 根 20 70 ， ， ［5 － 6］， 在 世纪 年代提出 它是一种系统软件 提供了一个与其 据基于设计准则的死锁分析理论 增加了约束其组件间 Virtual Machine ，VM ， 下硬件相似的虚拟机 抽象 这种抽象 ， Client-Server 交互行