mirrors/qemu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

memory: Clarify mapping requirements for RamDiscardManager

Browse Source 
We really only care about the RAM memory region not being mapped into
an address space yet as long as we're still setting up the
RamDiscardManager. Once mapped into an address space, memory notifiers
would get notified about such a region and any attempts to modify the
RamDiscardManager would be wrong.

While "mapped into an address space" is easy to check for RAM regions that
are mapped directly (following the ->container links), it's harder to
check when such regions are mapped indirectly via aliases. For now, we can
only detect that a region is mapped through an alias (->mapped_via_alias),
but we don't have a handle on these aliases to follow all their ->container
links to test if they are eventually mapped into an address space.

So relax the assertion in memory_region_set_ram_discard_manager(),
remove the check in memory_region_get_ram_discard_manager() and clarify
the doc.

Message-ID: <20230926185738.277351-14-david@redhat.com>
Reviewed-by: Maciej S. Szmigiero <maciej.szmigiero@oracle.com>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: David Hildenbrand <david@redhat.com>
This commit is contained in:
David Hildenbrand 2023-09-26 20:57:33 +02:00
parent a2335113ae
commit aa5317ef7c
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
include/exec/memory.h
View File

@ -599,8 +599,9 @@ typedef void (*ReplayRamDiscard)(MemoryRegionSection *section, void *opaque);
* populated (consuming memory), to be used/accessed by the VM. * populated (consuming memory), to be used/accessed by the VM.
* *
* A #RamDiscardManager can only be set for a RAM #MemoryRegion while the * A #RamDiscardManager can only be set for a RAM #MemoryRegion while the
* #MemoryRegion isn't mapped yet; it cannot change while the #MemoryRegion is * #MemoryRegion isn't mapped into an address space yet (either directly
* mapped. * or via an alias); it cannot change while the #MemoryRegion is
* mapped into an address space.
* *
* The #RamDiscardManager is intended to be used by technologies that are * The #RamDiscardManager is intended to be used by technologies that are
* incompatible with discarding of RAM (e.g., VFIO, which may pin all * incompatible with discarding of RAM (e.g., VFIO, which may pin all

4
system/memory.c
View File

@ -2085,7 +2085,7 @@ int memory_region_iommu_num_indexes(IOMMUMemoryRegion *iommu_mr)
RamDiscardManager *memory_region_get_ram_discard_manager(MemoryRegion *mr) RamDiscardManager *memory_region_get_ram_discard_manager(MemoryRegion *mr)
{ {
if (!memory_region_is_mapped(mr) || !memory_region_is_ram(mr)) { if (!memory_region_is_ram(mr)) {
return NULL; return NULL;
} }
return mr->rdm; return mr->rdm;
@ -2094,7 +2094,7 @@ RamDiscardManager *memory_region_get_ram_discard_manager(MemoryRegion *mr)
void memory_region_set_ram_discard_manager(MemoryRegion *mr, void memory_region_set_ram_discard_manager(MemoryRegion *mr,
RamDiscardManager *rdm) RamDiscardManager *rdm)
{ {
g_assert(memory_region_is_ram(mr) && !memory_region_is_mapped(mr)); g_assert(memory_region_is_ram(mr));
g_assert(!rdm || !mr->rdm); g_assert(!rdm || !mr->rdm);
mr->rdm = rdm; mr->rdm = rdm;
} }