From: Gleb Natapov <gleb@redhat.com>
To: Paolo Bonzini <pbonzini@redhat.com>
Cc: qemu-devel@nongnu.org, ehabkost@redhat.com, kvm@vger.kernel.org
Subject: Re: [PATCH uq/master 1/2] x86: fix migration from pre-version 12
Date: Mon, 9 Sep 2013 14:28:18 +0300 [thread overview]
Message-ID: <20130909112817.GA5709@redhat.com> (raw)
In-Reply-To: <522DABF9.2080205@redhat.com>
On Mon, Sep 09, 2013 at 01:07:37PM +0200, Paolo Bonzini wrote:
> >>>> In fact, another bug is that kvm_vcpu_ioctl_x86_set_xsave ignores
> >>>> xstate_bv when XSAVE is not available. Instead, it should reset the
> >>>> FXSAVE data to processor-reset values (except for MXCSR which always
> >>>> comes from XRSTOR data), i.e. to all-zeros except for the x87 control
> >>>> and tag words. It should also check reserved bits of MXCSR.
> >>>
> >>> I do not see why.
> >>
> >> Because otherwise it behaves in a subtly different manner for XSAVE and
> >> non-XSAVE hosts.
> >
> > I do not see how. Can you elaborate?
>
> Suppose userspace calls KVM_SET_XSAVE with XSTATE_BV=0.
>
> On an XSAVE host, when the guest FPU state is loaded KVM will do an
> XRSTOR. The XRSTOR will restore the FPU state to default values.
>
> On a non-XSAVE host, when the guest FPU state is loaded KVM will do an
> FXRSTR. The FXRSTR will load the FPU state from the first 512 bytes of
> the block that was passed to KVM_SET_XSAVE.
>
> This is not a problem because userspace will usually pass to
> KVM_SET_XSAVE only something that it got from KVM_GET_XSAVE, and
> KVM_GET_XSAVE will never set XSTATE_BV=0. However, KVM_SET_XSAVE is
> supposed to emulate XSAVE/XRSTOR if it is not available, and it is
> failing to emulate this detail.
>
You are trying to be bug to bug compatible :) XSTATE_BV can be zero only
if FPU state is reset one, otherwise the guest will not survive. KVM_SET_XSAVE
is not suppose to emulate XSAVE/XRSTOR, it is not emulator function. It
is better to outlaw zero value for XSTATE_BV at all, but we cannot do it
because current QEMU uses it.
> >>>> Yes. QEMU unmarshals information from the XSAVE region and back, so it
> >>>> cannot support MPX or AVX-512 yet (even if KVM were). Separate bug, though.
> >>>>
> >>> IMO this is the main issue here, not separate bug. If we gonna let guest
> >>> use CPU state QEMU does not support we gonna have a bad time.
> >>
> >> We cannot force the guest not to use a feature; all we can do is hide
> >
> > Of course we can't, this is correct for other features too, but this is
> > guest's problem.
>
> Ok, then we agree that QEMU doesn't have a problem? The XSAVE data will
Which problem exactly. The problems I see is that 1. We do not support
MPX and AVX-512 (but this is probably not the problem you meant :)) 2. 0D
data is not consistent with features. Guest may not expect it and do stupid
things.
> always be "fresh" as long as the guest obeys CPUID bits it receives, and
> the CPUID bits that QEMU passes will never enable XSAVE data that QEMU
> does not support.
>
--
Gleb.
WARNING: multiple messages have this Message-ID (diff)
From: Gleb Natapov <gleb@redhat.com>
To: Paolo Bonzini <pbonzini@redhat.com>
Cc: qemu-devel@nongnu.org, kvm@vger.kernel.org, ehabkost@redhat.com
Subject: Re: [Qemu-devel] [PATCH uq/master 1/2] x86: fix migration from pre-version 12
Date: Mon, 9 Sep 2013 14:28:18 +0300 [thread overview]
Message-ID: <20130909112817.GA5709@redhat.com> (raw)
In-Reply-To: <522DABF9.2080205@redhat.com>
On Mon, Sep 09, 2013 at 01:07:37PM +0200, Paolo Bonzini wrote:
> >>>> In fact, another bug is that kvm_vcpu_ioctl_x86_set_xsave ignores
> >>>> xstate_bv when XSAVE is not available. Instead, it should reset the
> >>>> FXSAVE data to processor-reset values (except for MXCSR which always
> >>>> comes from XRSTOR data), i.e. to all-zeros except for the x87 control
> >>>> and tag words. It should also check reserved bits of MXCSR.
> >>>
> >>> I do not see why.
> >>
> >> Because otherwise it behaves in a subtly different manner for XSAVE and
> >> non-XSAVE hosts.
> >
> > I do not see how. Can you elaborate?
>
> Suppose userspace calls KVM_SET_XSAVE with XSTATE_BV=0.
>
> On an XSAVE host, when the guest FPU state is loaded KVM will do an
> XRSTOR. The XRSTOR will restore the FPU state to default values.
>
> On a non-XSAVE host, when the guest FPU state is loaded KVM will do an
> FXRSTR. The FXRSTR will load the FPU state from the first 512 bytes of
> the block that was passed to KVM_SET_XSAVE.
>
> This is not a problem because userspace will usually pass to
> KVM_SET_XSAVE only something that it got from KVM_GET_XSAVE, and
> KVM_GET_XSAVE will never set XSTATE_BV=0. However, KVM_SET_XSAVE is
> supposed to emulate XSAVE/XRSTOR if it is not available, and it is
> failing to emulate this detail.
>
You are trying to be bug to bug compatible :) XSTATE_BV can be zero only
if FPU state is reset one, otherwise the guest will not survive. KVM_SET_XSAVE
is not suppose to emulate XSAVE/XRSTOR, it is not emulator function. It
is better to outlaw zero value for XSTATE_BV at all, but we cannot do it
because current QEMU uses it.
> >>>> Yes. QEMU unmarshals information from the XSAVE region and back, so it
> >>>> cannot support MPX or AVX-512 yet (even if KVM were). Separate bug, though.
> >>>>
> >>> IMO this is the main issue here, not separate bug. If we gonna let guest
> >>> use CPU state QEMU does not support we gonna have a bad time.
> >>
> >> We cannot force the guest not to use a feature; all we can do is hide
> >
> > Of course we can't, this is correct for other features too, but this is
> > guest's problem.
>
> Ok, then we agree that QEMU doesn't have a problem? The XSAVE data will
Which problem exactly. The problems I see is that 1. We do not support
MPX and AVX-512 (but this is probably not the problem you meant :)) 2. 0D
data is not consistent with features. Guest may not expect it and do stupid
things.
> always be "fresh" as long as the guest obeys CPUID bits it receives, and
> the CPUID bits that QEMU passes will never enable XSAVE data that QEMU
> does not support.
>
--
Gleb.
next prev parent reply other threads:[~2013-09-09 11:28 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-09-05 13:06 [PATCH uq/master 0/2] KVM: issues with XSAVE support Paolo Bonzini
2013-09-05 13:06 ` [Qemu-devel] " Paolo Bonzini
2013-09-05 13:06 ` [PATCH uq/master 1/2] x86: fix migration from pre-version 12 Paolo Bonzini
2013-09-05 13:06 ` [Qemu-devel] " Paolo Bonzini
2013-09-08 11:40 ` Gleb Natapov
2013-09-08 11:40 ` [Qemu-devel] " Gleb Natapov
2013-09-09 8:31 ` Paolo Bonzini
2013-09-09 8:31 ` [Qemu-devel] " Paolo Bonzini
2013-09-09 9:03 ` Gleb Natapov
2013-09-09 9:03 ` [Qemu-devel] " Gleb Natapov
2013-09-09 9:53 ` Paolo Bonzini
2013-09-09 9:53 ` [Qemu-devel] " Paolo Bonzini
2013-09-09 10:54 ` Gleb Natapov
2013-09-09 10:54 ` [Qemu-devel] " Gleb Natapov
2013-09-09 10:58 ` Gleb Natapov
2013-09-09 10:58 ` [Qemu-devel] " Gleb Natapov
2013-09-09 11:07 ` Paolo Bonzini
2013-09-09 11:07 ` [Qemu-devel] " Paolo Bonzini
2013-09-09 11:28 ` Gleb Natapov [this message]
2013-09-09 11:28 ` Gleb Natapov
2013-09-09 11:46 ` Paolo Bonzini
2013-09-09 11:46 ` [Qemu-devel] " Paolo Bonzini
2013-09-09 12:00 ` Gleb Natapov
2013-09-09 12:00 ` [Qemu-devel] " Gleb Natapov
2013-09-05 13:06 ` [PATCH uq/master 2/2] KVM: make XSAVE support more robust Paolo Bonzini
2013-09-05 13:06 ` [Qemu-devel] " Paolo Bonzini
2013-09-08 11:52 ` Gleb Natapov
2013-09-08 11:52 ` [Qemu-devel] " Gleb Natapov
2013-09-09 8:51 ` Paolo Bonzini
2013-09-09 8:51 ` [Qemu-devel] " Paolo Bonzini
2013-09-09 9:18 ` Gleb Natapov
2013-09-09 9:18 ` [Qemu-devel] " Gleb Natapov
2013-09-09 9:50 ` Paolo Bonzini
2013-09-09 9:50 ` [Qemu-devel] " Paolo Bonzini
2013-09-09 10:41 ` Gleb Natapov
2013-09-09 10:41 ` [Qemu-devel] " Gleb Natapov
2013-09-09 12:00 ` Paolo Bonzini
2013-09-09 12:00 ` [Qemu-devel] " Paolo Bonzini
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=20130909112817.GA5709@redhat.com \
--to=gleb@redhat.com \
--cc=ehabkost@redhat.com \
--cc=kvm@vger.kernel.org \
--cc=pbonzini@redhat.com \
--cc=qemu-devel@nongnu.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.