From: Rusty Russell <rusty@ozlabs.org>
To: Avi Kivity <avi@redhat.com>
Cc: qemu-devel <qemu-devel@nongnu.org>,
KVM list <kvm@vger.kernel.org>, Gleb Natapov <gleb@redhat.com>,
linux-kernel <linux-kernel@vger.kernel.org>
Subject: Re: [RFC] Next gen kvm api
Date: Thu, 16 Feb 2012 09:38:16 +1030 [thread overview]
Message-ID: <87mx8jbspr.fsf@rustcorp.com.au> (raw)
In-Reply-To: <4F3BB59D.2020505@redhat.com>
On Wed, 15 Feb 2012 15:39:41 +0200, Avi Kivity <avi@redhat.com> wrote:
> On 02/07/2012 08:12 PM, Rusty Russell wrote:
> > > I would really love to have this, but the problem is that we'd need a
> > > general purpose bytecode VM with binding to some kernel APIs. The
> > > bytecode VM, if made general enough to host more complicated devices,
> > > would likely be much larger than the actual code we have in the kernel now.
> >
> > We have the ability to upload bytecode into the kernel already. It's in
> > a great bytecode interpreted by the CPU itself.
>
> Unfortunately it's inflexible (has to come with the kernel) and open to
> security vulnerabilities.
It doesn't have to come with the kernel, but it does require privs. And
the bytecode itself might be invulnerable, the services it will call
will be, so it's not clear it'll be a win, given the reduced
auditability.
The grass is not really greener, and getting there involves many fences.
> > If every user were emulating different machines, LPF this would make
> > sense. Are they?
>
> They aren't.
>
> > Or should we write those helpers once, in C, and
> > provide that for them.
>
> There are many of them: PIT/PIC/IOAPIC/MSIX tables/HPET/kvmclock/Hyper-V
> stuff/vhost-net/DMA remapping/IO remapping (just for x86), and some of
> them are quite complicated. However implementing them in bytecode
> amounts to exposing a stable kernel ABI, since they use such a vast
> range of kernel services.
We could think about regularizing and enumerating the various in-kernel
helpers, and give userspace a generic mechanism for wiring them up.
That would surely be the first step towards bytecode anyway.
But the current device assignment ioctls make me think that this
wouldn't be simple or neat.
Cheers,
Rusty.
WARNING: multiple messages have this Message-ID (diff)
From: Rusty Russell <rusty@ozlabs.org>
To: Avi Kivity <avi@redhat.com>
Cc: Anthony Liguori <anthony@codemonkey.ws>,
Gleb Natapov <gleb@redhat.com>,
linux-kernel <linux-kernel@vger.kernel.org>,
KVM list <kvm@vger.kernel.org>,
qemu-devel <qemu-devel@nongnu.org>
Subject: Re: [Qemu-devel] [RFC] Next gen kvm api
Date: Thu, 16 Feb 2012 09:38:16 +1030 [thread overview]
Message-ID: <87mx8jbspr.fsf@rustcorp.com.au> (raw)
In-Reply-To: <4F3BB59D.2020505@redhat.com>
On Wed, 15 Feb 2012 15:39:41 +0200, Avi Kivity <avi@redhat.com> wrote:
> On 02/07/2012 08:12 PM, Rusty Russell wrote:
> > > I would really love to have this, but the problem is that we'd need a
> > > general purpose bytecode VM with binding to some kernel APIs. The
> > > bytecode VM, if made general enough to host more complicated devices,
> > > would likely be much larger than the actual code we have in the kernel now.
> >
> > We have the ability to upload bytecode into the kernel already. It's in
> > a great bytecode interpreted by the CPU itself.
>
> Unfortunately it's inflexible (has to come with the kernel) and open to
> security vulnerabilities.
It doesn't have to come with the kernel, but it does require privs. And
the bytecode itself might be invulnerable, the services it will call
will be, so it's not clear it'll be a win, given the reduced
auditability.
The grass is not really greener, and getting there involves many fences.
> > If every user were emulating different machines, LPF this would make
> > sense. Are they?
>
> They aren't.
>
> > Or should we write those helpers once, in C, and
> > provide that for them.
>
> There are many of them: PIT/PIC/IOAPIC/MSIX tables/HPET/kvmclock/Hyper-V
> stuff/vhost-net/DMA remapping/IO remapping (just for x86), and some of
> them are quite complicated. However implementing them in bytecode
> amounts to exposing a stable kernel ABI, since they use such a vast
> range of kernel services.
We could think about regularizing and enumerating the various in-kernel
helpers, and give userspace a generic mechanism for wiring them up.
That would surely be the first step towards bytecode anyway.
But the current device assignment ioctls make me think that this
wouldn't be simple or neat.
Cheers,
Rusty.
WARNING: multiple messages have this Message-ID (diff)
From: Rusty Russell <rusty@ozlabs.org>
To: Avi Kivity <avi@redhat.com>
Cc: qemu-devel <qemu-devel@nongnu.org>,
KVM list <kvm@vger.kernel.org>, Gleb Natapov <gleb@redhat.com>,
linux-kernel <linux-kernel@vger.kernel.org>
Subject: Re: [Qemu-devel] [RFC] Next gen kvm api
Date: Thu, 16 Feb 2012 09:38:16 +1030 [thread overview]
Message-ID: <87mx8jbspr.fsf@rustcorp.com.au> (raw)
In-Reply-To: <4F3BB59D.2020505@redhat.com>
On Wed, 15 Feb 2012 15:39:41 +0200, Avi Kivity <avi@redhat.com> wrote:
> On 02/07/2012 08:12 PM, Rusty Russell wrote:
> > > I would really love to have this, but the problem is that we'd need a
> > > general purpose bytecode VM with binding to some kernel APIs. The
> > > bytecode VM, if made general enough to host more complicated devices,
> > > would likely be much larger than the actual code we have in the kernel now.
> >
> > We have the ability to upload bytecode into the kernel already. It's in
> > a great bytecode interpreted by the CPU itself.
>
> Unfortunately it's inflexible (has to come with the kernel) and open to
> security vulnerabilities.
It doesn't have to come with the kernel, but it does require privs. And
the bytecode itself might be invulnerable, the services it will call
will be, so it's not clear it'll be a win, given the reduced
auditability.
The grass is not really greener, and getting there involves many fences.
> > If every user were emulating different machines, LPF this would make
> > sense. Are they?
>
> They aren't.
>
> > Or should we write those helpers once, in C, and
> > provide that for them.
>
> There are many of them: PIT/PIC/IOAPIC/MSIX tables/HPET/kvmclock/Hyper-V
> stuff/vhost-net/DMA remapping/IO remapping (just for x86), and some of
> them are quite complicated. However implementing them in bytecode
> amounts to exposing a stable kernel ABI, since they use such a vast
> range of kernel services.
We could think about regularizing and enumerating the various in-kernel
helpers, and give userspace a generic mechanism for wiring them up.
That would surely be the first step towards bytecode anyway.
But the current device assignment ioctls make me think that this
wouldn't be simple or neat.
Cheers,
Rusty.
next prev parent reply other threads:[~2012-02-15 23:08 UTC|newest]
Thread overview: 236+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-02 16:09 [RFC] Next gen kvm api Avi Kivity
2012-02-02 16:09 ` [Qemu-devel] " Avi Kivity
2012-02-02 22:13 ` Rob Earhart
2012-02-02 22:13 ` [Qemu-devel] " Rob Earhart
2012-02-02 22:16 ` Rob Earhart
2012-02-02 22:16 ` Rob Earhart
2012-02-05 13:14 ` Avi Kivity
2012-02-05 13:14 ` [Qemu-devel] " Avi Kivity
2012-02-06 17:41 ` Rob Earhart
2012-02-06 19:11 ` Anthony Liguori
2012-02-06 19:11 ` [Qemu-devel] " Anthony Liguori
2012-02-06 19:11 ` Anthony Liguori
2012-02-07 12:03 ` Avi Kivity
2012-02-07 12:03 ` [Qemu-devel] " Avi Kivity
2012-02-07 15:17 ` Anthony Liguori
2012-02-07 16:02 ` Avi Kivity
2012-02-07 16:18 ` Jan Kiszka
2012-02-07 16:18 ` [Qemu-devel] " Jan Kiszka
2012-02-07 16:18 ` Jan Kiszka
2012-02-07 16:21 ` Anthony Liguori
2012-02-07 16:21 ` Anthony Liguori
2012-02-07 16:29 ` Jan Kiszka
2012-02-07 16:29 ` Jan Kiszka
2012-02-15 13:41 ` Avi Kivity
2012-02-15 13:41 ` Avi Kivity
2012-02-07 16:19 ` Anthony Liguori
2012-02-15 13:47 ` Avi Kivity
2012-02-07 12:01 ` Avi Kivity
2012-02-03 2:09 ` Anthony Liguori
2012-02-03 2:09 ` [Qemu-devel] " Anthony Liguori
2012-02-03 2:09 ` Anthony Liguori
2012-02-04 2:08 ` Takuya Yoshikawa
2012-02-04 2:08 ` [Qemu-devel] " Takuya Yoshikawa
2012-02-04 2:08 ` Takuya Yoshikawa
2012-02-22 13:06 ` Peter Zijlstra
2012-02-22 13:06 ` Peter Zijlstra
2012-02-05 9:24 ` Avi Kivity
2012-02-05 9:24 ` [Qemu-devel] " Avi Kivity
2012-02-05 9:24 ` Avi Kivity
2012-02-07 1:08 ` Alexander Graf
2012-02-07 1:08 ` Alexander Graf
2012-02-07 1:08 ` Alexander Graf
2012-02-07 1:08 ` Alexander Graf
2012-02-07 12:24 ` [Qemu-devel] " Avi Kivity
2012-02-07 12:24 ` Avi Kivity
2012-02-07 12:24 ` Avi Kivity
2012-02-07 12:51 ` Alexander Graf
2012-02-07 12:51 ` Alexander Graf
2012-02-07 12:51 ` Alexander Graf
2012-02-07 13:16 ` Avi Kivity
2012-02-07 13:16 ` Avi Kivity
2012-02-07 13:16 ` Avi Kivity
2012-02-07 13:40 ` Alexander Graf
2012-02-07 13:40 ` Alexander Graf
2012-02-07 13:40 ` Alexander Graf
2012-02-07 14:21 ` Avi Kivity
2012-02-07 14:21 ` Avi Kivity
2012-02-07 14:21 ` Avi Kivity
2012-02-07 14:21 ` Avi Kivity
2012-02-07 14:39 ` [Qemu-devel] " Alexander Graf
2012-02-07 14:39 ` Alexander Graf
2012-02-07 14:39 ` Alexander Graf
2012-02-15 11:18 ` Avi Kivity
2012-02-15 11:18 ` Avi Kivity
2012-02-15 11:18 ` Avi Kivity
2012-02-15 11:57 ` Alexander Graf
2012-02-15 11:57 ` Alexander Graf
2012-02-15 11:57 ` Alexander Graf
2012-02-15 13:29 ` Avi Kivity
2012-02-15 13:29 ` Avi Kivity
2012-02-15 13:29 ` Avi Kivity
2012-02-15 13:37 ` Alexander Graf
2012-02-15 13:37 ` Alexander Graf
2012-02-15 13:37 ` Alexander Graf
2012-02-15 13:57 ` Avi Kivity
2012-02-15 13:57 ` Avi Kivity
2012-02-15 13:57 ` Avi Kivity
2012-02-15 14:08 ` Alexander Graf
2012-02-15 14:08 ` Alexander Graf
2012-02-15 14:08 ` Alexander Graf
2012-02-16 19:24 ` Avi Kivity
2012-02-16 19:24 ` Avi Kivity
2012-02-16 19:24 ` Avi Kivity
2012-02-16 19:24 ` Avi Kivity
2012-02-16 19:34 ` [Qemu-devel] " Alexander Graf
2012-02-16 19:34 ` Alexander Graf
2012-02-16 19:34 ` Alexander Graf
2012-02-16 19:38 ` Avi Kivity
2012-02-16 19:38 ` Avi Kivity
2012-02-16 19:38 ` Avi Kivity
2012-02-16 20:41 ` Scott Wood
2012-02-16 20:41 ` Scott Wood
2012-02-16 20:41 ` Scott Wood
2012-02-17 0:23 ` Alexander Graf
2012-02-17 0:23 ` Alexander Graf
2012-02-17 0:23 ` Alexander Graf
2012-02-17 18:27 ` Scott Wood
2012-02-17 18:27 ` Scott Wood
2012-02-17 18:27 ` Scott Wood
2012-02-18 9:49 ` Avi Kivity
2012-02-18 9:49 ` Avi Kivity
2012-02-18 9:49 ` Avi Kivity
2012-02-18 9:49 ` Avi Kivity
2012-02-17 0:19 ` [Qemu-devel] " Alexander Graf
2012-02-17 0:19 ` Alexander Graf
2012-02-17 0:19 ` Alexander Graf
2012-02-18 10:00 ` Avi Kivity
2012-02-18 10:00 ` Avi Kivity
2012-02-18 10:00 ` Avi Kivity
2012-02-18 10:00 ` Avi Kivity
2012-02-18 10:43 ` [Qemu-devel] " Alexander Graf
2012-02-18 10:43 ` Alexander Graf
2012-02-18 10:43 ` Alexander Graf
2012-02-15 19:17 ` Scott Wood
2012-02-15 19:17 ` Scott Wood
2012-02-15 19:17 ` Scott Wood
2012-02-12 7:10 ` Takuya Yoshikawa
2012-02-12 7:10 ` Takuya Yoshikawa
2012-02-12 7:10 ` Takuya Yoshikawa
2012-02-12 7:10 ` Takuya Yoshikawa
2012-02-15 13:32 ` [Qemu-devel] " Avi Kivity
2012-02-15 13:32 ` Avi Kivity
2012-02-15 13:32 ` Avi Kivity
2012-02-07 15:23 ` Anthony Liguori
2012-02-07 15:23 ` Anthony Liguori
2012-02-07 15:23 ` Anthony Liguori
2012-02-07 15:28 ` Alexander Graf
2012-02-07 15:28 ` Alexander Graf
2012-02-07 15:28 ` Alexander Graf
2012-02-08 17:20 ` Alan Cox
2012-02-08 17:20 ` Alan Cox
2012-02-08 17:20 ` Alan Cox
2012-02-15 13:33 ` Avi Kivity
2012-02-15 13:33 ` Avi Kivity
2012-02-15 13:33 ` Avi Kivity
2012-02-15 22:14 ` Arnd Bergmann
2012-02-15 22:14 ` Arnd Bergmann
2012-02-10 3:07 ` Jamie Lokier
2012-02-10 3:07 ` Jamie Lokier
2012-02-03 18:07 ` Eric Northup
2012-02-03 18:07 ` [Qemu-devel] " Eric Northup
2012-02-03 18:07 ` Eric Northup
2012-02-03 22:52 ` Anthony Liguori
2012-02-03 22:52 ` [Qemu-devel] " Anthony Liguori
2012-02-03 22:52 ` Anthony Liguori
2012-02-06 19:46 ` Scott Wood
2012-02-06 19:46 ` Scott Wood
2012-02-07 6:58 ` Michael Ellerman
2012-02-07 6:58 ` [Qemu-devel] " Michael Ellerman
2012-02-07 6:58 ` Michael Ellerman
2012-02-07 10:04 ` Alexander Graf
2012-02-07 10:04 ` Alexander Graf
2012-02-15 22:21 ` Arnd Bergmann
2012-02-15 22:21 ` Arnd Bergmann
2012-02-16 1:04 ` Michael Ellerman
2012-02-16 1:04 ` [Qemu-devel] " Michael Ellerman
2012-02-16 1:04 ` Michael Ellerman
2012-02-16 19:28 ` Avi Kivity
2012-02-16 19:28 ` Avi Kivity
2012-02-17 0:09 ` Michael Ellerman
2012-02-17 0:09 ` [Qemu-devel] " Michael Ellerman
2012-02-17 0:09 ` Michael Ellerman
2012-02-18 10:03 ` Avi Kivity
2012-02-18 10:03 ` [Qemu-devel] " Avi Kivity
2012-02-18 10:03 ` Avi Kivity
2012-02-16 10:26 ` Avi Kivity
2012-02-16 10:26 ` [Qemu-devel] " Avi Kivity
2012-02-16 10:26 ` Avi Kivity
2012-02-07 12:28 ` Anthony Liguori
2012-02-07 12:28 ` Anthony Liguori
2012-02-07 12:40 ` Avi Kivity
2012-02-07 12:40 ` Avi Kivity
2012-02-07 12:51 ` Anthony Liguori
2012-02-07 12:51 ` Anthony Liguori
2012-02-07 13:18 ` Avi Kivity
2012-02-07 13:18 ` [Qemu-devel] " Avi Kivity
2012-02-07 13:18 ` Avi Kivity
2012-02-07 15:15 ` Anthony Liguori
2012-02-07 15:15 ` Anthony Liguori
2012-02-07 18:28 ` Chris Wright
2012-02-07 18:28 ` Chris Wright
2012-02-08 17:02 ` Scott Wood
2012-02-08 17:02 ` Scott Wood
2012-02-08 17:12 ` Alan Cox
2012-02-08 17:12 ` [Qemu-devel] " Alan Cox
2012-02-08 17:12 ` Alan Cox
2012-02-05 9:37 ` Gleb Natapov
2012-02-05 9:37 ` [Qemu-devel] " Gleb Natapov
2012-02-05 9:37 ` Gleb Natapov
2012-02-05 9:44 ` Avi Kivity
2012-02-05 9:44 ` [Qemu-devel] " Avi Kivity
2012-02-05 9:44 ` Avi Kivity
2012-02-05 9:51 ` Gleb Natapov
2012-02-05 9:51 ` [Qemu-devel] " Gleb Natapov
2012-02-05 9:51 ` Gleb Natapov
2012-02-05 9:56 ` Avi Kivity
2012-02-05 9:56 ` [Qemu-devel] " Avi Kivity
2012-02-05 9:56 ` Avi Kivity
2012-02-05 10:58 ` Gleb Natapov
2012-02-05 10:58 ` [Qemu-devel] " Gleb Natapov
2012-02-05 10:58 ` Gleb Natapov
2012-02-05 13:16 ` Avi Kivity
2012-02-05 13:16 ` [Qemu-devel] " Avi Kivity
2012-02-05 13:16 ` Avi Kivity
2012-02-05 16:36 ` Anthony Liguori
2012-02-05 16:36 ` [Qemu-devel] " Anthony Liguori
2012-02-05 16:36 ` Anthony Liguori
2012-02-06 9:34 ` Avi Kivity
2012-02-06 9:34 ` [Qemu-devel] " Avi Kivity
2012-02-06 9:34 ` Avi Kivity
2012-02-06 13:33 ` Anthony Liguori
2012-02-06 13:33 ` Anthony Liguori
2012-02-06 13:54 ` Avi Kivity
2012-02-06 13:54 ` Avi Kivity
2012-02-06 14:00 ` Anthony Liguori
2012-02-06 14:00 ` Anthony Liguori
2012-02-06 14:08 ` Avi Kivity
2012-02-06 14:08 ` Avi Kivity
2012-02-07 18:12 ` Rusty Russell
2012-02-07 18:12 ` [Qemu-devel] " Rusty Russell
2012-02-07 18:12 ` Rusty Russell
2012-02-15 13:39 ` Avi Kivity
2012-02-15 13:39 ` Avi Kivity
2012-02-15 21:59 ` Anthony Liguori
2012-02-15 21:59 ` Anthony Liguori
2012-02-16 8:57 ` Gleb Natapov
2012-02-16 8:57 ` [Qemu-devel] " Gleb Natapov
2012-02-16 8:57 ` Gleb Natapov
2012-02-16 14:46 ` Anthony Liguori
2012-02-16 14:46 ` Anthony Liguori
2012-02-16 19:34 ` Avi Kivity
2012-02-16 19:34 ` [Qemu-devel] " Avi Kivity
2012-02-16 19:34 ` Avi Kivity
2012-02-15 23:08 ` Rusty Russell [this message]
2012-02-15 23:08 ` Rusty Russell
2012-02-15 23:08 ` Rusty Russell
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=87mx8jbspr.fsf@rustcorp.com.au \
--to=rusty@ozlabs.org \
--cc=avi@redhat.com \
--cc=gleb@redhat.com \
--cc=kvm@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--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.