kvm.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Xiao Guangrong <xiaoguangrong@linux.vnet.ibm.com>
To: "\"陳韋任 (Wei-Ren Chen)\"" <chenwj@iis.sinica.edu.tw>
Cc: kvm@vger.kernel.org
Subject: Re: How KVM sync guest page table with corresponding shadow page table?
Date: Thu, 30 Aug 2012 18:44:16 +0800	[thread overview]
Message-ID: <503F4400.6010302@linux.vnet.ibm.com> (raw)
In-Reply-To: <20120824072916.GA67464@cs.nctu.edu.tw>

On 08/24/2012 03:29 PM, 陳韋任 (Wei-Ren Chen) wrote:
> Hi Guangrong,
> 
>   I am not familiar with the term used in paging world, so I need to ask
> some dumb questions.
> 
>> It is controlled by shadow page table, guest-page-tables are write-protected
>> on shadow pages (the W bit on PTE is cleared).
> 
>   O.K.
> 
>> There has a special case, called unsync shadow page, if the page only used
>> as guest page structure on the lowest level (level = 1), we allow it to be
>> writable, it will be sync-ed when the guest flush the tlb (e.g: CR3 reload,
>> invlpg...) because according to x86 TLB rules, it needs to flush tlb to apply
>> the change.
> 
>   What "guest page structure on the lowest level" means? Take a simple two-level
> page hierarchy as an example, do you mean the page table (not page directory)?

Yes.

> In short, if the architecture requires when OS modifies Nth-level page table
> entry, the OS has to flush tlb, then we can unsync shadow page since the modifying
> operations can be trapped by executing tlb flush instruction. Is that right?
> 

Right. Note, as I mentioned above, only Page Table (N0) can be unsync.

>> In the normal case, guest writes its page table will generate #PF since the
>> page is write-protected as we mention above.
> 
>   Let me try to illustrate what happen after HW generating #PF, please correct
> me if I am wrong. :)
> 
>   #PF causes an VMExit, and the control returned to KVM. KVM will use guest
> virtual address (I think this information is accompanied with #PF, stored in cr4
> on x86 for example) to walk guest page table, and KVM will find guest allows

CR2 if no virtualization, Exit qualification if it is running in guest mode


> this access, so something must be wrong in shadow page table. Then KVM will
> go through shadow page table, found the corresponding entry has been set
> to write-protected. Now KVM knows it has to sync guest page table and the
> shadow page table, but how KVM knows what guest OS want to write into guest
> page table entry? 

If shadow page table can mark to writable, we do not need care
"what guest OS want to write", just set the shadow page table to writable
and return to guest, let the guest reexecute the instruction again.

If shadow page table can not mark to writable (such as MMIO or the page is used
as Page Directory), we can emulate the instruction.
> 
>   Let's assume KVM knows, what's next? KVM will make the guest page table
> writable by setting shadow page table entry, contine to execute guest
> instruction which triggers #PF, then sync shadow page table at the same

Yes, guest reexecutes the instruction, no #PF again since the shadow page table
has already been make writable.

> time? It would be great if you can point me out where should I look into
> in KVM source code as a starting code, that makes me understand shadow
> page table stuff more concrete, and I don't have to guess how things
> work. :)


Welcome! :)




  reply	other threads:[~2012-08-30 10:44 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-08-24  7:29 How KVM sync guest page table with corresponding shadow page table? 陳韋任 (Wei-Ren Chen)
2012-08-30 10:44 ` Xiao Guangrong [this message]
  -- strict thread matches above, loose matches on Subject: below --
2012-08-14  3:54 陳韋任 (Wei-Ren Chen)
2012-08-14  9:23 ` Xiao Guangrong

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=503F4400.6010302@linux.vnet.ibm.com \
    --to=xiaoguangrong@linux.vnet.ibm.com \
    --cc=chenwj@iis.sinica.edu.tw \
    --cc=kvm@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).