[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <68263bd7-4528-7acb-b11f-6b1c6c8c72ef@arm.com>
Date: Thu, 23 Jun 2022 13:23:05 +0100
From: Robin Murphy <robin.murphy@....com>
To: Alex Williamson <alex.williamson@...hat.com>
Cc: cohuck@...hat.com, jgg@...dia.com, iommu@...ts.linux.dev,
iommu@...ts.linux-foundation.org, kvm@...r.kernel.org,
linux-kernel@...r.kernel.org
Subject: Re: [PATCH v2 1/2] vfio/type1: Simplify bus_type determination
On 2022-06-22 23:17, Alex Williamson wrote:
> On Wed, 22 Jun 2022 13:04:11 +0100
> Robin Murphy <robin.murphy@....com> wrote:
>
>> Since IOMMU groups are mandatory for drivers to support, it stands to
>> reason that any device which has been successfully be added to a group
>
> s/be //
Oops.
>> must be on a bus supported by that IOMMU driver, and therefore a domain
>> viable for any device in the group must be viable for all devices in
>> the group. This already has to be the case for the IOMMU API's internal
>> default domain, for instance. Thus even if the group contains devices on
>> different buses, that can only mean that the IOMMU driver actually
>> supports such an odd topology, and so without loss of generality we can
>> expect the bus type of any device in a group to be suitable for IOMMU
>> API calls.
>>
>> Replace vfio_bus_type() with a simple call to resolve an appropriate
>> member device from which to then derive a bus type. This is also a step
>> towards removing the vague bus-based interfaces from the IOMMU API, when
>> we can subsequently switch to using this device directly.
>>
>> Furthermore, scrutiny reveals a lack of protection for the bus being
>> removed while vfio_iommu_type1_attach_group() is using it; the reference
>> that VFIO holds on the iommu_group ensures that data remains valid, but
>> does not prevent the group's membership changing underfoot. Holding the
>> vfio_device for as long as we need here also neatly solves this.
>>
>> Signed-off-by: Robin Murphy <robin.murphy@....com>
>> ---
>>
>> After sleeping on it, I decided to type up the helper function approach
>> to see how it looked in practice, and in doing so realised that with one
>> more tweak it could also subsume the locking out of the common paths as
>> well, so end up being a self-contained way for type1 to take care of its
>> own concern, which I rather like.
>>
>> drivers/vfio/vfio.c | 18 +++++++++++++++++-
>> drivers/vfio/vfio.h | 3 +++
>> drivers/vfio/vfio_iommu_type1.c | 30 +++++++++++-------------------
>> 3 files changed, 31 insertions(+), 20 deletions(-)
>>
>> diff --git a/drivers/vfio/vfio.c b/drivers/vfio/vfio.c
>> index 61e71c1154be..73bab04880d0 100644
>> --- a/drivers/vfio/vfio.c
>> +++ b/drivers/vfio/vfio.c
>> @@ -448,7 +448,7 @@ static void vfio_group_get(struct vfio_group *group)
>> * Device objects - create, release, get, put, search
>> */
>> /* Device reference always implies a group reference */
>> -static void vfio_device_put(struct vfio_device *device)
>> +void vfio_device_put(struct vfio_device *device)
>> {
>> if (refcount_dec_and_test(&device->refcount))
>> complete(&device->comp);
>> @@ -475,6 +475,22 @@ static struct vfio_device *vfio_group_get_device(struct vfio_group *group,
>> return NULL;
>> }
>>
>> +struct vfio_device *vfio_device_get_from_iommu(struct iommu_group *iommu_group)
>> +{
>> + struct vfio_group *group = vfio_group_get_from_iommu(iommu_group);
>> + struct vfio_device *device;
>
> Check group for NULL.
OK - FWIW in context this should only ever make sense to call with an
iommu_group which has already been derived from a vfio_group, and I did
initially consider a check with a WARN_ON(), but then decided that the
unguarded dereference would be a sufficiently strong message. No problem
with bringing that back to make it more defensive if that's what you prefer.
>> +
>> + mutex_lock(&group->device_lock);
>> + list_for_each_entry(device, &group->device_list, group_next) {
>> + if (vfio_device_try_get(device)) {
>> + mutex_unlock(&group->device_lock);
>> + return device;
>> + }
>> + }
>> + mutex_unlock(&group->device_lock);
>> + return NULL;
>
> No vfio_group_put() on either path.
Oops indeed.
>> +}
>> +
>> /*
>> * VFIO driver API
>> */
>> diff --git a/drivers/vfio/vfio.h b/drivers/vfio/vfio.h
>> index a67130221151..e8f21e64541b 100644
>> --- a/drivers/vfio/vfio.h
>> +++ b/drivers/vfio/vfio.h
>> @@ -70,3 +70,6 @@ struct vfio_iommu_driver_ops {
>>
>> int vfio_register_iommu_driver(const struct vfio_iommu_driver_ops *ops);
>> void vfio_unregister_iommu_driver(const struct vfio_iommu_driver_ops *ops);
>> +
>> +struct vfio_device *vfio_device_get_from_iommu(struct iommu_group *iommu_group);
>> +void vfio_device_put(struct vfio_device *device);
>> diff --git a/drivers/vfio/vfio_iommu_type1.c b/drivers/vfio/vfio_iommu_type1.c
>> index c13b9290e357..e38b8bfde677 100644
>> --- a/drivers/vfio/vfio_iommu_type1.c
>> +++ b/drivers/vfio/vfio_iommu_type1.c
>> @@ -1679,18 +1679,6 @@ static int vfio_dma_do_map(struct vfio_iommu *iommu,
>> return ret;
>> }
>>
>> -static int vfio_bus_type(struct device *dev, void *data)
>> -{
>> - struct bus_type **bus = data;
>> -
>> - if (*bus && *bus != dev->bus)
>> - return -EINVAL;
>> -
>> - *bus = dev->bus;
>> -
>> - return 0;
>> -}
>> -
>> static int vfio_iommu_replay(struct vfio_iommu *iommu,
>> struct vfio_domain *domain)
>> {
>> @@ -2159,7 +2147,7 @@ static int vfio_iommu_type1_attach_group(void *iommu_data,
>> struct vfio_iommu *iommu = iommu_data;
>> struct vfio_iommu_group *group;
>> struct vfio_domain *domain, *d;
>> - struct bus_type *bus = NULL;
>> + struct vfio_device *iommu_api_dev;
>> bool resv_msi, msi_remap;
>> phys_addr_t resv_msi_base = 0;
>> struct iommu_domain_geometry *geo;
>> @@ -2192,18 +2180,19 @@ static int vfio_iommu_type1_attach_group(void *iommu_data,
>> goto out_unlock;
>> }
>>
>> - /* Determine bus_type in order to allocate a domain */
>> - ret = iommu_group_for_each_dev(iommu_group, &bus, vfio_bus_type);
>> - if (ret)
>> + /* Resolve the group back to a member device for IOMMU API ops */
>> + ret = -ENODEV;
>> + iommu_api_dev = vfio_device_get_from_iommu(iommu_group);
>> + if (!iommu_api_dev)
>> goto out_free_group;
>>
>> ret = -ENOMEM;
>> domain = kzalloc(sizeof(*domain), GFP_KERNEL);
>> if (!domain)
>> - goto out_free_group;
>> + goto out_put_dev;
>>
>> ret = -EIO;
>> - domain->domain = iommu_domain_alloc(bus);
>> + domain->domain = iommu_domain_alloc(iommu_api_dev->dev->bus);
>
> It makes sense to move away from a bus centric interface to iommu ops
> and I can see that having a device interface when we have device level
> address-ability within a group makes sense, but does it make sense to
> only have that device level interface? For example, if an iommu_group
> is going to remain an aspect of the iommu subsystem, shouldn't we be
> able to allocate a domain and test capabilities based on the group and
> the iommu driver should have enough embedded information reachable from
> the struct iommu_group to do those things? This "perform group level
> operations based on an arbitrary device in the group" is pretty klunky.
The fact* is that devices (and domains) are the fundamental units of the
IOMMU API internals, due to what's most practical within the Linux
driver model, while groups remain more of a mid-level abstraction -
IOMMU drivers themselves are only aware of groups at all in terms of
whether they can physically distinguish a given device from others. The
client-driver-facing API is already moving back to being device-centric,
because that's what fits everyone else's usage models, and we concluded
that exposing the complexity of groups everywhere was more trouble than
it's worth.
So yes, technically we could implement an iommu_group_capable() and an
iommu_group_domain_alloc(), which would still just internally resolve
the IOMMU ops and instance data from a member device to perform the
driver-level call, but once again it would be for the benefit of
precisely one user. And I really have minimal enthusiasm for diverging
any further into one IOMMU API for everyone else plus a separate special
IOMMU API for VFIO type1, when type1 is supposed to be the
VFIO-to-IOMMU-API translation layer anyway! To look at it another way,
if most of the complexity of groups is for VFIO's benefit, then why
*shouldn't* VFIO take responsibility for some of the fiddly details that
don't matter to anyone else?
Thanks,
Robin.
* with some inescapable degree of subjective opinion, of course
Powered by blists - more mailing lists