基于Pi-演算的虚拟环境下进程通信建模与应用

发布时间：2017-11-09 14:31

  本文关键词：基于Pi-演算的虚拟环境下进程通信建模与应用

  更多相关文章： 进程通信 虚拟机 Pi-演算 模型验证

【摘要】：近年来,由于计算机技术的推动,以虚拟机技术为支撑的服务和应用得到了迅猛发展。目前,虚拟机技术已经被推广到了计算机的诸多领域。虚拟机技术能够帮助整合服务器资源,提高设备的利用率;提供隔离的运行环境,帮助开发者分析软件的兼容性问题,也能规避恶意软件带来的风险;运用虚拟技术能实现操作系统和应用软件的实时迁移,从而解决服务器负载均衡问题,也能够完成服务器的在线维护和升级,辅助构建高可靠性的系统;将虚拟技术与云计算结合,产生云虚拟主机,大大促进了云服务的应用。本文介绍了Xen的虚拟化原理和关键技术,重点分析了Xen虚拟机中进程通信的过程。采用进程代数Pi-演算为通信过程建模,并分别对Xen虚拟机域管理过程、同一个物理机器上域间进程通信过程和不同物理机器上虚拟机通信过程建立了Pi-演算模型,并分析了建模过程中的数据传递和控制传递的过程。最后利用MWB工具对上述建模的执行步骤和是否存在死锁进行了验证。验证结果表明进程通信模型是正确的,为虚拟机进程通信方案的分析和改进打下了良好基础。
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP302

【共引文献】

中国博士学位论文全文数据库 前3条

1 曹文治;虚拟机网络性能优化研究[D];华中科技大学;2013年

2 刘勇鹏;大规模高效能计算的系统软件关键技术研究[D];国防科学技术大学;2012年

3 罗雅琴;视频监控分析云的高可用性研究[D];华中科技大学;2013年

中国硕士学位论文全文数据库 前5条

1 王加亮;基于云计算的海洋环境信息可视化平台技术研究[D];中国海洋大学;2013年

2 杨鹏斐;跨数据中心虚拟机在线迁移研究[D];西北师范大学;2013年

3 张怀方;基于虚拟化技术的信息流安全控制方法[D];北京交通大学;2014年

4 马洪源;基于云计算的农村智能终端构建模式的研究与应用[D];吉林农业大学;2014年

5 官水旺;VTOS系统任务设计与形式化验证[D];南京大学;2014年

，

本文编号：1162292