Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-29 Thread Vitaly Kuznetsov
"Dr. David Alan Gilbert"  writes:

> I'm not sure what the equivalent bear traps are in the Hyper-V world,
> but I'd be surprised if there weren't any; for example what happens
> when someone upgrades one of their hosts to some minor version that
> adds/removes a feature?

Here we're talking about Hyper-V emulation in KVM, features only get
added there, but even if it gets removed it will be detected by libvirt ...

>
> Also, how does libvirt figure out that the features are actually the
> same - does it need a bunch of detection code?

... as I *think* it compares Feature CPUID words (and all Hyper-V
features which we enable with hv-all are there).

-- 
Vitaly



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-29 Thread Dr. David Alan Gilbert
* Vitaly Kuznetsov (vkuzn...@redhat.com) wrote:
> "Dr. David Alan Gilbert"  writes:
> 
> > I'm not sure what the equivalent bear traps are in the Hyper-V world,
> > but I'd be surprised if there weren't any; for example what happens
> > when someone upgrades one of their hosts to some minor version that
> > adds/removes a feature?
> 
> Here we're talking about Hyper-V emulation in KVM, features only get
> added there, but even if it gets removed it will be detected by libvirt ...

OK, but then you do get the same behaviour; upgrade a host to a new
kernel/qemu and get a new enlightenment, and you can't back migrate to
the older one (possibly with no warning).

> >
> > Also, how does libvirt figure out that the features are actually the
> > same - does it need a bunch of detection code?
> 
> ... as I *think* it compares Feature CPUID words (and all Hyper-V
> features which we enable with hv-all are there).

Not too bad if it does, but also look at the scary command lines we get
generated full of -cpu ...+feature,+feature,-feature, 

Dave

> -- 
> Vitaly
--
Dr. David Alan Gilbert / dgilb...@redhat.com / Manchester, UK



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-29 Thread Daniel P . Berrangé
On Mon, Jan 28, 2019 at 06:22:30PM +, Dr. David Alan Gilbert wrote:
> * Vitaly Kuznetsov (vkuzn...@redhat.com) wrote:
> > Roman Kagan  writes:
> > 
> > > On Fri, Jan 25, 2019 at 02:46:42PM +0100, Vitaly Kuznetsov wrote:
> > >> Roman Kagan  writes:
> > >> 
> > >> > On Fri, Jan 25, 2019 at 12:41:51PM +0100, Vitaly Kuznetsov wrote:
> > >> >> In many case we just want to give Windows guests all currently 
> > >> >> supported
> > >> >> Hyper-V enlightenments and that's where this new mode may come handy. 
> > >> >> We
> > >> >> pass through what was returned by KVM_GET_SUPPORTED_HV_CPUID.
> > >> >
> > >> > How is the compatibility ensured on migration between kernels reporting
> > >> > different feature sets?
> > >> 
> > >> AFAIU we don't change anything in this regard (or, my intention was to
> > >> not change anything): hv-all is converted to the individual hv-*
> > >> properties (hv_cpuid_check_and_set()) actually sets cpu->hyperv_* flags
> > >> according to what's supported by kernel so when we migrate we will
> > >> require all these features supported.
> > >
> > > Migration relies on the upper layer to run the destination QEMU with the
> > > identical command line (except for -incoming) as the source, and QEMU is
> > > then supposed to set up identical environment in the target VM as was in
> > > the source, or refuse to start if that's impossible.  (If I'm
> > > misunderstanding this Dave (cc-d) may want to correct me.)
> > >
> > > AFAICS this hv-all attribute will enable different feature sets
> > > depending on the kernel it's run on, so the migration between different
> > > kernels will appear to succeed, but the guest may suddenly encounter an
> > > incompatible change in the environment.
> > 
> > With 'hv-all' I'm trying to achieve behavior similar to '-cpu host' and
> > AFAIK these VMs are migratable 'at your own risk' (if you do it directly
> > from qemu). Libvirt (or whatever upper layer), however, would do CPU
> > feature comparison and in case you have less features on the destination
> > host than you had on the source code it will forbid the migration. I
> > think if this also works for Hyper-V features than were fine.
> > 
> > Dave, feel free to tell me I'm completely wrong with my assumptions)
> 
> It does sound like -cpu host, but -cpu host does come with a health
> warning and we often get subtle screwups where it doesn't quite behave
> the same on the two sides, also qemu now warns (and with 'enforce'
> enforces) a check at it's level rather than relying on libvirt.
> 
> So hmm, yes it sounds like -cpu host, but I'd generally say it's not a
> great thing to copy unless you're really really careful.
> For example, in the -cpu host world people might have two machines
> they think are the same - but then they find out one has HT disabled
> or nesting enabled and so they're not actually the same.
> 
> I'm not sure what the equivalent bear traps are in the Hyper-V world,
> but I'd be surprised if there weren't any; for example what happens
> when someone upgrades one of their hosts to some minor version that
> adds/removes a feature?
> 
> Also, how does libvirt figure out that the features are actually the
> same - does it need a bunch of detection code?

