From: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
To: Lyude Paul <lyude@redhat.com>
Cc: "Miguel Ojeda" <miguel.ojeda.sandonis@gmail.com>,
rust-for-linux@vger.kernel.org,
"Maíra Canal" <mairacanal@riseup.net>,
"Miguel Ojeda" <ojeda@kernel.org>,
"Alex Gaynor" <alex.gaynor@gmail.com>,
"Boqun Feng" <boqun.feng@gmail.com>,
"Gary Guo" <gary@garyguo.net>,
"Björn Roy Baron" <bjorn3_gh@protonmail.com>,
"Benno Lossin" <benno.lossin@proton.me>,
"Andreas Hindborg" <a.hindborg@kernel.org>,
"Alice Ryhl" <aliceryhl@google.com>,
"Trevor Gross" <tmgross@umich.edu>,
"Danilo Krummrich" <dakr@kernel.org>,
"Rafael J. Wysocki" <rafael@kernel.org>,
"Wedson Almeida Filho" <wedsonaf@gmail.com>,
"Mika Westerberg" <mika.westerberg@linux.intel.com>,
"Xiangfei Ding" <dingxiangfei2009@gmail.com>,
"open list" <linux-kernel@vger.kernel.org>
Subject: Re: [PATCH v2] rust/kernel: Add faux device bindings
Date: Sun, 9 Feb 2025 16:43:23 +0100 [thread overview]
Message-ID: <2025020904-defile-juror-67ab@gregkh> (raw)
In-Reply-To: <2ac39b766dbf5f9606107d3ead216ba384cfdd2b.camel@redhat.com>
On Fri, Feb 07, 2025 at 05:10:29PM -0500, Lyude Paul wrote:
> On Fri, 2025-02-07 at 13:16 +0100, Greg Kroah-Hartman wrote:
> > On Fri, Feb 07, 2025 at 12:42:41PM +0100, Miguel Ojeda wrote:
> > > On Fri, Feb 7, 2025 at 1:42 AM Lyude Paul <lyude@redhat.com> wrote:
> > > >
> > > > This introduces a crate for working with faux devices in rust, along with
> > >
> > > s/crate/module
> > >
> > > (also in the module description)
> > >
> > > > +//! C header: [`include/linux/device/faux.h`]
> > > > +use crate::{bindings, device, error::code::*, prelude::*};
> > >
> > > Newline between.
> > >
> > > > + // SAFETY: self.0 is a valid registered faux_device via our type invariants.
> > >
> > > Markdown.
> > >
> > > > +// SAFETY: The faux device API is thread-safe
> > > > +unsafe impl Send for Registration {}
> > > > +
> > > > +// SAFETY: The faux device API is thread-safe
> > > > +unsafe impl Sync for Registration {}
> > >
> > > Perhaps some extra notes here would be useful, e.g. is it documented
> > > to be so? Especially since faux is being added now, it may make sense
> > > to e.g. take the chance to work on mentioning this on the C side.
> >
> > How can or should I mention this on the C side?
>
> This is a very good question :), especially because it turns out I actually
> think this function is not thread-safe! Though I don't think that's actually
> much of a problem for Send/Sync here:
>
> So - my original assumption was that since faux_device_destroy() just wraps
> around device_del() and put_device() we'd get thread safety. put_device() is
> thread-safe, but on closer inspection I don't see that device_del() is. It
> _can_ be called from any thread, but only so long as there is a guarantee it's
> called exactly once. I think that's fine both for C and rust, but it
> definitely warrants a more descriptive SAFETY comment from me.
>
> So for the C side of things I might actually add documentation to device_del()
> for this that would look something like this:
>
> device_del() can be called from any thread, but provides no protection
> against multiple calls. It is up to the caller to ensure this function may
> only be called once for a given device.
You are correct in that device_del() has to be called only once, but the
idea of "thread safe" really isn't a thing in the kernel because we have
processes entering/exiting the code from all different places so things
better be "thread safe" almost everywhere, what matters to us as you
know is "context" due to sleep/locking issues.
So how about this wording instead:
device_del() must be called from process context, not interrupt
context, and also provides no protection against multiple calls
for the same device. It MUST be up to the caller to ensure that
this function can only be called once for a given device.
> And then I suppose we could refer back to device_del() in faux_device_destroy()'s
> documentation if we want. For the rust side of thing the safety comment could
> just be like this:
>
> // SAFETY: Our bindings ensure only one `Registration` can exist at a time,
> meaning faux_device_destroy() can only be called once for a given
> registration - fulfilling the driver core's requirements for thread-safety.
Sure, but I think we are going to start getting "thread" confusion over
time here, is this something we want to start thinking about or am I
just running into it for the first time here? I know it's a userspace
thing but not normally thought of in the kernel subsystems I'm familiar
with.
thanks,
greg k-h
next prev parent reply other threads:[~2025-02-09 15:43 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-02-07 0:40 [PATCH v2] rust/kernel: Add faux device bindings Lyude Paul
2025-02-07 9:25 ` Greg Kroah-Hartman
2025-02-07 9:32 ` Alice Ryhl
2025-02-07 15:22 ` Greg Kroah-Hartman
2025-02-07 12:17 ` Danilo Krummrich
2025-02-07 15:15 ` Greg Kroah-Hartman
2025-02-07 11:42 ` Miguel Ojeda
2025-02-07 12:16 ` Greg Kroah-Hartman
2025-02-07 22:10 ` Lyude Paul
2025-02-09 11:10 ` Miguel Ojeda
2025-02-09 15:43 ` Greg Kroah-Hartman [this message]
2025-02-09 23:04 ` Benno Lossin
2025-02-07 22:29 ` Lyude Paul
2025-02-09 11:11 ` Miguel Ojeda
2025-02-07 18:17 ` Danilo Krummrich
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2025020904-defile-juror-67ab@gregkh \
--to=gregkh@linuxfoundation.org \
--cc=a.hindborg@kernel.org \
--cc=alex.gaynor@gmail.com \
--cc=aliceryhl@google.com \
--cc=benno.lossin@proton.me \
--cc=bjorn3_gh@protonmail.com \
--cc=boqun.feng@gmail.com \
--cc=dakr@kernel.org \
--cc=dingxiangfei2009@gmail.com \
--cc=gary@garyguo.net \
--cc=linux-kernel@vger.kernel.org \
--cc=lyude@redhat.com \
--cc=mairacanal@riseup.net \
--cc=miguel.ojeda.sandonis@gmail.com \
--cc=mika.westerberg@linux.intel.com \
--cc=ojeda@kernel.org \
--cc=rafael@kernel.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=tmgross@umich.edu \
--cc=wedsonaf@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox