From: Claude Code Review Bot <claude-review@example.com>
To: dri-devel-reviews@example.com
Subject: Claude review: rust: implement `ForeignOwnable` for `Owned`
Date: Mon, 23 Feb 2026 06:08:51 +1000 [thread overview]
Message-ID: <review-patch8-20260220-unique-ref-v15-8-893ed86b06cc@kernel.org> (raw)
In-Reply-To: <20260220-unique-ref-v15-8-893ed86b06cc@kernel.org>
Patch Review
> +unsafe impl<T: Ownable + 'static> ForeignOwnable for Owned<T> {
> + const FOREIGN_ALIGN: usize = core::mem::align_of::<Owned<T>>();
This looks incorrect. `Owned<T>` is `#[repr(transparent)]` over `NonNull<T>`, so `align_of::<Owned<T>>()` equals `align_of::<NonNull<T>>()`, which is pointer alignment (typically 8 on 64-bit). But `into_foreign` returns `self.ptr.as_ptr().cast()`, a pointer to `T`, whose alignment is `align_of::<T>()`. For a type `T` with alignment smaller than pointer alignment, `FOREIGN_ALIGN` would overstate the actual alignment of the returned pointer, violating the `ForeignOwnable` contract. This matters because the `XArray` checks `T::FOREIGN_ALIGN >= 4` at compile time -- an `Owned<T>` with small `T` alignment would pass this check but produce insufficiently aligned pointers.
The fix should be `core::mem::align_of::<T>()`, matching what `KBox` does:
```rust
const FOREIGN_ALIGN: usize = core::mem::align_of::<T>();
```
The SAFETY comment on the trait impl confirms this was the intent:
> // SAFETY: We derive the pointer to `T` from a valid `T`, so the returned
> // pointer satisfy alignment requirements of `T`.
The comment says "alignment requirements of T" -- so the constant should also reflect `T`, not `Owned<T>`.
> + unsafe fn borrow_mut<'a>(ptr: *mut kernel::ffi::c_void) -> Self::BorrowedMut<'a> {
> + let inner = unsafe { &mut *ptr.cast() };
> + // SAFETY: We never move out of inner, and we do not hand out mutable
> + // references when `T: !Unpin`.
> + unsafe { Pin::new_unchecked(inner) }
The `Pin::new_unchecked` safety argument here is the same structural argument Alice flagged in patch 1 -- it would be more robust if pinning were a type invariant.
---
Generated by Claude Code Patch Reviewer
next prev parent reply other threads:[~2026-02-22 20:08 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-02-20 9:51 [PATCH v15 0/9] rust: add `Ownable` trait and `Owned` type Andreas Hindborg
2026-02-20 9:51 ` [PATCH v15 1/9] rust: types: Add Ownable/Owned types Andreas Hindborg
2026-02-20 10:35 ` Alice Ryhl
2026-02-22 20:08 ` Claude review: " Claude Code Review Bot
2026-02-20 9:51 ` [PATCH v15 2/9] rust: rename `AlwaysRefCounted` to `RefCounted` Andreas Hindborg
2026-02-22 20:08 ` Claude review: " Claude Code Review Bot
2026-02-20 9:51 ` [PATCH v15 3/9] rust: Add missing SAFETY documentation for `ARef` example Andreas Hindborg
2026-02-20 10:49 ` Alice Ryhl
2026-02-22 20:08 ` Claude review: " Claude Code Review Bot
2026-02-20 9:51 ` [PATCH v15 4/9] rust: aref: update formatting of use statements Andreas Hindborg
2026-02-22 20:08 ` Claude review: " Claude Code Review Bot
2026-02-20 9:51 ` [PATCH v15 5/9] rust: Add `OwnableRefCounted` Andreas Hindborg
2026-02-22 20:08 ` Claude review: " Claude Code Review Bot
2026-02-20 9:51 ` [PATCH v15 6/9] rust: page: update formatting of `use` statements Andreas Hindborg
2026-02-22 20:08 ` Claude review: " Claude Code Review Bot
2026-02-20 9:51 ` [PATCH v15 7/9] rust: page: convert to `Ownable` Andreas Hindborg
2026-02-22 20:08 ` Claude review: " Claude Code Review Bot
2026-02-20 9:51 ` [PATCH v15 8/9] rust: implement `ForeignOwnable` for `Owned` Andreas Hindborg
2026-02-22 20:08 ` Claude Code Review Bot [this message]
2026-02-20 9:51 ` [PATCH v15 9/9] rust: page: add `from_raw()` Andreas Hindborg
2026-02-20 10:49 ` Alice Ryhl
2026-02-20 17:33 ` Miguel Ojeda
2026-02-20 17:50 ` Tamir Duberstein
2026-02-22 20:08 ` Claude review: " Claude Code Review Bot
2026-02-22 20:08 ` Claude review: rust: add `Ownable` trait and `Owned` type Claude Code Review Bot
-- strict thread matches above, loose matches on Subject: below --
2026-02-24 11:17 [PATCH v16 00/10] " Andreas Hindborg
2026-02-24 11:18 ` [PATCH v16 09/10] rust: implement `ForeignOwnable` for `Owned` Andreas Hindborg
2026-02-27 5:11 ` Claude review: " Claude Code Review Bot
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=review-patch8-20260220-unique-ref-v15-8-893ed86b06cc@kernel.org \
--to=claude-review@example.com \
--cc=dri-devel-reviews@example.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