We support "-cpu host" with libvirt because there is a genuine
functional reasont to want to use that, as you can't get precisely
the same result any other way.  This isn't the case with 'hv-all',
as it doesn't offer any feature that you can't already achieve by
listing all the hv-XXX features explicitly.

As such I don't expect libvirt to use 'hv-all' at all.

There's no reason why QEMU can't support it anyway though, for the
simplicity of people launching QEMU manually. Just need to document
that migration caveat - its only safe if QEMU versions match on both
sides.


Regards,
Daniel
-- 
|: https://berrange.com  -o-https://www.flickr.com/photos/dberrange :|
|: https://libvirt.org -o-https://fstop138.berrange.com :|
|: https://entangle-photo.org-o-https://www.instagram.com/dberrange :|



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-29 Thread Vitaly Kuznetsov
Eduardo Habkost  writes:

>
> If libvirt is involved, it's much simpler and safer to use
> something like , which generates a
> migration-safe CPU configuration based on the current host.  Live
> migration support with "-cpu host" is only useful for experiments
> and carefully controlled environments.
>
> Is there a real need to make hv-all migratable?  What would be
> the use case, exactly?  If there's no clear use case, I would
> recommend making it a migration blocker.

There's no clear use-case; I noticed that we keep adding Hyper-V
enlightenments and these make Windows' life on KVM easier so we
recommend enabling them all (and, with an exception for hv-evmcs, which
I also don't enable with hv-all, I'm unawere of cases which would
require disabling certain Hyper-V enlightenments).

hv-all is mostly a convenience feature. I plan to take a look at
'host-model' to see if we can borrow some ideas from there (that would
actually be ideal - build a set of 'hv-*' enlightenments based on
capabilites of the current host) but I'm also not totally against
keeping it the way it is and making it a migration blocker for the time
being (and making it a 'developer-only' feature).

-- 
Vitaly



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-28 Thread Eduardo Habkost
On Mon, Jan 28, 2019 at 06:22:30PM +, Dr. David Alan Gilbert wrote:
> * Vitaly Kuznetsov (vkuzn...@redhat.com) wrote:
> > Roman Kagan  writes:
> > 
> > > On Fri, Jan 25, 2019 at 02:46:42PM +0100, Vitaly Kuznetsov wrote:
> > >> Roman Kagan  writes:
> > >> 
> > >> > On Fri, Jan 25, 2019 at 12:41:51PM +0100, Vitaly Kuznetsov wrote:
> > >> >> In many case we just want to give Windows guests all currently 
> > >> >> supported
> > >> >> Hyper-V enlightenments and that's where this new mode may come handy. 
> > >> >> We
> > >> >> pass through what was returned by KVM_GET_SUPPORTED_HV_CPUID.
> > >> >
> > >> > How is the compatibility ensured on migration between kernels reporting
> > >> > different feature sets?
> > >> 
> > >> AFAIU we don't change anything in this regard (or, my intention was to
> > >> not change anything): hv-all is converted to the individual hv-*
> > >> properties (hv_cpuid_check_and_set()) actually sets cpu->hyperv_* flags
> > >> according to what's supported by kernel so when we migrate we will
> > >> require all these features supported.
> > >
> > > Migration relies on the upper layer to run the destination QEMU with the
> > > identical command line (except for -incoming) as the source, and QEMU is
> > > then supposed to set up identical environment in the target VM as was in
> > > the source, or refuse to start if that's impossible.  (If I'm
> > > misunderstanding this Dave (cc-d) may want to correct me.)
> > >
> > > AFAICS this hv-all attribute will enable different feature sets
> > > depending on the kernel it's run on, so the migration between different
> > > kernels will appear to succeed, but the guest may suddenly encounter an
> > > incompatible change in the environment.
> > 
> > With 'hv-all' I'm trying to achieve behavior similar to '-cpu host' and
> > AFAIK these VMs are migratable 'at your own risk' (if you do it directly
> > from qemu). Libvirt (or whatever upper layer), however, would do CPU
> > feature comparison and in case you have less features on the destination
> > host than you had on the source code it will forbid the migration. I
> > think if this also works for Hyper-V features than were fine.
> > 
> > Dave, feel free to tell me I'm completely wrong with my assumptions)
> 
> It does sound like -cpu host, but -cpu host does come with a health
> warning and we often get subtle screwups where it doesn't quite behave
> the same on the two sides, also qemu now warns (and with 'enforce'
> enforces) a check at it's level rather than relying on libvirt.
> 
> So hmm, yes it sounds like -cpu host, but I'd generally say it's not a
> great thing to copy unless you're really really careful.
> For example, in the -cpu host world people might have two machines
> they think are the same - but then they find out one has HT disabled
> or nesting enabled and so they're not actually the same.
> 
> I'm not sure what the equivalent bear traps are in the Hyper-V world,
> but I'd be surprised if there weren't any; for example what happens
> when someone upgrades one of their hosts to some minor version that
> adds/removes a feature?
> 
> Also, how does libvirt figure out that the features are actually the
> same - does it need a bunch of detection code?

