From: "Danilo Krummrich" <dakr@kernel.org>
To: "Elijah" <me@elijahs.space>
Cc: "Elijah Wright" <git@elijahs.space>,
"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" <lossin@kernel.org>,
"Andreas Hindborg" <a.hindborg@kernel.org>,
"Alice Ryhl" <aliceryhl@google.com>,
"Trevor Gross" <tmgross@umich.edu>,
rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org,
"Lorenzo Stoakes" <lorenzo.stoakes@oracle.com>,
"Vlastimil Babka" <vbabka@suse.cz>,
"Liam R. Howlett" <Liam.Howlett@oracle.com>,
"Uladzislau Rezki" <urezki@gmail.com>,
linux-mm@kvack.org
Subject: Re: [PATCH] rust: slab: add basic slab module
Date: Thu, 25 Sep 2025 19:43:06 +0200 [thread overview]
Message-ID: <DD22FI7F2ZHT.32SL8PXFZZHV3@kernel.org> (raw)
In-Reply-To: <73d7d53f-439b-44a9-98ca-0b1c8fbc1661@elijahs.space>
On Thu Sep 25, 2025 at 7:20 PM CEST, Elijah wrote:
Please don't top post [1]; use interleaved style instead.
[1] https://subspace.kernel.org/etiquette.html#do-not-top-post-when-replying
> I was thinking of maybe creating something like KBox for kmem_cache but
> I didn't want to touch allocator code yet, I figured I would just create
> the groundwork for that to exist. rbtree.rs uses KBox now but I'm not
> sure it should, at least if it's going to scale to many nodes
Ok, so you want to support kmemcache for rbtree nodes. Ideally, you should also
have a use-case for that, but given that we'll also need kmemcache in other
drivers (such as Nova) anyways, I think that's fine.
However, in any case this should be integrated into the rust/kernel/alloc/
infrastructure in one of the ways described below.
As mentioned, I would like to see (3) or (4). (2) may be viable as well, but I
really hate the resulting code duplication (not having dynamic dispatch for a
kmemcache backed Box is probably not that big of a deal though).
Anyways, I'd also like to hear some more opinions, especially regarding (4), as
mentioned.
> On 9/25/2025 2:54 AM, Danilo Krummrich wrote:
>> What's the motivation?
>>
>> I mean, we will need kmem_cache soon. But the users will all be drivers, e.g.
>> the GPU drivers that people work on currently.
>>
>> Drivers shouldn't use "raw" allocators (such as Kmalloc [1] or Vmalloc [2]), but
>> the corresponding "managed" allocation primitives, such as KBox [3], VBox [4],
>> KVec, etc.
>>
>> Therefore, the code below shouldn't be used by drivers directly, hence the
>> question for motivation.
>>
>> In any case, kmem_cache is a special allocator (special as in it can have a
>> non-static lifetime in contrast to other kernel allocators) and should be
>> integrated with the existing infrastructure in rust/kernel/alloc/.
>>
>> I think there are multiple options for that; (1) isn't really an option, but I
>> think it's good to mention anyways:
>>
>> (1) Allow for non-zero sized implementations of the Allocator trait [3], such
>> that we can store a reference count to the KmemCache. This is necessary to
>> ensure that a Box<T, KmemCache> can't out-live the KmemCache itself.
>>
>> The reason why I said it's not really an option is because it discards the
>> option for dynamic dispatch of the generic Box type.
>>
>> (2) Same as (1), but with a custom Box type. This keeps dynamic dispatch for
>> the generic Box type (i.e. KBox, VBox, KVBox), but duplicates quite some
>> code and still doesn't allow for dynamic dispatch for the KmemCacheBox.
>>
>> (3) Implement a macro to generate a custom KmemCache Allocator trait
>> implementation for every KmemCache instance with a static lifetime.
>>
>> This makes KmemCache technically equivalent to the other allocators, such
>> as Kmalloc, etc. but obviously has the downside that the KmemCache might
>> live much longer than required.
>>
>> Technically, most KmemCache instances live for the whole module lifetime,
>> so it might be fine though.
>>
>> (This is what I think Alice proposed.)
>>
>> (4) Solve the problem on the C side and let kmem_cache_alloc() take care of
>> acquiring a reference count to the backing kmem_cache. The main question
>> here would be where to store the pointer for decreasing the reference
>> count on kmem_cache_free().
>>
>> Theoretically, it could be stored within the allocation itself, but it's a
>> bit of a yikes.
>>
>> However, it would resolve all the mentioned problems above.
>>
>> I'd like to see (3) or (4), also depending on what the MM folks think.
next prev parent reply other threads:[~2025-09-25 17:43 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-09-24 19:36 [PATCH] rust: slab: add basic slab module Elijah Wright
2025-09-25 2:17 ` John Hubbard
2025-09-25 8:01 ` Benno Lossin
2025-09-25 9:54 ` Danilo Krummrich
2025-09-25 17:20 ` Elijah
2025-09-25 17:43 ` Danilo Krummrich [this message]
2025-09-25 18:02 ` Liam R. Howlett
2025-09-25 18:08 ` Danilo Krummrich
2025-09-25 18:11 ` Boqun Feng
2025-09-25 18:05 ` Elijah
2025-09-25 18:15 ` Danilo Krummrich
2025-09-25 18:17 ` Danilo Krummrich
[not found] ` <74b3ef24-a307-4d3c-891a-8c5283448b20@elijahs.space>
2025-09-25 18:52 ` Elijah
2025-09-25 17:54 ` Alice Ryhl
2025-09-26 15:00 ` Vlastimil Babka
2025-09-26 15:33 ` Danilo Krummrich
2025-09-26 15:55 ` Danilo Krummrich
2025-09-26 16:32 ` Vlastimil Babka
2025-09-26 16:58 ` Danilo Krummrich
2025-09-26 17:11 ` Vlastimil Babka
2025-09-26 19:01 ` Danilo Krummrich
2025-09-28 14:47 ` Danilo Krummrich
2025-09-29 7:14 ` Vlastimil Babka
2025-09-29 14:11 ` Elijah
2025-09-29 20:32 ` Danilo Krummrich
2025-10-01 4:44 ` [PATCH v2] " Elijah Wright
2025-11-06 7:53 ` Alice Ryhl
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=DD22FI7F2ZHT.32SL8PXFZZHV3@kernel.org \
--to=dakr@kernel.org \
--cc=Liam.Howlett@oracle.com \
--cc=a.hindborg@kernel.org \
--cc=alex.gaynor@gmail.com \
--cc=aliceryhl@google.com \
--cc=bjorn3_gh@protonmail.com \
--cc=boqun.feng@gmail.com \
--cc=gary@garyguo.net \
--cc=git@elijahs.space \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=lorenzo.stoakes@oracle.com \
--cc=lossin@kernel.org \
--cc=me@elijahs.space \
--cc=ojeda@kernel.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=tmgross@umich.edu \
--cc=urezki@gmail.com \
--cc=vbabka@suse.cz \
/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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.