On 2/15/22 16:21, Jason Gunthorpe wrote: > On Tue, Feb 15, 2022 at 04:00:35PM +0000, Joao Martins wrote: >> On 2/14/22 14:06, Jason Gunthorpe wrote: >>> On Mon, Feb 14, 2022 at 01:34:15PM +0000, Joao Martins wrote: >>> >>>> [*] apparently we need to write an invalid entry first, invalidate the {IO}TLB >>>> and then write the new valid entry. Not sure I understood correctly that this >>>> is the 'break-before-make' thingie. >>> >>> Doesn't that explode if the invalid entry is DMA'd to? >>> >> Yes, IIUC. Also, the manual has this note: > > Heh, sounds like "this doesn't work" to me :) > Yeah, but I remember reading in manual that HTTUD (what ARM calls it for dirty tracking, albeit DBM is another term for the same thing) requires FEAT_BBM which avoids us to play the above games. So, supposedly, we can "just" use atomics with IOPTE changes and IOTLB flush. Not if we need the latter flush before or after on smmuv3. >>> Like I said, I'd prefer we not build more on the VFIO type 1 code >>> until we have a conclusion for iommufd.. >>> >> >> I didn't quite understand what you mean by conclusion. > > If people are dead-set against doing iommufd, then lets abandon the > idea and go back to hacking up vfio. > Heh, I was under the impression everybody was investing so much *because* that direction was set onto iommufd direction. >> If by conclusion you mean the whole thing to be merged, how can the work be >> broken up to pieces if we busy-waiting on the new subsystem? Or maybe you meant >> in terms of direction... > > I think go ahead and build it on top of iommufd, start working out the > API details, etc. I think once the direction is concluded the new APIs > will go forward. > /me nods, will do. Looking at your repository it is looking good. >>> While returning the dirty data looks straight forward, it is hard to >>> see an obvious path to enabling and controlling the system iommu the >>> way vfio is now. >> >> It seems strange to have a whole UAPI for userspace [*] meant to >> return dirty data to userspace, when dirty right now means the whole >> pinned page set and so copying the whole guest ... > > Yes, the whole thing is only partially implemented, and doesn't have > any in-kernel user. It is another place holder for an implementation > to come someday. > Yeap, seems like. >> Hence my thinking was that the patches /if small/ would let us see how dirty >> tracking might work for iommu kAPI (and iommufd) too. > > It could be tried, but I think if you go into there you will find it > quickly turns quite complicated to address all the edge cases. Eg what > do you do if you have a mdev present after you turn on system > tracking? What if the mdev is using a PASID? > What about hotplug of new > VFIO devices? > > Remember, dirty tracking for vfio is totally useless without also > having vfio device migration. Oh yes -- I am definitely aware. IOMMU/Device Dirty tracking is useless if we can't do the device part first. But if quiescing DMA and saving state are two hard requirements that are mandatory for a live migrateable VF, having dirty tracking in the devices I suspect might be more rare. So perhaps people will look at IOMMUs as a commodity-workaround to avoid a whole bunch of hardware logic for dirty tracking, even bearing what it entails for DMA performance (hisilicon might be an example). > Do you already have a migration capable > device to use with this? > Not yet, but soon I hope. >> Would it be better to do more iterative steps (when possible) as opposed to >> scratch and rebuild VFIO type1 IOMMU handling? > > Possibly, but every thing that gets added has to be carried over to > the new code too, and energy has to be expended trying to figure out > how the half implemented stuff should work while finishing it. > /me nods I understand > At the very least we must decide what to do with device-provided dirty > tracking before the VFIO type1 stuff can be altered to use the system > IOMMU. > I, too, have been wondering what that is going to look like -- and how do we convey the setup of dirty tracking versus the steering of it. > This is very much like the migration FSM, the only appeal is the > existing qemu implementation of the protocol. Yeah.