On Fri, 3 Aug 2018 21:42:18 +0300 "Michael S. Tsirkin" <m...@redhat.com> wrote:
> On Tue, Jul 31, 2018 at 03:50:30PM -0600, Alex Williamson wrote: > > On Tue, 31 Jul 2018 16:07:46 +0100 > > "Dr. David Alan Gilbert" <dgilb...@redhat.com> wrote: > > > > > * Alex Williamson (alex.william...@redhat.com) wrote: > > > > On Tue, 31 Jul 2018 15:29:17 +0300 > > > > "Michael S. Tsirkin" <m...@redhat.com> wrote: > > > > > > > > > On Mon, Jul 30, 2018 at 05:13:26PM -0600, Alex Williamson wrote: > > > > > > v2: > > > > > > - Use atomic ops for balloon inhibit counter (Peter) > > > > > > - Allow endpoint driver opt-in for ballooning, vfio-ccw opt-in by > > > > > > default, vfio-pci opt-in by device option, only allowed for mdev > > > > > > devices, no support added for platform as there are no platform > > > > > > mdev devices. > > > > > > > > > > > > See patch 3/4 for detailed explanation why ballooning and device > > > > > > assignment typically don't mix. If this eventually changes, flags > > > > > > on the iommu info struct or perhaps device info struct can inform > > > > > > us for automatic opt-in. Thanks, > > > > > > > > > > > > Alex > > > > > > > > > > So this patch seems to block ballooning when vfio is added. > > > > > But what if balloon is added and inflated first? > > > > > > > > Good point. > > > > > > > > > I'd suggest making qemu_balloon_inhibit fail in that case, > > > > > and then vfio realize will fail as well. > > > > > > > > That might be the correct behavior for vfio, but I wonder about the > > > > existing postcopy use case. Dave Gilbert, what do you think? We might > > > > need a separate interface for callers that cannot tolerate existing > > > > ballooned pages. Of course we'll also need another atomic counter to > > > > keep a tally of ballooned pages. Thanks, > > > > > > For postcopy, preinflation isn't a problem; our only issue is ballooning > > > during the postcopy phase itself. > > > > On further consideration, I think device assignment is in the same > > category. The balloon inhibitor does not actually stop the guest > > balloon driver from grabbing and freeing pages, it only changes whether > > QEMU releases the pages with madvise DONTNEED. The problem we have > > with ballooning and device assignment is when we have an existing HPA > > mapping in the IOMMU that isn't invalidated on DONTNEED and becomes > > inconsistent when the page is re-populated. Zapped pages at the time > > an assigned device is added do not trigger this, those pages will be > > repopulated when pages are pinned for the assigned device. This is the > > identical scenario to a freshly started VM that doesn't use memory > > preallocation and therefore faults in pages on demand. When an > > assigned device is attached to such a VM, page pinning will fault in > > and lock all of those pages. > > Granted this means memory won't be corrupted, but it is > also highly unlikely to be what the user wanted. This is the current state of balloon inhibiting, it does not revoke ballooned pages, ie. giving them back to the back to the guest, or prevent the guest from inflating the balloon, it only controls whether the pages are released back to the host. I suspect a much more involved overhaul of ballooning in general would be necessary to support such features. Thanks, Alex
