KVM: MMU: Fix SMP shadow instantiation race
authorMarcelo Tosatti <marcelo@kvack.org>
Wed, 12 Dec 2007 00:12:27 +0000 (19:12 -0500)
committerAvi Kivity <avi@qumranet.com>
Wed, 30 Jan 2008 15:53:21 +0000 (17:53 +0200)
There is a race where VCPU0 is shadowing a pagetable entry while VCPU1
is updating it, which results in a stale shadow copy.

Fix that by comparing the contents of the cached guest pte with the
current guest pte after write-protecting the guest pagetable.

Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Signed-off-by: Avi Kivity <avi@qumranet.com>

No differences found