On Tue, Oct 11, 2011 at 1:57 PM, cc Luit <
universalbillow@xxxxxxxxx> wrote:
> appreciate your explanation so much, that's really detail and helpfull!
> but I think for the propagate from GPT to SPT, it's not always need the sync
> all the time, I know in the early version of xen there is not need to do
> that, but just the Lazy mode, which means (just what I understand, but not
> sure):
> when guest os modify the GPT, do not emulate (there is no write-protected
> PTE, so guest can directly modify it)
> 1) when the access right ascension, the guest OS will INVLPG to shootdown
> TLB, so hypervisor can catch the INPLPG inst to sync up the SPT/GPT
> 2) when access right down, when guest OS access this page it will trap to
> xen, xen will catch #PF to sync up SPT/GPT,
> We already do something like this for L1 pages; search for "SHOPT_OUT_OF_SYNC".