On Sun, 01 Apr 2012 11:38:17 +0800
Xiao Guangrong wrote:
> > About MMU Page Fault Path:
> > 1. Set bit in dirty bitmap
> > 2. Make spte writable
> > 3. Guest re-execute the write
> >
> > If GET_DIRTY_LOG is allowed to write protect the page between step 1 and 2,
> > that page will be made writab
On 03/31/2012 11:12 PM, Takuya Yoshikawa wrote:
> This is what I wanted to read before starting GET_DIRTY_LOG work: about
> possible race between VCPU threads and GET_DIRTY_LOG thread.
>
> Although most things look trivial, there seem to be some interesting
> assumptions
> the correctness is bas
This is what I wanted to read before starting GET_DIRTY_LOG work: about
possible race between VCPU threads and GET_DIRTY_LOG thread.
Although most things look trivial, there seem to be some interesting assumptions
the correctness is based on including mmu lock usage.
Takuya
===
About MMU