If libvirt is involved, it's much simpler and safer to use
something like , which generates a
migration-safe CPU configuration based on the current host.  Live
migration support with "-cpu host" is only useful for experiments
and carefully controlled environments.

Is there a real need to make hv-all migratable?  What would be
the use case, exactly?  If there's no clear use case, I would
recommend making it a migration blocker.

-- 
Eduardo



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-28 Thread Dr. David Alan Gilbert
* Vitaly Kuznetsov (vkuzn...@redhat.com) wrote:
> Roman Kagan  writes:
> 
> > On Fri, Jan 25, 2019 at 02:46:42PM +0100, Vitaly Kuznetsov wrote:
> >> Roman Kagan  writes:
> >> 
> >> > On Fri, Jan 25, 2019 at 12:41:51PM +0100, Vitaly Kuznetsov wrote:
> >> >> In many case we just want to give Windows guests all currently supported
> >> >> Hyper-V enlightenments and that's where this new mode may come handy. We
> >> >> pass through what was returned by KVM_GET_SUPPORTED_HV_CPUID.
> >> >
> >> > How is the compatibility ensured on migration between kernels reporting
> >> > different feature sets?
> >> 
> >> AFAIU we don't change anything in this regard (or, my intention was to
> >> not change anything): hv-all is converted to the individual hv-*
> >> properties (hv_cpuid_check_and_set()) actually sets cpu->hyperv_* flags
> >> according to what's supported by kernel so when we migrate we will
> >> require all these features supported.
> >
> > Migration relies on the upper layer to run the destination QEMU with the
> > identical command line (except for -incoming) as the source, and QEMU is
> > then supposed to set up identical environment in the target VM as was in
> > the source, or refuse to start if that's impossible.  (If I'm
> > misunderstanding this Dave (cc-d) may want to correct me.)
> >
> > AFAICS this hv-all attribute will enable different feature sets
> > depending on the kernel it's run on, so the migration between different
> > kernels will appear to succeed, but the guest may suddenly encounter an
> > incompatible change in the environment.
> 
> With 'hv-all' I'm trying to achieve behavior similar to '-cpu host' and
> AFAIK these VMs are migratable 'at your own risk' (if you do it directly
> from qemu). Libvirt (or whatever upper layer), however, would do CPU
> feature comparison and in case you have less features on the destination
> host than you had on the source code it will forbid the migration. I
> think if this also works for Hyper-V features than were fine.
> 
> Dave, feel free to tell me I'm completely wrong with my assumptions)

It does sound like -cpu host, but -cpu host does come with a health
warning and we often get subtle screwups where it doesn't quite behave
the same on the two sides, also qemu now warns (and with 'enforce'
enforces) a check at it's level rather than relying on libvirt.

So hmm, yes it sounds like -cpu host, but I'd generally say it's not a
great thing to copy unless you're really really careful.
For example, in the -cpu host world people might have two machines
they think are the same - but then they find out one has HT disabled
or nesting enabled and so they're not actually the same.

I'm not sure what the equivalent bear traps are in the Hyper-V world,
but I'd be surprised if there weren't any; for example what happens
when someone upgrades one of their hosts to some minor version that
adds/removes a feature?

Also, how does libvirt figure out that the features are actually the
same - does it need a bunch of detection code?


Dave

> -- 
> Vitaly
--
Dr. David Alan Gilbert / dgilb...@redhat.com / Manchester, UK



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-28 Thread Vitaly Kuznetsov
Roman Kagan  writes:

