On Thu, Oct 19, 2023 at 01:56:01AM +0000, Tian, Kevin wrote: > > Otherwise we have a problem where the order devices are attached to > > the domain decides how many domains you get. ie the first device > > attached does not want CC (but is compatible with it) so we create a > > non-CC domain > > in autodetect model this won't happen. If the first device is capable > of enforce_cc then the domain will be created with enforce_cc. > > there is no "does not want CC" input in autodetect. > > > > Then later we attach a device that does want CC and now we are forced > > to create a second iommu domain when upgrading the first domain would > > have been fine. > > then in this case the 2nd device will reuse the domain. Then you have the reverse problem where the domain will not be CC when it should be. > > Hotplug is another scenario (though Intel driver does not support it, > > and it looks broken) > > Can you elaborate how hotplug is broken? If device is hotplugged and > failed to attach to an existing domain, then a new one will be created > for it. A non-cc domain will ask to be upgraded and the driver will let it happen even though it doesn't/can't fix the existing IOPTEs > there is indeed a broken case in KVM which cannot handle dynamic > change of coherency due to hotplug. But that one is orthogonal to > what we discussed here about how to decide cc in iommufd. That too > > Really, I hate this CC mechanism. It is only for Intel, can we just > > Intel and AMD. Nope, AMD just hardwires their IOMMU to always do CC enforcing. All this mess is only for Intel and their weird IOMMU that can only do the enforcement for a GPU. > > punt it to userspace and have an intel 'want cc flag' for the entire > > nesting path and forget about it? > > I dislike it too. But still not get your point why adding such a flag > can really simplify things. As explained before the only difference > between autodetect and having a user flag just affects the decision > of cc when creating a hwpt. whether we should upgrade in the > attach path is an orthogonal open which imho is unnecessary and > Nicoline's patches to remove that check then also remove this > patch makes lot of sense to me. I don't think we can remove it, it is supposed to provide consistency of result regardless of ordering. Jason
