From: Avi Kivity <avi@redhat.com>
To: Marcelo Tosatti <mtosatti@redhat.com>
Cc: kvm <kvm@vger.kernel.org>
Subject: Re: KVM: MMU: remove prefault from invlpg handler
Date: Sat, 05 Dec 2009 18:57:44 +0200 [thread overview]
Message-ID: <4B1A9108.6090000@redhat.com> (raw)
In-Reply-To: <20091205143411.GA16237@amt.cnet>
On 12/05/2009 04:34 PM, Marcelo Tosatti wrote:
> The invlpg prefault optimization breaks Windows 2008 R2 occasionally.
>
> The visible effect is that the invlpg handler instantiates a pte which
> is, microseconds later, written with a different gfn by another vcpu.
>
> The OS could have other mechanisms to prevent a present translation from
> being used, which the hypervisor is unaware of.
>
> Fix by making invlpg emulation follow documented behaviour.
>
>
Good catch. How did you track it down?
I don't think the OS has "other mechanisms", though - the processor can
speculate the tlb so that would be an OS bug. It looks like a race:
> Signed-off-by: Marcelo Tosatti<mtosatti@redhat.com>
>
>
> diff --git a/arch/x86/kvm/paging_tmpl.h b/arch/x86/kvm/paging_tmpl.h
> index a601713..58a0f1e 100644
> --- a/arch/x86/kvm/paging_tmpl.h
> +++ b/arch/x86/kvm/paging_tmpl.h
> @@ -455,8 +455,6 @@ out_unlock:
> static void FNAME(invlpg)(struct kvm_vcpu *vcpu, gva_t gva)
> {
> struct kvm_shadow_walk_iterator iterator;
> - pt_element_t gpte;
> - gpa_t pte_gpa = -1;
> int level;
> u64 *sptep;
> int need_flush = 0;
> @@ -470,10 +468,6 @@ static void FNAME(invlpg)(struct kvm_vcpu *vcpu, gva_t gva)
> if (level == PT_PAGE_TABLE_LEVEL ||
> ((level == PT_DIRECTORY_LEVEL&& is_large_pte(*sptep))) ||
> ((level == PT_PDPE_LEVEL&& is_large_pte(*sptep)))) {
> - struct kvm_mmu_page *sp = page_header(__pa(sptep));
> -
> - pte_gpa = (sp->gfn<< PAGE_SHIFT);
> - pte_gpa += (sptep - sp->spt) * sizeof(pt_element_t);
>
> if (is_shadow_present_pte(*sptep)) {
> rmap_remove(vcpu->kvm, sptep);
> @@ -492,18 +486,6 @@ static void FNAME(invlpg)(struct kvm_vcpu *vcpu, gva_t gva)
> if (need_flush)
> kvm_flush_remote_tlbs(vcpu->kvm);
> spin_unlock(&vcpu->kvm->mmu_lock);
> -
> - if (pte_gpa == -1)
> - return;
> - if (kvm_read_guest_atomic(vcpu->kvm, pte_gpa,&gpte,
> - sizeof(pt_element_t)))
> - return;
>
Here, another vcpu updates the gpte and issues a new invlpg.
> - if (is_present_gpte(gpte)&& (gpte& PT_ACCESSED_MASK)) {
> - if (mmu_topup_memory_caches(vcpu))
> - return;
> - kvm_mmu_pte_write(vcpu, pte_gpa, (const u8 *)&gpte,
> - sizeof(pt_element_t), 0);
> - }
>
And here we undo the correct invlpg with the outdated gpte.
Looks like we considered this, since kvm_read_guest_atomic() is only
needed if inside the spinlock, but some other change moved the
spin_unlock() upwards. Will investigate history.
--
Do not meddle in the internals of kernels, for they are subtle and quick to panic.
next prev parent reply other threads:[~2009-12-05 16:57 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-12-05 14:34 KVM: MMU: remove prefault from invlpg handler Marcelo Tosatti
2009-12-05 16:57 ` Avi Kivity [this message]
2009-12-05 17:04 ` Avi Kivity
2009-12-05 19:42 ` Marcelo Tosatti
2009-12-05 20:15 ` Avi Kivity
2009-12-07 20:51 ` Marcelo Tosatti
2009-12-08 10:14 ` Avi Kivity
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=4B1A9108.6090000@redhat.com \
--to=avi@redhat.com \
--cc=kvm@vger.kernel.org \
--cc=mtosatti@redhat.com \
/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