|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [PATCH v6 18/23] xen/riscv: implement IRQ routing for device passthrough
On 7/23/26 3:30 PM, Jan Beulich wrote: On 20.07.2026 17:59, Oleksii Kurochko wrote: If it isn't the best option then it is needed to follow they way we had before:
-/*
- * Describe an IRQ assigned to a guest.
- *
- * The irqaction is embedded here (rather than allocated separately with
- * its dev_id pointing at a standalone struct irq_guest) so that freeing
- * the action in release_irq() also frees this whole structure in one go.
- * That avoids the alternative of release_irq()'s caller having to free
- * dev_id itself (something like in Arm release_guest_irq()).
- */
+/* Describe an IRQ assigned to a guest */
struct irq_guest
{
- struct irqaction action;
struct domain *d;
unsigned int virq;
};
@@ -263,7 +254,6 @@ static struct irq_guest *irq_get_guest_info(struct
irq_desc *desc)
return desc->action->dev_id;
}
-
void release_irq(unsigned int irq, const void *dev_id)
{
struct irq_desc *desc;
@@ -361,6 +351,7 @@ int release_guest_irq(struct domain *d, unsigned int
virq)
spin_unlock_irqrestore(&desc->lock, flags);
release_irq(desc->irq, info);
+ xvfree(info);
return 0;
@@ -384,23 +375,20 @@ int route_irq_to_guest(struct domain *d, unsigned
int virq,
desc = irq_to_desc(irq);
- /*
- * release_irq() frees this action via xvfree(), relying on action
- * being the first member of struct irq_guest so that &info->action
- * coincides with info itself. Guard the layout so a future field
- * reorder can't silently turn that into a free() of a mid-allocation
- * pointer.
- */
- BUILD_BUG_ON(offsetof(struct irq_guest, action) != 0);
+ action = xvmalloc(struct irqaction);
+ if ( !action )
+ return -ENOMEM;
info = xvmalloc(struct irq_guest);
if ( !info )
+ {
+ xvfree(action);
return -ENOMEM;
+ }
info->d = d;
info->virq = virq;
- action = &info->action;
action->dev_id = info;
action->name = devname;
action->free_on_release = true;
@@ -454,13 +442,15 @@ int route_irq_to_guest(struct domain *d, unsigned
int virq,
if ( retval )
{
release_irq(desc->irq, info);
- return retval;
+ goto free_info;
}
return 0;
out:
spin_unlock_irqrestore(&desc->lock, flags);
+ xvfree(action);
+ free_info:
xvfree(info);
return retval;
I see an an item in changelog which meniotned that:
```
Drop xfree(info) from release_guest_irq() to avoid a potential
dangling-pointer issue with the ->dev_id field. Now that
struct irqaction action;' is embedded into 'struct irq_guest',
'info' will be freed as part of release_irq() at the end.
```
But it seems I don't see now why it will be dangled-pointer here as
info is referenced by exactly one pointer, action->dev_id, and nothing
caches it: the only reader, irq_get_guest_info(), dereferences
desc->action->dev_id under desc->lock and doesn't outlive the critical
section. xvfree(info) only ever runs after release_irq() has unlinked
the action from desc->action under the lock and waited for
_IRQ_INPROGRESS to clear, so by then no CPU can reach ->dev_id. A
concurrent release_guest_irq() for the same IRQ is excluded by clearing
_IRQ_GUEST under desc->lock, and live unrouting of a running domain is
rejected with -EBUSY. In the error paths, out: frees an action
_setup_irq() never installed, and the intc_route_irq_to_guest() failure
path calls release_irq() before freeing info.
So it seems like it is safe to use what we had in v4. Any concerns? ~ Oleksii
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |