[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <aKRx8xsY8CpzbeEm@google.com>
Date: Tue, 19 Aug 2025 12:45:39 +0000
From: Alice Ryhl <aliceryhl@...gle.com>
To: Danilo Krummrich <dakr@...nel.org>
Cc: Andrew Morton <akpm@...ux-foundation.org>, "Liam R. Howlett" <Liam.Howlett@...cle.com>,
Lorenzo Stoakes <lorenzo.stoakes@...cle.com>, Miguel Ojeda <ojeda@...nel.org>,
Andrew Ballance <andrewjballance@...il.com>, Boqun Feng <boqun.feng@...il.com>,
Gary Guo <gary@...yguo.net>,
"Björn Roy Baron" <bjorn3_gh@...tonmail.com>, Benno Lossin <lossin@...nel.org>,
Andreas Hindborg <a.hindborg@...nel.org>, Trevor Gross <tmgross@...ch.edu>, linux-kernel@...r.kernel.org,
maple-tree@...ts.infradead.org, rust-for-linux@...r.kernel.org,
linux-mm@...ck.org
Subject: Re: [PATCH v2 2/5] rust: maple_tree: add MapleTree
On Tue, Aug 19, 2025 at 01:30:30PM +0200, Danilo Krummrich wrote:
> On Tue Aug 19, 2025 at 12:34 PM CEST, Alice Ryhl wrote:
> > diff --git a/MAINTAINERS b/MAINTAINERS
> > index fe168477caa45799dfe07de2f54de6d6a1ce0615..26053163fe5aed2fc4b4e39d47062c93b873ac13 100644
> > --- a/MAINTAINERS
> > +++ b/MAINTAINERS
> > @@ -16250,7 +16250,9 @@ L: rust-for-linux@...r.kernel.org
> > S: Maintained
> > W: http://www.linux-mm.org
> > T: git git://git.kernel.org/pub/scm/linux/kernel/git/akpm/mm
> > +F: rust/helpers/maple_tree.c
> > F: rust/helpers/mm.c
> > +F: rust/kernel/maple_tree.rs
> > F: rust/kernel/mm.rs
> > F: rust/kernel/mm/
>
> A later patch adds a separate entry; is this intended?
Ah, no, this isn't intended.
> > +impl<T: ForeignOwnable> MapleTree<T> {
> > + /// Create a new maple tree.
> > + ///
> > + /// The tree will use the regular implementation with a higher branching factor.
>
> What do you mean with "regular implementation" and what is "a higher branching
> factor" in this context?
>
> Do you mean that the maple tree has a higher branching factor than a regular RB
> tree, or something else?
This is compared to the alloc variant of the maple tree from the last
patch in this series.
> > + #[inline]
> > + pub fn new() -> impl PinInit<Self> {
> > + pin_init!(MapleTree {
> > + // SAFETY: This initializes a maple tree into a pinned slot. The maple tree will be
> > + // destroyed in Drop before the memory location becomes invalid.
> > + tree <- Opaque::ffi_init(|slot| unsafe { bindings::mt_init_flags(slot, 0) }),
> > + _p: PhantomData,
> > + })
> > + }
> > +
> > + /// Insert the value at the given index.
> > + ///
> > + /// If the maple tree already contains a range using the given index, then this call will fail.
>
> Maybe add an error section for this?
>
> > + ///
> > + /// # Examples
> > + ///
> > + /// ```
> > + /// use kernel::maple_tree::{MapleTree, InsertErrorKind};
> > + ///
> > + /// let tree = KBox::pin_init(MapleTree::<KBox<i32>>::new(), GFP_KERNEL)?;
> > + ///
> > + /// let ten = KBox::new(10, GFP_KERNEL)?;
> > + /// let twenty = KBox::new(20, GFP_KERNEL)?;
> > + /// let the_answer = KBox::new(42, GFP_KERNEL)?;
> > + ///
> > + /// // These calls will succeed.
> > + /// tree.insert(100, ten, GFP_KERNEL)?;
> > + /// tree.insert(101, twenty, GFP_KERNEL)?;
> > + ///
> > + /// // This will fail because the index is already in use.
> > + /// assert_eq!(
> > + /// tree.insert(100, the_answer, GFP_KERNEL).unwrap_err().cause,
>
> A lot of the examples, including the ones in subsequent patches contain variants
> of unwrap().
>
> I think we should avoid this and instead handle errors gracefully -- even if it
> bloats the examples a bit.
>
> My concern is that it otherwise creates the impression that using unwrap() is a
> reasonable thing to do.
>
> Especially for people new to the kernel or Rust (or both) it might not be
> obvious that unwrap() is equivalent to
>
> if (!ret)
> do_something();
> else
> panic();
>
> or the fact that this is something we should only do as absolute last resort.
How would you write it? The way you write it in normal code is an
if/else where you handle both cases, but that doesn't map nicely.
Alice
Powered by blists - more mailing lists