From: Anthony Liguori <anthony@codemonkey.ws>
To: Avi Kivity <avi@redhat.com>
Cc: Jan Kiszka <jan.kiszka@siemens.com>,
qemu-devel <qemu-devel@nongnu.org>,
Gleb Natapov <gleb@redhat.com>
Subject: Re: [Qemu-devel] [RFC] Memory API
Date: Thu, 19 May 2011 09:15:38 -0500 [thread overview]
Message-ID: <4DD5260A.1080309@codemonkey.ws> (raw)
In-Reply-To: <4DD520ED.8010606@redhat.com>
On 05/19/2011 08:53 AM, Avi Kivity wrote:
> On 05/19/2011 04:49 PM, Anthony Liguori wrote:
>> On 05/19/2011 08:30 AM, Avi Kivity wrote:
>>> On 05/19/2011 04:26 PM, Jan Kiszka wrote:
>>>> On 2011-05-19 15:07, Avi Kivity wrote:
>>
>>>> And when introducing hierarchical registration, we will have to go
>>>> through all of this once again. Plus the API may have to be changed
>>>> again if it does not fulfill all requirements of the hierarchical
>>>> region
>>>> management. And we have no proof that it allows an efficient core
>>>> implementation.
>>>
>>> This API *is* hierarchical registration. v2 will (hopefully) prove that
>>> it can be done efficiently.
>>
>> We also need hierarchical dispatch. Priorities are just a weak attempt
>> to emulate hierarchical dispatch but I don't think there's an
>> improvement over a single dispatch table.
>>
>> Hierarchical dispatch is simpler. You just need a simple list at each
>> bus.
>>
>
> The API itself says nothing about whether the hierarchy is evaluated at
> run-time or registration time.
Except for priorities.
If you've got a hierarchy like:
- CPU:0
- i440fx:1
- PIIX3:2
- ISA:3
- DeviceA
- PCI:2
- DeviceB
In your model, the default priorities are as shown, but nothing stops
DeviceB from registering with a priority of 0 which means it can
intercept accesses that would normally go to the i440fx.
This is impossible in a hierarchical dispatch model. There is no
setting that a PCI device can use to trap accesses that the i440fx would
normally take.
I don't mind if we don't have hierarchical dispatch to start with, but
priorities are fundamentally broken.
> We could easily have the implementation
> walk the memory hierarchy to dispatch an mmio.
>
> However, RAM cannot be dispatched this way (we need to resolve which
> ranges are RAM when the regions are registered, not accessed) so a data
> structure that contains all of the information is mandatory.
There is only one device that is capable of affecting the view of
RAM--the i440fx PMC. The reason is simple, the i440fx is the thing that
sends a request from a CPU either to a DIMM or to some device. It
doesn't know which device it goes to and it doesn't care.
That's where the RAM mapping lives. It doesn't matter how the PCI I/O
window is split up. You don't need that information to know where RAM is.
Regards,
Anthony Liguori
next prev parent reply other threads:[~2011-05-19 14:15 UTC|newest]
Thread overview: 187+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-05-18 13:12 [Qemu-devel] [RFC] Memory API Avi Kivity
2011-05-18 14:05 ` Jan Kiszka
2011-05-18 14:36 ` Avi Kivity
2011-05-18 15:11 ` Jan Kiszka
2011-05-18 15:17 ` Peter Maydell
2011-05-18 15:30 ` Jan Kiszka
2011-05-18 19:10 ` Anthony Liguori
2011-05-18 19:27 ` Jan Kiszka
2011-05-18 19:34 ` Anthony Liguori
2011-05-18 20:02 ` Alex Williamson
2011-05-18 20:11 ` Jan Kiszka
2011-05-18 20:13 ` Alex Williamson
2011-05-18 20:07 ` Jan Kiszka
2011-05-18 20:41 ` Anthony Liguori
2011-05-19 8:26 ` Gleb Natapov
2011-05-19 8:30 ` Jan Kiszka
2011-05-19 8:44 ` Avi Kivity
2011-05-19 13:59 ` Anthony Liguori
2011-05-19 13:52 ` Anthony Liguori
2011-05-19 13:56 ` Avi Kivity
2011-05-19 13:57 ` Jan Kiszka
2011-05-19 14:04 ` Anthony Liguori
2011-05-19 14:06 ` Jan Kiszka
2011-05-19 14:11 ` Avi Kivity
2011-05-19 18:18 ` Anthony Liguori
2011-05-19 18:50 ` Jan Kiszka
2011-05-19 19:02 ` Anthony Liguori
2011-05-19 19:10 ` Jan Kiszka
2011-05-20 9:15 ` Avi Kivity
2011-05-20 17:30 ` Blue Swirl
2011-05-22 7:23 ` Avi Kivity
2011-05-19 6:31 ` Jan Kiszka
2011-05-19 13:23 ` Anthony Liguori
2011-05-19 13:25 ` Jan Kiszka
2011-05-19 13:26 ` Avi Kivity
2011-05-19 13:35 ` Anthony Liguori
2011-05-19 13:36 ` Jan Kiszka
2011-05-19 13:43 ` Avi Kivity
2011-05-19 13:39 ` Avi Kivity
2011-05-19 8:09 ` Avi Kivity
2011-05-18 15:23 ` Avi Kivity
2011-05-18 15:36 ` Jan Kiszka
2011-05-18 15:42 ` Avi Kivity
2011-05-18 16:00 ` Jan Kiszka
2011-05-18 16:14 ` Avi Kivity
2011-05-18 16:39 ` Jan Kiszka
2011-05-18 16:47 ` Avi Kivity
2011-05-18 17:07 ` Jan Kiszka
2011-05-18 17:15 ` Avi Kivity
2011-05-18 17:40 ` Jan Kiszka
2011-05-18 20:13 ` Richard Henderson
2011-05-19 8:04 ` Avi Kivity
2011-05-19 9:08 ` Gleb Natapov
2011-05-19 9:10 ` Avi Kivity
2011-05-19 9:14 ` Gleb Natapov
2011-05-19 11:44 ` Avi Kivity
2011-05-19 11:54 ` Gleb Natapov
2011-05-19 11:57 ` Jan Kiszka
2011-05-19 11:58 ` Gleb Natapov
2011-05-19 12:02 ` Avi Kivity
2011-05-19 12:21 ` Gleb Natapov
2011-05-19 12:02 ` Jan Kiszka
2011-05-19 11:57 ` Avi Kivity
2011-05-19 12:20 ` Jan Kiszka
2011-05-19 12:50 ` Avi Kivity
2011-05-19 12:58 ` Jan Kiszka
2011-05-19 13:00 ` Avi Kivity
2011-05-19 13:03 ` Jan Kiszka
2011-05-19 13:07 ` Avi Kivity
2011-05-19 13:26 ` Jan Kiszka
2011-05-19 13:30 ` Avi Kivity
2011-05-19 13:43 ` Jan Kiszka
2011-05-19 13:47 ` Avi Kivity
2011-05-19 13:49 ` Anthony Liguori
2011-05-19 13:53 ` Avi Kivity
2011-05-19 14:15 ` Anthony Liguori [this message]
2011-05-19 14:20 ` Jan Kiszka
2011-05-19 14:25 ` Anthony Liguori
2011-05-19 14:28 ` Jan Kiszka
2011-05-19 14:31 ` Avi Kivity
2011-05-19 14:37 ` Anthony Liguori
2011-05-19 14:40 ` Avi Kivity
2011-05-19 16:17 ` Gleb Natapov
2011-05-19 16:25 ` Jan Kiszka
2011-05-19 16:28 ` Gleb Natapov
2011-05-19 16:30 ` Jan Kiszka
2011-05-19 16:36 ` Anthony Liguori
2011-05-19 16:49 ` Jan Kiszka
2011-05-19 17:12 ` Gleb Natapov
2011-05-19 18:11 ` Jan Kiszka
2011-05-20 8:58 ` Avi Kivity
2011-05-20 8:56 ` Avi Kivity
2011-05-20 14:51 ` Anthony Liguori
2011-05-20 16:43 ` Olivier Galibert
2011-05-20 17:32 ` Anthony Liguori
2011-05-22 7:36 ` Avi Kivity
2011-05-19 16:43 ` Gleb Natapov
2011-05-19 16:51 ` Jan Kiszka
2011-05-19 16:27 ` Gleb Natapov
2011-05-20 8:59 ` Avi Kivity
2011-05-20 11:57 ` Gleb Natapov
2011-05-22 7:37 ` Avi Kivity
2011-05-22 8:06 ` Gleb Natapov
2011-05-22 8:09 ` Avi Kivity
2011-05-22 8:59 ` Gleb Natapov
2011-05-22 12:26 ` Avi Kivity
2011-05-19 16:32 ` Anthony Liguori
2011-05-19 16:35 ` Jan Kiszka
2011-05-19 16:38 ` Anthony Liguori
2011-05-19 16:50 ` Jan Kiszka
2011-05-20 9:03 ` Avi Kivity
2011-05-20 9:01 ` Avi Kivity
2011-05-20 15:33 ` Anthony Liguori
2011-05-20 15:59 ` Jan Kiszka
2011-05-22 7:38 ` Avi Kivity
2011-05-22 15:42 ` Anthony Liguori
2011-05-19 14:21 ` Avi Kivity
2011-05-19 13:44 ` Anthony Liguori
2011-05-19 13:47 ` Jan Kiszka
2011-05-19 13:50 ` Anthony Liguori
2011-05-19 13:55 ` Jan Kiszka
2011-05-19 13:55 ` Avi Kivity
2011-05-19 18:06 ` Anthony Liguori
2011-05-19 18:21 ` Jan Kiszka
2011-05-19 13:49 ` Avi Kivity
2011-05-19 9:24 ` Edgar E. Iglesias
2011-05-19 14:49 ` Peter Maydell
2011-05-18 16:33 ` Anthony Liguori
2011-05-18 16:41 ` Avi Kivity
2011-05-18 17:04 ` Anthony Liguori
2011-05-18 17:13 ` Avi Kivity
2011-05-18 16:42 ` Jan Kiszka
2011-05-18 17:05 ` Avi Kivity
2011-05-18 15:14 ` Anthony Liguori
2011-05-18 15:26 ` Avi Kivity
2011-05-18 16:21 ` Avi Kivity
2011-05-18 16:42 ` Jan Kiszka
2011-05-18 16:49 ` Avi Kivity
2011-05-18 17:11 ` Anthony Liguori
2011-05-18 17:38 ` Jan Kiszka
2011-05-18 15:08 ` Anthony Liguori
2011-05-18 15:37 ` Avi Kivity
2011-05-18 19:36 ` Jan Kiszka
2011-05-18 15:47 ` Stefan Weil
2011-05-18 16:06 ` Avi Kivity
2011-05-18 16:51 ` Richard Henderson
2011-05-18 16:53 ` Avi Kivity
2011-05-18 17:03 ` Richard Henderson
2011-05-18 15:58 ` Avi Kivity
2011-05-18 16:26 ` Richard Henderson
2011-05-18 16:37 ` Avi Kivity
2011-05-18 17:17 ` Avi Kivity
2011-05-18 19:40 ` Jan Kiszka
2011-05-19 8:06 ` Avi Kivity
2011-05-19 8:08 ` Jan Kiszka
2011-05-19 8:13 ` Avi Kivity
2011-05-19 8:25 ` Jan Kiszka
2011-05-19 8:43 ` Avi Kivity
2011-05-19 9:24 ` Jan Kiszka
2011-05-19 11:58 ` Avi Kivity
2011-05-19 13:36 ` Anthony Liguori
2011-05-19 13:37 ` Jan Kiszka
2011-05-19 13:41 ` Avi Kivity
2011-05-19 17:39 ` Gleb Natapov
2011-05-19 18:03 ` Anthony Liguori
2011-05-19 18:28 ` Gleb Natapov
2011-05-19 18:33 ` Anthony Liguori
2011-05-19 18:11 ` Jan Kiszka
2011-05-19 18:22 ` Gleb Natapov
2011-05-19 18:27 ` Jan Kiszka
2011-05-19 18:40 ` Gleb Natapov
2011-05-19 18:45 ` Jan Kiszka
2011-05-19 18:50 ` Gleb Natapov
2011-05-19 18:55 ` Jan Kiszka
2011-05-19 19:02 ` Jan Kiszka
2011-05-20 7:23 ` Gleb Natapov
2011-05-20 7:40 ` Jan Kiszka
2011-05-20 11:25 ` Gleb Natapov
2011-05-22 7:50 ` Avi Kivity
2011-05-22 8:41 ` Gleb Natapov
2011-05-22 10:53 ` Jan Kiszka
2011-05-22 11:29 ` Avi Kivity
2011-05-23 8:45 ` Gleb Natapov
2011-05-23 22:29 ` Jamie Lokier
2011-05-20 9:10 ` Avi Kivity
2011-05-20 12:08 ` Gleb Natapov
2011-05-22 7:56 ` Avi Kivity
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=4DD5260A.1080309@codemonkey.ws \
--to=anthony@codemonkey.ws \
--cc=avi@redhat.com \
--cc=gleb@redhat.com \
--cc=jan.kiszka@siemens.com \
--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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).