From: "Danilo Krummrich" <dakr@kernel.org>
To: "Hui Zhu" <hui.zhu@linux.dev>
Cc: "Lorenzo Stoakes" <lorenzo.stoakes@oracle.com>,
"Vlastimil Babka" <vbabka@suse.cz>,
"Liam R . Howlett" <Liam.Howlett@oracle.com>,
"Uladzislau Rezki" <urezki@gmail.com>,
"Miguel Ojeda" <ojeda@kernel.org>,
"Alex Gaynor" <alex.gaynor@gmail.com>,
"Boqun Feng" <boqun.feng@gmail.com>,
"Gary Guo" <gary@garyguo.net>, <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>,
"Hui Zhu" <zhuhui@kylinos.cn>,
"Geliang Tang" <geliang@kernel.org>,
"Andrew Morton" <akpm@linux-foundation.org>
Subject: Re: [PATCH v5 1/2] rust: allocator: add KUnit tests for alignment guarantees
Date: Fri, 25 Jul 2025 12:02:26 +0200 [thread overview]
Message-ID: <DBL1T0JY1LUX.1606LM78FACYM@kernel.org> (raw)
In-Reply-To: <DBL1JZEZB87H.1IMYO79R3H9UM@kernel.org>
(Cc: Andrew)
On Fri Jul 25, 2025 at 11:50 AM CEST, Danilo Krummrich wrote:
> On Fri Jul 25, 2025 at 9:02 AM CEST, Hui Zhu wrote:
>> From: Hui Zhu <zhuhui@kylinos.cn>
>>
>> Add comprehensive tests to verify correct alignment handling in Rust
>> allocator wrappers. The tests validate:
>>
>> That kmalloc respects both standard (128-byte) and page-size
>> (8192-byte) alignments when allocating structs with explicit alignment
>> attributes.
>>
>> That vmalloc correctly handles standard alignments but intentionally
>> rejects allocations requiring alignments larger than its capabilities.
>>
>> That kvmalloc mirrors vmalloc's constraints, accepting standard
>> alignments but rejecting excessive alignment requirements.
>>
>> The test infrastructure uses specialized aligned structs (Blob and
>> LargeAlignBlob) and a test harness (TestAlign) to validate pointer
>> alignment through different allocation paths. This ensures our Rust
>> allocators correctly propagate kernel allocation constraints.
>>
>> Co-developed-by: Geliang Tang <geliang@kernel.org>
>> Signed-off-by: Geliang Tang <geliang@kernel.org>
>> Signed-off-by: Hui Zhu <zhuhui@kylinos.cn>
>
> Thanks, this looks good. I think it would be good to rebase onto [1], since it
> will likely land in the same cycle. Additionally, two nits below.
Please also Cc: Andrew for subsequent submissions, since this will, due to the
interaction with [1] likely go through his tree.
> As a follow-up we could also test alignment in the context of
> Allocator::realloc(), i.e. when growing and shrinking buffers or requesting a
> different NUMA node.
>
> [1] https://lore.kernel.org/lkml/20250715135645.2230065-1-vitaly.wool@konsulko.se/
>
>> ---
>> rust/kernel/alloc/allocator.rs | 58 ++++++++++++++++++++++++++++++++++
>> 1 file changed, 58 insertions(+)
>>
>> diff --git a/rust/kernel/alloc/allocator.rs b/rust/kernel/alloc/allocator.rs
>> index aa2dfa9dca4c..bcc916240f11 100644
>> --- a/rust/kernel/alloc/allocator.rs
>> +++ b/rust/kernel/alloc/allocator.rs
>> @@ -187,3 +187,61 @@ unsafe fn realloc(
>> unsafe { ReallocFunc::KVREALLOC.call(ptr, layout, old_layout, flags) }
>> }
>> }
>> +
>> +#[macros::kunit_tests(rust_allocator_kunit)]
>> +mod tests {
>> + use super::*;
>> + use core::mem::MaybeUninit;
>> + use kernel::prelude::*;
>> +
>
> --8<--
>
>> + const TEST_SIZE: usize = 1024;
>> + const TEST_LARGE_ALIGN_SIZE: usize = kernel::page::PAGE_SIZE * 4;
>> +
>> + // These two structs are used to test allocating aligned memory.
>> + // they don't need to be accessed, so they're marked as dead_code.
>> + #[allow(dead_code)]
>
> This should be #[expect(dead_code)].
>
>> + #[repr(align(128))]
>> + struct Blob([u8; TEST_SIZE]);
>> + #[allow(dead_code)]
>> + #[repr(align(8192))]
>> + struct LargeAlignBlob([u8; TEST_LARGE_ALIGN_SIZE]);
>> +
>> + struct TestAlign<T, A: Allocator>(Box<MaybeUninit<T>, A>);
>> + impl<T, A: Allocator> TestAlign<T, A> {
>> + fn new() -> Result<Self> {
>> + Ok(Self(Box::<_, A>::new_uninit(GFP_KERNEL)?))
>> + }
>> +
>> + fn alignment_valid(&self, align: usize) -> bool {
>> + assert!(align.is_power_of_two());
>> +
>> + let addr = self.0.as_ptr() as usize;
>> + if addr & (align - 1) != 0 {
>> + false
>> + } else {
>> + true
>> + }
>
> This can just be
>
> addr & (align - 1) == 0
>
> instead of the conditional clause.
>
>> + }
>> + }
>
> We could move all the above into test_alignment() given that it's likely only
> needed from there.
>
>> +
>> + #[test]
>> + fn test_alignment() -> Result<()> {
>> + let ta = TestAlign::<Blob, Kmalloc>::new()?;
>> + assert!(ta.alignment_valid(128));
>> +
>> + let ta = TestAlign::<LargeAlignBlob, Kmalloc>::new()?;
>> + assert!(ta.alignment_valid(8192));
>> +
>> + let ta = TestAlign::<Blob, Vmalloc>::new()?;
>> + assert!(ta.alignment_valid(128));
>> +
>> + assert!(TestAlign::<LargeAlignBlob, Vmalloc>::new().is_err());
>> +
>> + let ta = TestAlign::<Blob, KVmalloc>::new()?;
>> + assert!(ta.alignment_valid(128));
>> +
>> + assert!(TestAlign::<LargeAlignBlob, KVmalloc>::new().is_err());
>> +
>> + Ok(())
>> + }
>> +}
>> --
>> 2.43.0
next prev parent reply other threads:[~2025-07-25 10:02 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-07-25 7:02 [PATCH v5 0/2] rust: alloc: kvec doc example and allocator unit tests Hui Zhu
2025-07-25 7:02 ` [PATCH v5 1/2] rust: allocator: add KUnit tests for alignment guarantees Hui Zhu
2025-07-25 9:50 ` Danilo Krummrich
2025-07-25 10:02 ` Danilo Krummrich [this message]
2025-07-30 3:59 ` Hui Zhu
2025-07-25 7:02 ` [PATCH v5 2/2] rust: alloc: kvec: add doc example for as_slice method Hui Zhu
2025-07-27 7:16 ` [PATCH v5 0/2] rust: alloc: kvec doc example and allocator unit tests 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=DBL1T0JY1LUX.1606LM78FACYM@kernel.org \
--to=dakr@kernel.org \
--cc=Liam.Howlett@oracle.com \
--cc=a.hindborg@kernel.org \
--cc=akpm@linux-foundation.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=geliang@kernel.org \
--cc=hui.zhu@linux.dev \
--cc=linux-kernel@vger.kernel.org \
--cc=lorenzo.stoakes@oracle.com \
--cc=lossin@kernel.org \
--cc=ojeda@kernel.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=tmgross@umich.edu \
--cc=urezki@gmail.com \
--cc=vbabka@suse.cz \
--cc=zhuhui@kylinos.cn \
/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;
as well as URLs for NNTP newsgroup(s).