| 
  中国博士学位论文全文数据库
  关闭
Xen虚拟机研究     在线阅读　整本下载　分章下载　分页下载 本系统暂不支持迅雷或FlashGet等下载工具
【英文题名】 The Research on Virtual Machine Based-on Xen
【作者】 孟江涛;
【导师】 卢显良;
【学位授予单位】 电子科技大学;
【学科专业名称】 计算机系统结构
【学位年度】 2010
【论文级别】 博士
【网络出版投稿人】 电子科技大学
【网络出版投稿时间】 2011-04-19
【关键词】 虚拟机监控器; 虚拟机; Xen; 安全操作系统; CSP进程代数; 系统调用; 入侵检测系统; 性能; 虚拟装置;
【英文关键词】 virtual machine monitor; virtual machine; Xen; secure operating system; CSP process algebra; system call; intrusion detection system; performance; virtual apparatus;
【中文摘要】 Xen是运行于x86体系结构上的虚拟机监控器,它支持多个客户操作系统以高性能和强隔离性同时运行。Xen是遵循GNU许可的开源软件。随着现代计算机的发展和Intel x86体系结构的流行,Xen成为一个研究热点。 本文系统地总结和分析前人的研究成果。对基于Xen的虚拟机在操作系统安全性、可靠性、面向特定应用的性能、面向特定应用的部署等方面进行了深入细致的研究。本文的主要内容为: 1.提出了一个优化Xen虚拟机操作系统安全性的模型。新模型中,利用保护环和安全内核的功能,虚拟机监控器Xen中被用来保护运行时安全内核。虚拟机监控器运行在有最高特权级的保护环上,安全内核和用户进程分别运行在次高特权级和最低特权级的保护环上。当次高特权级的安全内核试图写某些关键的系统资源时,写操作必须经过运行于最高特权级的Xen的验证和许可。结果,该模型能够阻止恶意代码修改并绕过运行时安全内核。 2.提出了一种用形式化方法优化Xen虚拟机块设备IO可靠性的方法。用通信顺序进程和软件体系结构等形式化方法描述了Xen的块设备IO体系结构,增加了约束其构件并发交互行为的设计准则,理论上确保了并发交互的不死锁,提高了系统的...
【英文摘要】 Xen is a virtual machine monitor for x86 that supports execution of multiple guest operating systems with high performance and strong resource isolation. Xen is open source software released under the terms of the GNU General Public license. With the development of modern computer and the popularity of Intel x86 architecture, more researches are focused on Xen. In this thesis, the previous researches are surveyed and analyzed comprehensively. For virtual machine based on Xen, we present deep and elabora...
【更新日期】 2011-06-24

【相同导师文献】

导师：卢显良    导师单位：电子科技大学    学位授予单位：电子科技大学
[1] 肖诗瀚.基于P2P的视频点播系统的设计与仿真[D]. 电子科技大学,2008
[2] 石开强.集群WEB代理服务器的设计[D]. 电子科技大学,2008
[3] 桂涛.CDN系统内容路由的研究[D]. 电子科技大学,2008
[4] 王欣.计算机信息安全策略的维度思考与电子商务设计[D]. 电子科技大学,2008
[5] 刘金山.基于DHT的P2P搜索引擎的研究[D]. 电子科技大学,2008
[6] 张可峰.一种高性能资源索引服务器的设计与实现[D]. 电子科技大学,2008
[7] 徐旭.家庭智能网关的设计及实现[D]. 电子科技大学,2007
[8] 刘卫星.一种P2P网络存储系统的设计与实现[D]. 电子科技大学,2008
[9] 彭姗姗.基于P2P的运营支撑系统的研究与设计[D]. 电子科技大学,2008
[10] 董瑛.P2P高性能流媒体服务器的研究与设计[D]. 电子科技大学,2008
xxx
【读者推荐文章】中国期刊全文数据库 中国重要报纸全文数据库 中国博士学位论文全文数据库 中国优秀硕士学位论文全文数据库 中国重要会议论文全文数据库
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　 自动化技术、计算机技术
　　 计算技术、计算机技术
　　　 一般性问题
　　　　 设计与性能分析
  
 
  CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司
其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）
京ICP证040431号    互联网出版许可证 新出网证（京）字008号