转:http://blog.csdn.net/sicofield/article/details/54863202
小结:全虚拟化采用三级地址映射(VA->PA->MA),VA-PA是虚拟地址到虚拟机物理地址的映射,通过虚拟机自己页表来实现;
PA-MA是虚拟机物理地址到主机机器地址的映射,通过影子页表来实现。
在真实的物理机器里,我们可以将地址层次抽象成两层,一层是虚拟地址,另一层是物理地址。而虚拟地址到物理地址的映射(PA->MA)参考:地址管理
而在虚拟化的环境中(如右图),GuestOS之中的地址映射是: PA(进程地址)->HA 。问题就在于HA向真实的物理地址MA的转换(HA -> MA,通过影子页表来实现)。
- 以Xen为例子来说明:
Xen是支持全虚拟化和半虚拟化的,所以Xen提供了两种地址转换模式:直接模式(同直接运行类似)和影子模式。
半虚拟化方式是需要修改GuestOS内核的,所以可以通过修改GuestOS的页表,让页表维护PA->MA之间的映射,中间跳过HA,这个就是直接模式。(半虚拟化方式下客户机操作系统知道自己运行在虚拟环境之中)。
全虚拟化时,客户机操作系统是不能修改的,那原客户机页表维护的映射就不一定能正确找到真实的宿主机物理地址,于是就采用影子模式。
影子模式,也就是影子页表机制,是在原来的两层地址层次基础上加了一层伪物理地址层次(如第一幅图的右图)。
新建并维护着一张页表,就是影子页表,进行客户机虚拟地址和宿主机物理地址(机器地址)之间的映射。
客户OS创建之后,VMM创建其对应影子页表。刚开始影子页表是空的,此时任何客户OS的访存操作都会发生缺页中断,然后VMM捕获缺页异常,根据VFN在客户机页表中得到PFN,然后在P2M表中得到MFN,写入影子页表。这样逐步完成客户机所有虚拟地址到宿主机机器地址的映射。
影子页表与客户机页表的同步(注意是同步,不是相同)。基本原理是对客户机页表进行写保护,VMM就会捕获到客户机页表项的修改,然后陷入到VMM中对影子页表进行相应修改以保持同步。
【推荐】还在用 ECharts 开发大屏?试试这款永久免费的开源 BI 工具!
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 后端思维之高并发处理方案
· 理解Rust引用及其生命周期标识(下)
· 从二进制到误差:逐行拆解C语言浮点运算中的4008175468544之谜
· .NET制作智能桌面机器人:结合BotSharp智能体框架开发语音交互
· 软件产品开发中常见的10个问题及处理方法
· 后端思维之高并发处理方案
· 千万级大表的优化技巧
· 在 VS Code 中,一键安装 MCP Server!
· 想让你多爱自己一些的开源计时器
· 10年+ .NET Coder 心语 ── 继承的思维:从思维模式到架构设计的深度解析