From: David Rheinsberg <david@readahead.eu>
To: rust-for-linux@vger.kernel.org
Cc: teg@jklm.no, Miguel Ojeda <ojeda@kernel.org>,
David Rheinsberg <david@readahead.eu>
Subject: [RFC 03/16] rust/alloc: add Vec::into_boxed_slice()
Date: Tue, 31 Mar 2026 21:02:55 +0200 [thread overview]
Message-ID: <20260331190308.141622-4-david@readahead.eu> (raw)
In-Reply-To: <20260331190308.141622-1-david@readahead.eu>
Add `Vec::into_boxed_slice()` similar to
`std::vec::Vec::into_boxed_slice()` [1].
There is currently no way to easily consume the allocation of a vector.
However, it is very convenient to use `Vec` to initialize a dynamically
sized array and then "seal" it, so it can be passed along as a Box:
fn create_from(src: &[T]) -> Result<KBox<[U]>, AllocError> {
let v = Vec::with_capacity(n, GFP_KERNEL)?;
for i in src {
v.push(foo(i)?, GFP_KERNEL)?;
}
Ok(v.into_boxed_slice())
}
A valid alternative is to use `Box::new_uninit()` rather than
`Vec::with_capacity()`, and eventually convert the box via
`Box::assume_init()`. This works but needlessly requires unsafe code,
awkward drop handling, etc. Using `Vec` is the much simpler solution.
[1] https://doc.rust-lang.org/std/vec/struct.Vec.html#method.into_boxed_slice
Signed-off-by: David Rheinsberg <david@readahead.eu>
---
rust/kernel/alloc/kvec.rs | 67 +++++++++++++++++++++++++++++++++++++++
1 file changed, 67 insertions(+)
diff --git a/rust/kernel/alloc/kvec.rs b/rust/kernel/alloc/kvec.rs
index ac8d6f763ae8..b8b0fa1a7505 100644
--- a/rust/kernel/alloc/kvec.rs
+++ b/rust/kernel/alloc/kvec.rs
@@ -733,6 +733,73 @@ pub fn retain(&mut self, mut f: impl FnMut(&mut T) -> bool) {
}
self.truncate(num_kept);
}
+
+ fn shrink_to_fit(&mut self) -> Result<(), AllocError> {
+ if Self::is_zst() {
+ // ZSTs always use maximum capacity.
+ return Ok(());
+ }
+
+ let layout = ArrayLayout::new(self.len()).map_err(|_| AllocError)?;
+
+ // SAFETY:
+ // - `ptr` is valid because it's either `None` or comes from a previous
+ // call to `A::realloc`.
+ // - `self.layout` matches the `ArrayLayout` of the preceding
+ // allocation.
+ let ptr = unsafe {
+ A::realloc(
+ Some(self.ptr.cast()),
+ layout.into(),
+ self.layout.into(),
+ crate::alloc::flags::GFP_NOWAIT,
+ NumaNode::NO_NODE,
+ )?
+ };
+
+ // INVARIANT:
+ // - `layout` is some `ArrayLayout::<T>`,
+ // - `ptr` has been created by `A::realloc` from `layout`.
+ self.ptr = ptr.cast();
+ self.layout = layout;
+ Ok(())
+ }
+
+ /// Converts the vector into [`Box<[T], A>`].
+ ///
+ /// Excess capacity is retained in the allocation, but lost until the box
+ /// is dropped.
+ ///
+ /// This function is fallible, because kernel allocators do not guarantee
+ /// that shrinking reallocations are infallible, yet the Rust abstractions
+ /// strictly require that layouts are correct. Hence, the caller must be
+ /// ready to deal with reallocation failures.
+ ///
+ /// # Examples
+ ///
+ /// ```
+ /// let mut v = KVec::<u16>::with_capacity(4, GFP_KERNEL)?;
+ /// for i in 0..4 {
+ /// v.push(i, GFP_KERNEL);
+ /// }
+ /// let s: KBox<[u16]> = v.into_boxed_slice()?;
+ /// assert_eq!(s.len(), 4);
+ /// # Ok::<(), kernel::alloc::AllocError>(())
+ /// ```
+ pub fn into_boxed_slice(mut self) -> Result<Box<[T], A>, AllocError> {
+ self.shrink_to_fit()?;
+ let (buf, len, _cap) = self.into_raw_parts();
+ let slice = ptr::slice_from_raw_parts_mut(buf, len);
+
+ // SAFETY:
+ // - `slice` has been allocated with `A`
+ // - `slice` is suitably aligned
+ // - `slice` has an exact length of `len`
+ // - all elements within `slice` are initialized values of `T`
+ // - `len` does not exceed `isize::MAX`
+ // - `slice` was allocated for `Layout::for_value::<[T]>()`
+ Ok(unsafe { Box::from_raw(slice) })
+ }
}
impl<T: Clone, A: Allocator> Vec<T, A> {
--
2.53.0
next prev parent reply other threads:[~2026-03-31 19:05 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-03-31 19:02 [RFC 00/16] bus1: Capability-based IPC for Linux David Rheinsberg
2026-03-31 19:02 ` [RFC 01/16] rust/sync: add LockedBy::access_mut_unchecked() David Rheinsberg
2026-03-31 19:29 ` Miguel Ojeda
2026-03-31 19:02 ` [RFC 02/16] rust/sync: add Arc::drop_unless_unique() David Rheinsberg
2026-03-31 19:02 ` David Rheinsberg [this message]
2026-03-31 19:28 ` [RFC 03/16] rust/alloc: add Vec::into_boxed_slice() Miguel Ojeda
2026-03-31 21:10 ` Gary Guo
2026-03-31 22:07 ` Danilo Krummrich
2026-04-01 9:28 ` David Rheinsberg
2026-03-31 19:02 ` [RFC 04/16] rust/error: add EXFULL, EBADRQC, EDQUOT, ENOTRECOVERABLE David Rheinsberg
2026-03-31 19:02 ` [RFC 05/16] bus1: add module scaffolding David Rheinsberg
2026-03-31 19:02 ` [RFC 06/16] bus1: add the user-space API David Rheinsberg
2026-03-31 19:02 ` [RFC 07/16] bus1: add man-page David Rheinsberg
2026-04-01 16:30 ` Jonathan Corbet
2026-04-01 18:01 ` David Rheinsberg
2026-04-01 18:06 ` David Rheinsberg
2026-04-04 15:30 ` Thomas Meyer
2026-03-31 19:03 ` [RFC 08/16] bus1/util: add basic utilities David Rheinsberg
2026-03-31 19:35 ` Miguel Ojeda
2026-04-01 11:05 ` David Rheinsberg
2026-04-01 11:25 ` Miguel Ojeda
2026-03-31 19:03 ` [RFC 09/16] bus1/util: add field projections David Rheinsberg
2026-03-31 19:38 ` Miguel Ojeda
2026-03-31 19:03 ` [RFC 10/16] bus1/util: add IntoDeref/FromDeref David Rheinsberg
2026-03-31 19:44 ` Miguel Ojeda
2026-03-31 19:03 ` [RFC 11/16] bus1/util: add intrusive data-type helpers David Rheinsberg
2026-03-31 19:03 ` [RFC 12/16] bus1/util: add intrusive single linked lists David Rheinsberg
2026-03-31 19:03 ` [RFC 13/16] bus1/util: add intrusive rb-tree David Rheinsberg
2026-03-31 19:43 ` Miguel Ojeda
2026-03-31 19:03 ` [RFC 14/16] bus1/acct: add resouce accounting David Rheinsberg
2026-03-31 19:03 ` [RFC 15/16] bus1: introduce peers, handles, and nodes David Rheinsberg
2026-03-31 19:03 ` [RFC 16/16] bus1: implement the uapi David Rheinsberg
2026-03-31 19:46 ` [RFC 00/16] bus1: Capability-based IPC for Linux Miguel Ojeda
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=20260331190308.141622-4-david@readahead.eu \
--to=david@readahead.eu \
--cc=ojeda@kernel.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=teg@jklm.no \
/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