lkml.org 
[lkml]   [2007]   [Mar]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: ABI coupling to hypervisors via CONFIG_PARAVIRT

* Linus Torvalds <torvalds@linux-foundation.org> wrote:

> If we change paravirt_ops to be higher-level ops (as we should), yes,
> the paravirt->VMI layer needs to be extended to have the
> "higher->lower" translation. But at no point did we break the
> hypervisor.

hm. So your point is that VMI is in essence a Turing machine (a
near-complete one)? No matter what redesign we do on the Linux side, the
VMI paravirt_ops will always be able to adopt to it? If that is the case
then my ABI worries would indeed be wrong and i'd owe Zach a big fat
apology [and more] for my flames ;-)

but what if the transformation is not just a top-down transformation,
but something more conceptual, introducing something that VMI does not
cover today, like: 'elimination of the APIC concept from guest mode
(replacing it with a virtual interrupt controller)', or 'elimination of
the concept of IRQ vectors from guest mode (virtual irq controller)'. Or
'elimination of pagetables stored in the guest (all paravirt hooks would
be vma-based)'?

but ... maybe because VMI is so lowlevel and covers /all/ of x86 today,
it will always be able to emulate whatever different concept we can come
up with? Do we really know this absolutely sure?

Ingo
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2007-03-09 22:39    [W:0.097 / U:0.248 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site