Linux VMM内存管理子系统研究与实现

来源 :电子科技大学 | 被引量 : 0次 | 上传用户:ll13813568876
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本论文源于Intel公司的Linux VMM项目,该项目是为了实现集成Xen与VT的虚拟机监视器。它能够弥补Xen半虚拟化的缺点,实现真正的完全虚拟化,并拥有与Xen相同的性能优势。 本文在深入研究与分析Xen虚拟技术的基础上,详细阐述了Linux VMM系统核心模块的设计,并着重介绍了内存管理子系统的设计与实现。通过对Xen的虚拟化实现的分析和测试,发现并验证了VMM系统中存在页面抖动现象,由此提出了解决VMM页面抖动的虚拟页Cache思想。在此思想的实现中,采用了高效的虚拟页Cache页面替换算法。 本文提出了Linux VMM MMU虚拟化模型,该模型灵活地实现了MMU虚拟化,并保持较高性能。另外还将Linux VMM MMU虚拟化分为与处理器相关层和与处理器无关层,提高了系统的可移植性。本文最后介绍了MMU虚拟化性能测试,测试结果表明我们的设计完全满足预定目标。
其他文献
本文系统深入地研究了飞行管理系统中的性能管理和自动油门系统,推导了飞机纵向飞行轨迹的性能优化模型并开发了计算软件。结合自动油门系统的建模和控制律研究与发动机指示和
现代移动通信系统突飞猛进,4G已经全面来临,其在带给人类社会前所未有的变革同时,对于其不可或缺的重要组成部分——天线,提出了诸多挑战。为了迎合现代手持通信设备易于携带、功
无线传感器网络(Wireless Sensor Network, WSN)是一门多学科交叉的新兴科学,它综合了传感器、分布式信息、无线通信和嵌入式计算等技术,近年来受到了人们越来越多的关注。无
对于合成孔径雷达(SAR),运动是它成像的依据,也是问题产生的根源。为了获得高的横向分辨率,要求载机沿理想航线飞行。然而,即使是装有高精度的惯导设备的SAR系统,也难以精确
线性调频信号(chirp, LFM)信号广泛应用于通信、雷达、地震和声纳等信息系统中。在这类系统中,LFM信号的检测与参数估计一直是一个重要的研究课题。由于传统傅氏变换不能有效处理LFM信号,长期以来各种基于最大似然估计的算法是解决这一问题的主要途径。由于这些方法在本质上大都可以归结为一个多变量的最优化问题,因而计算量太大,使得算法的工程实现较为困难。近年来对LFM信号的检测和参数估计开始采用时频
随着各种无线通信业务和宽带数据业务的不断发展,频谱资源日趋紧张,如何更高效地利用有限的通信资源已成为无线通信新技术发展的焦点所在。多输入多输出(MIMO)技术是无线通信
无线移动通信技术取得了长足的发展,移动通信给人们的生活方式带来了深刻的变革。无线通信技术的发展呈现了百花齐放的繁荣景象,这一局面的形成和发展,为未来网络共存与融合发展
多输入多输出(MIMO)技术由于能够同时提高无线通信系统的传输速率和传输质量,已成为未来移动通信系统的关键技术之一。但是在复杂的无线通信环境下,来自MIMO系统内部的多天线
传感器技术与通信技术、计算机技术构成信息产业的三大支柱,是当代科学技术发展的一个重要标志,而计算机技术、通信技术和传感器技术结合而构成网络化智能传感器技术,为传感器技
双目立体视觉是通过对同一目标的两幅图像提取、识别、匹配和解释,重建三维环境信息的过程。本文是采用一台摄像机通过移动拍摄空间某一场景的两幅图像,通过计算空间点在两幅