在真实的物理机器里,我们可以将地址层次抽象成两层,一层是虚拟地址,另一层是物理地址。而虚拟地址到物理地址的映射(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中对影子页表进行相应修改以保持同步。