基于Pi-演算的虚拟环境下进程通信建模与应用-计算机技术专业论文.docxVIP

学校代码 分 类 号  10701 TP301.2  学 号 1203121827 密 级 公开 西安电子科技大学 硕士学位论文 基于 Pi-演算的虚拟环境下进程通信 建模与应用 作者姓名：葛润润 领 域：计算机技术 学位类别： 工程硕士 学校导师姓名、职称：鱼滨教授 企业导师姓名、职称：张晓红研究员 提交日期： 2014 年 12 月 Modeling and Application of Inter-process Communication in Virtual Environment Based on Pi-Calculus A thesis submitted to XIDIAN UNIVERSITY in partial fulfillment of the requirements for the degree of Master in Computer Technology By Ge runrun Supervisor: Yu bin Zhang xiaohong December 2014 西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标 注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成 果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说 明并表示了谢意。 学位论文若有不实之处，本人承担一切法律责任。 本人签名： 日 期： 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究 生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保 留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内 容，可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，获得学 位后结合学位论文研究成果撰写的文章，署名单位为西安电子科技大学。 保密的学位论文在 年解密后适用本授权书。 本人签名： 导师签名： 日 期： 日 期： 摘要 摘要 西安电子科 西安电子科技大学硕士学位论文 I I PAGE PAGE VI 摘要 近年来，由于计算机技术的推动，以虚拟机技术为支撑的服务和应用得到了 迅猛发展。 目前，虚拟机技术已经被推广到了计算机的诸多领域。虚拟机技术能够帮助 整合服务器资源，提高设备的利用率；提供隔离的运行环境，帮助开发者分析软 件的兼容性问题，也能规避恶意软件带来的风险；运用虚拟技术能实现操作系统 和应用软件的实时迁移，从而解决服务器负载均衡问题，也能够完成服务器的在 线维护和升级，辅助构建高可靠性的系统；将虚拟技术与云计算结合，产生云虚 拟主机，大大促进了云服务的应用。 本文介绍了 Xen 的虚拟化原理和关键技术，重点分析了 Xen 虚拟机中进程通 信的过程。采用进程代数 Pi-演算为通信过程建模，并分别对 Xen 虚拟机域管理 过程、同一个物理机器上域间进程通信过程和不同物理机器上虚拟机通信过程建 立了 Pi-演算模型，并分析了建模过程中的数据传递和控制传递的过程。 最后利用 MWB 工具对上述建模的执行步骤和是否存在死锁进行了验证。验 证结果表明进程通信模型是正确的，为虚拟机进程通信方案的分析和改进打下了 良好基础。 关键词：进程通信， 虚拟机， Pi-演算， 模型验证 论文类型：应用基础研究类 AB ABSTRACT 西安电子科 西安电子科技大学硕士学位论文 III III PAGE PAGE IV ABSTRACT In recent years, due to the promotion of computer science and technology, service and applications supported by virtual machine technology has developed rapidly. At present, the virtual machine technique has been extended to many fields of computer. Virtual machine technology can help to solve the integration of server resources and improve the utilization rate of equipment.It can provide the isolation o