> On Fri, Jan 25, 2019 at 02:46:42PM +0100, Vitaly Kuznetsov wrote:
>> Roman Kagan  writes:
>> 
>> > On Fri, Jan 25, 2019 at 12:41:51PM +0100, Vitaly Kuznetsov wrote:
>> >> In many case we just want to give Windows guests all currently supported
>> >> Hyper-V enlightenments and that's where this new mode may come handy. We
>> >> pass through what was returned by KVM_GET_SUPPORTED_HV_CPUID.
>> >
>> > How is the compatibility ensured on migration between kernels reporting
>> > different feature sets?
>> 
>> AFAIU we don't change anything in this regard (or, my intention was to
>> not change anything): hv-all is converted to the individual hv-*
>> properties (hv_cpuid_check_and_set()) actually sets cpu->hyperv_* flags
>> according to what's supported by kernel so when we migrate we will
>> require all these features supported.
>
> Migration relies on the upper layer to run the destination QEMU with the
> identical command line (except for -incoming) as the source, and QEMU is
> then supposed to set up identical environment in the target VM as was in
> the source, or refuse to start if that's impossible.  (If I'm
> misunderstanding this Dave (cc-d) may want to correct me.)
>
> AFAICS this hv-all attribute will enable different feature sets
> depending on the kernel it's run on, so the migration between different
> kernels will appear to succeed, but the guest may suddenly encounter an
> incompatible change in the environment.

With 'hv-all' I'm trying to achieve behavior similar to '-cpu host' and
AFAIK these VMs are migratable 'at your own risk' (if you do it directly
from qemu). Libvirt (or whatever upper layer), however, would do CPU
feature comparison and in case you have less features on the destination
host than you had on the source code it will forbid the migration. I
think if this also works for Hyper-V features than were fine.

Dave, feel free to tell me I'm completely wrong with my assumptions)

-- 
Vitaly



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-28 Thread Roman Kagan
On Fri, Jan 25, 2019 at 02:46:42PM +0100, Vitaly Kuznetsov wrote:
> Roman Kagan  writes:
> 
> > On Fri, Jan 25, 2019 at 12:41:51PM +0100, Vitaly Kuznetsov wrote:
> >> In many case we just want to give Windows guests all currently supported
> >> Hyper-V enlightenments and that's where this new mode may come handy. We
> >> pass through what was returned by KVM_GET_SUPPORTED_HV_CPUID.
> >
> > How is the compatibility ensured on migration between kernels reporting
> > different feature sets?
> 
> AFAIU we don't change anything in this regard (or, my intention was to
> not change anything): hv-all is converted to the individual hv-*
> properties (hv_cpuid_check_and_set()) actually sets cpu->hyperv_* flags
> according to what's supported by kernel so when we migrate we will
> require all these features supported.

Migration relies on the upper layer to run the destination QEMU with the
identical command line (except for -incoming) as the source, and QEMU is
then supposed to set up identical environment in the target VM as was in
the source, or refuse to start if that's impossible.  (If I'm
misunderstanding this Dave (cc-d) may want to correct me.)

AFAICS this hv-all attribute will enable different feature sets
depending on the kernel it's run on, so the migration between different
kernels will appear to succeed, but the guest may suddenly encounter an
incompatible change in the environment.

Roman.



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-25 Thread Vitaly Kuznetsov
Roman Kagan  writes:

> On Fri, Jan 25, 2019 at 12:41:51PM +0100, Vitaly Kuznetsov wrote:
>> In many case we just want to give Windows guests all currently supported
>> Hyper-V enlightenments and that's where this new mode may come handy. We
>> pass through what was returned by KVM_GET_SUPPORTED_HV_CPUID.
>
> How is the compatibility ensured on migration between kernels reporting
> different feature sets?

AFAIU we don't change anything in this regard (or, my intention was to
not change anything): hv-all is converted to the individual hv-*
properties (hv_cpuid_check_and_set()) actually sets cpu->hyperv_* flags
according to what's supported by kernel so when we migrate we will
require all these features supported.

I'll look to see that my expectations actually match the reallity,
thanks for the reminder!

-- 
Vitaly



Re: [Qemu-devel] [PATCH RFC 4/8] i386/kvm: Implement 'hv-all' pass-through mode

2019-01-25 Thread Roman Kagan
On Fri, Jan 25, 2019 at 12:41:51PM +0100, Vitaly Kuznetsov wrote:
> In many case we just want to give Windows guests all currently supported
> Hyper-V enlightenments and that's where this new mode may come handy. We
> pass through what was returned by KVM_GET_SUPPORTED_HV_CPUID.

How is the compatibility ensured on migration between kernels reporting
different feature sets?

Roman.