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

[Vitaly Kuznetsov]

Roman Kagan <address@hidden> writes:

> On Fri, Jan 25, 2019 at 02:46:42PM +0100, Vitaly Kuznetsov wrote:
>> Roman Kagan <address@hidden> 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