From: David Hildenbrand <david@redhat.com>
To: "Maciej S. Szmigiero" <mail@maciej.szmigiero.name>
Cc: "Michael S . Tsirkin" <mst@redhat.com>,
"Marcel Apfelbaum" <marcel.apfelbaum@gmail.com>,
"Alex Bennée" <alex.bennee@linaro.org>,
"Thomas Huth" <thuth@redhat.com>,
"Marc-André Lureau" <marcandre.lureau@redhat.com>,
"Daniel P. Berrangé" <berrange@redhat.com>,
"Philippe Mathieu-Daudé" <philmd@linaro.org>,
"Eric Blake" <eblake@redhat.com>,
"Markus Armbruster" <armbru@redhat.com>,
qemu-devel@nongnu.org, "Paolo Bonzini" <pbonzini@redhat.com>,
"Richard Henderson" <richard.henderson@linaro.org>,
"Eduardo Habkost" <eduardo@habkost.net>
Subject: Re: [PATCH][RESEND v5 3/3] Add a Hyper-V Dynamic Memory Protocol driver (hv-balloon)
Date: Mon, 19 Jun 2023 17:58:50 +0200 [thread overview]
Message-ID: <008fced2-1bcf-7a89-d642-bb724eb63ddf@redhat.com> (raw)
In-Reply-To: <1b107fba-38e0-cced-e19f-b62684072bfd@maciej.szmigiero.name>
[...]
Sorry for the late reply!
Still trying to make up my mind what the right way forward with this is.
>>
>> This usage is still problematic I suspect (well, and a layer violation regarding the machine). The machine hotplug handler is supposed to call the pre_plug/plug/unplug hooks as response to pre_plug/plug/unplug notifications from the core. See how we handle virtio-mem/virtio-pmem/nvdimms as an example.
>>
>> We assume that when memory_device_pre_plug() gets called, that the device is not realized yet, but once it gets plugged, that it already is realized, and that the device will actually vanish (get unrealized) when unplugging the device.
>> Otherwise memory device logic like in get_plugged_memory_size() stops working.
>
> get_plugged_memory_size() just calls get_plugged_size() method on every
> realized TYPE_MEMORY_DEVICE.
>
> While this now always returns the whole backing memory size (once the
> backend gets plugged) I don't see a reason why this method could not be
> overridden in hv-balloon to return just the currently hot-added size.
>
> By the way, this function seems to be used just for reporting stats via QMP.
memory_device_build_list() is another example, used for
memory_device_get_free_addr(). You'd be blocking memory address ranges
with an unplugged-but-realized memory device.
Memory device code expects that realized memory devices are plugged and
vice versa.
>
>>
>> As an example, see device_set_realized() on the pre_plug+realize+plug interaction.
>>
>> IIRC, you're reusing the already-realized hv-balloon device here, correct?
>
> Yes - in this version of the driver.
>
> The previous version used separate virtual DIMM devices instead but you have
> recommended against that approach.
>
Yes. My recommendation was to make the hv-balloon device a memory device
and use a single memory region, which you did (and I think it's much
better).
It's now all about when we (un)plug the memory device itself -- and how.
>>
>> Why can't you call the pre_plug/plug/unplug functions from the machine pre_plug/plug/unplug hooks -- exactly once for the memory device when plugging the hv-balloon device?
>>
>> Is it to support the !memdev case or why is this this plugging/unplugging in our_range_plugged_new()/our_range_plugged_free() required?
>
> At least for three (four) reasons:
> 1a) At the hv-balloon plug time the device doesn't yet know the guest
> alignement requirements - or whether the guest supports memory hot add at
> all - that's what the device will learn only once the guest connects
> to the protocol.
Understood, so you want to at least expose the memory dynamically to the
VM (map the MR on demand).
That could be done using a memory region container like virtio-mem is
planning [1] on using fairly easily.
[1] https://lkml.kernel.org/r/20230616092654.175518-14-david@redhat.com
> 1b) For the same reason the memory region has to be unplugged at the VM
> reset time - the new guest might have stricter alignement requirements
Alignment is certainly interesting, but is it a real problem?
As default (not other memory devices) you get an address that's aligned
to 1 GiB. And, in fact, you can simply always request a 1 GiB alignment
for the device, independent of the guest requirement.
Would the guest requirement be even stricter than that (e.g., 2 GiB)?
In theory, when using a memory region container (again [1]) into which
you dynamically map the RAM region, you can do this alignment internally.
So it might be an option to use a memory region container and
dynamically map into that one as you please (it just has to have a fixed
size).
>
> By the way, the memory region *can't* be unplugged yet at VMBus device
> reset time - Windows keeps on using it until the system is restarted,
> even after disconnecting from the VMBus.
Yes, similar to virtio-mem -- we can only e.g. do it at system reset time.
>
> 2) The !memdev case, when the driver is just used for Windows-native
> ballooning and stats reporting.
So we'd want support for a memory device that doesn't expose any memory
-- in the current configuration. Should be doable (NULL returned as
device memory region -> skip pre_plug/plug/unplug and teach the other
code to just ignore this device). It would be easier if we could decide
at runtime that this device is not a memory device ...
But let's first figure out if that's the right approach.
>
> 3) This will hopefully allow sharing the backing memory device between
> virtio-mem and hv-balloon in the future - Linux guests will connect to
> the former interface while Windows guests will connect to the later.
>
I've been told that the virtio-mem driver for Windows will show up
polished in the near future ... we'll see :)
Anyhow, I consider that a secondary requirement. (virtio-mem is not
compatible with shared memdevs)
>>
>> Supporting the !memdev case is interesting: you essentially want to plug a memory device without a device region (or with an empty stub). I guess we should get that figured out somehow.
>>
>
> That's why the previous version of this driver used a parent VMBus
> device (non-TYPE_MEMORY_DEVICE) which then had virtual DIMMs as its
> children carrying memory for hot add.
So we have the following two options I think
(1) Make the hv-balloon device a memory device, plug/unplug it from the
machine code when plug/unplug'ing the hv-balloon device.
We'd use a memory region container as device memory region (like [1])
and would have to handle the !memdev case (I can help with that). Into
that, you can map the RAM memory region on demand (and eventually even
using multiple slots like [1]).
(2) Use a single virtual DIMM and (un)plug that on demand. Let the
machine code handle (un)plugging of the device.
(1) feels cleanest to me, although it will require a bit more work.
--
Cheers,
David / dhildenb
next prev parent reply other threads:[~2023-06-19 15:59 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-12 14:00 [PATCH][RESEND v5 0/3] Hyper-V Dynamic Memory Protocol driver (hv-balloon 🎈️) Maciej S. Szmigiero
2023-06-12 14:00 ` [PATCH][RESEND v5 1/3] error: define g_autoptr() cleanup function for the Error type Maciej S. Szmigiero
2023-06-12 14:00 ` [PATCH][RESEND v5 2/3] Add Hyper-V Dynamic Memory Protocol definitions Maciej S. Szmigiero
2023-06-12 14:00 ` [PATCH][RESEND v5 3/3] Add a Hyper-V Dynamic Memory Protocol driver (hv-balloon) Maciej S. Szmigiero
2023-06-12 17:42 ` David Hildenbrand
2023-06-13 17:57 ` Maciej S. Szmigiero
2023-06-19 15:58 ` David Hildenbrand [this message]
2023-06-20 20:13 ` Maciej S. Szmigiero
2023-06-21 10:32 ` David Hildenbrand
2023-06-21 18:17 ` Maciej S. Szmigiero
2023-06-22 11:01 ` David Hildenbrand
2023-06-22 11:12 ` Maciej S. Szmigiero
2023-06-22 11:15 ` David Hildenbrand
2023-06-22 11:17 ` Maciej S. Szmigiero
2023-06-22 12:06 ` David Hildenbrand
2023-06-22 12:14 ` Maciej S. Szmigiero
2023-06-22 12:27 ` Maciej S. Szmigiero
2023-06-22 12:52 ` David Hildenbrand
2023-06-22 18:45 ` Maciej S. Szmigiero
2023-06-23 12:23 ` David Hildenbrand
2023-06-23 18:04 ` Maciej S. Szmigiero
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=008fced2-1bcf-7a89-d642-bb724eb63ddf@redhat.com \
--to=david@redhat.com \
--cc=alex.bennee@linaro.org \
--cc=armbru@redhat.com \
--cc=berrange@redhat.com \
--cc=eblake@redhat.com \
--cc=eduardo@habkost.net \
--cc=mail@maciej.szmigiero.name \
--cc=marcandre.lureau@redhat.com \
--cc=marcel.apfelbaum@gmail.com \
--cc=mst@redhat.com \
--cc=pbonzini@redhat.com \
--cc=philmd@linaro.org \
--cc=qemu-devel@nongnu.org \
--cc=richard.henderson@linaro.org \
--cc=thuth@redhat.com \
/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).