Re: ABI coupling to hypervisors via CONFIG_PARAVIRT

[Jeremy Fitzhardinge <jeremy@goop.org>]

Ingo Molnar wrote:
> i am worried whether /any/ future change to the upstream kernel's design 
> can be adopted via paravirt_ops, via the current VMI ABI. And by /any/ i 
> mean truly any. And whether that can be done is not a function of the 
> flexibility of paravirt_ops, it's a function of the flexibility of the 
> VMI ABI.

Come on. You're talking as if these changes can be made in a vacuum,
with no regard to any external constraints.  In reality, any such change
is limited by concerns like:

   1. does it make sense in terms of kernel design?
   2. can all the (real) architectures support it?
   3. does it make sense on real hardware?
   4. does it require massive kernel-wide changes, or does it have
      limited scope?
   5. etc, etc

Obviously one of the things to be considered among the many other issues
is "what effect does this have on the paravirt_ops interface?".

Now it may be that you've got a change that's absolutely great for
everyone, and the only blocker is that the FoobieVisor can't deal with
it.  OK, great, then you'd have a point.

But are you really saying that one of your handwavy proposals is just
fine on a pre-apic i486/mmu-less m68k/whatever, but can't be made to
work on a hypervisor?

Come up with a specific proposal, and we'll work out the details.

    J