[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <aD3PCc6QREqNgBYU@google.com>
Date: Mon, 2 Jun 2025 16:19:21 +0000
From: Alice Ryhl <aliceryhl@...gle.com>
To: Danilo Krummrich <dakr@...nel.org>
Cc: Daniel Almeida <daniel.almeida@...labora.com>, Miguel Ojeda <ojeda@...nel.org>,
Alex Gaynor <alex.gaynor@...il.com>, Boqun Feng <boqun.feng@...il.com>,
Gary Guo <gary@...yguo.net>,
"Björn Roy Baron" <bjorn3_gh@...tonmail.com>, Benno Lossin <benno.lossin@...ton.me>,
Andreas Hindborg <a.hindborg@...nel.org>, Trevor Gross <tmgross@...ch.edu>,
Greg Kroah-Hartman <gregkh@...uxfoundation.org>, "Rafael J. Wysocki" <rafael@...nel.org>,
Thomas Gleixner <tglx@...utronix.de>, linux-kernel@...r.kernel.org,
rust-for-linux@...r.kernel.org
Subject: Re: [PATCH v3 1/2] rust: irq: add support for request_irq()
On Wed, May 14, 2025 at 11:53:21PM +0200, Danilo Krummrich wrote:
> On Wed, May 14, 2025 at 04:20:51PM -0300, Daniel Almeida wrote:
> > +/// // This is running in process context.
> > +/// fn register_irq(irq: u32, handler: Handler) -> Result<Arc<Registration<Handler>>> {
> > +/// let registration = Registration::register(irq, flags::SHARED, c_str!("my-device"), handler);
> > +///
> > +/// // You can have as many references to the registration as you want, so
> > +/// // multiple parts of the driver can access it.
> > +/// let registration = Arc::pin_init(registration, GFP_KERNEL)?;
>
> This makes it possible to arbitrarily extend the lifetime of an IRQ
> registration. However, we must guarantee that the IRQ is unregistered when the
> corresponding device is unbound. We can't allow drivers to hold on to device
> resources after the corresponding device has been unbound.
>
> Why does the data need to be part of the IRQ registration itself? Why can't we
> pass in an Arc<T> instance already when we register the IRQ?
>
> This way we'd never have a reason to ever access the Registration instance
> itself ever again and we can easily wrap it as Devres<irq::Registration> -
> analogously to devm_request_irq() on the C side - without any penalties.
If we step away from the various Rust abstractions for a moment, then it
sounds like the request_irq API must follow these rules:
1. Ensure that free_irq is called before the device is unbound.
2. Ensure that associated data remains valid until after free_irq is
called.
We don't necessarily need to ensure that the Registration object itself
is dropped before the device is unbound - as long as free_irq is called
in time, it's okay.
Now, if we use Devres, the way this is enforced is that during cleanup
of a device, we call free_irq *and* we destroy the associated data right
afterwards. By also destroying the associated data at that moment, it
becomes necessary to use rcu_read_lock() to access the associated data.
But if we just don't destroy the associated data during device cleanup,
then that requirement goes away.
Based on this, we could imagine something along these lines:
struct RegistrationInner(i32);
impl Drop for RegistrationInner {
fn drop(&mut self) {
free_irq(...);
}
}
struct Registration<T> {
reg: Devres<RegistrationInner>,
data: T,
}
Here you can access the `data` on the registration at any time without
synchronization.
Note that with this, I don't think the rcu-based devres is really the
right choice. It would make more sense to have a mutex along these
lines:
// drop Registration
if devm_remove_callback() {
free_irq();
} else {
mutex_lock();
free_irq();
mutex_unlock();
}
// devm callback
mutex_lock();
free_irq();
mutex_unlock();
This avoids that really expensive call to synchronize_rcu() in the devm
callback.
Of course, for cases where the callback is only removed in the devm
callback, you could also do away with the registration, take a
ForeignOwnable that you can turn into the void pointer, and have the
devm callback call free_irq followed by dropping the ForeignOwnable
pointer.
Alice
Powered by blists - more mailing lists