On Tue, Dec 05, 2023 at 03:23:05AM +0000, Tian, Kevin wrote: > > I didn't said the PRI would fail, I said the ATS would fail with a > > non-present. > > > > It has to work this way or it is completely broken with respect to > > existing races in the mm side. Agents must retry non-present ATS > > answers until you get a present or a ATS failure. > > My understanding of the sequence is like below: > > <'D' for device, 'I' for IOMMU> > > (D) send a ATS translation request > (I) respond translation result > (D) If success then sends DMA to the target page > otherwise send a PRI request > (I) raise an IOMMU interrupt allowing sw to fix the translation > (I) generate a PRI response to device > (D) if success then jump to the first step to retry > otherwise abort the current request > > If mm changes the mapping after a success PRI response, mmu notifier > callback in iommu driver needs to wait for device tlb invalidation completion > which the device will order properly with outstanding DMA requests using > the old translation. > > If you refer to the 'retry' after receiving a success PRI response, then yes. > > but there is really no reason to retry upon a PRI response failure which > indicates that the faulting address is not a valid one which OS would like > to fix. Right > > Draining has to be ordered correctly with whatever the device is > > doing. Drain needs to come after FLR, for instance. It needs to come > > after a work queue reset, because drain doesn't make any sense unless > > it is coupled with a DMA stop at the device. > > Okay that makes sense. As Baolu and you already agreed let's separate > this fix out of this series. > > The minor interesting aspect is how to document this requirement > clearly so drivers won't skip calling it when sva is enabled. All changes to translation inside kernel drivers should only be done once the DMA is halted, otherwise things possibily become security troubled. We should document this clearly, it is already expected in common cases like using the DMA API and when removing() drivers. It also applies when the driver is manually changing a PASID. The issue is not drain, it is that the HW is still doing DMA on the PASID and the PASID may be assigned to a new process. This kernel *must* prevent this directly and strongly. If the device requires a drain to halt its DMA, then that is a device specific sequence. Otherwise it should simply halt its DMA in whatever device specific way it has. > > Hacking a DMA stop by forcing a blocking translation is not logically > > correct, with wrong ordering the device may see unexpected translation > > failures which may trigger AERs or bad things.. > > where is such hack? though the current implementation of draining > is not clean, it's put inside pasid-disable-sequence instead of forcing > a blocking translation implicitly in iommu driver i.e. it's still the driver > making decision for what translation to be used... It is mis-understanding the purpose of drain. In normal operating cases PRI just flows and the device will eventually, naturally, reach a stable terminal case. We don't provide any ordering guarentees across translation changes so PRI just follows that design. If you change the translation with ongoing DMA then you just don't know what order things will happen in. The main purpose of drain is to keep the PRI protocol itself in sync against events on the device side that cause it to forget about the tags it has already issued. Eg a FLR should reset the tag record. If a device then issues a new PRI with a tag that matches a tag that was outstanding prior to FLR we can get a corruption. So any drain sequence should start with the device halting new PRIs. We flush all PRI tags from the system completely, and then the device may resume issuing new PRIs. When the device resets it's tag labels is a property of the device. Notice none of this has anything to do with change of translation. Change of translation, or flush of ATC, does not invalidate the tags. A secondary case is to help devices halt their DMA when they cannot do this on their own. Jason
