From: Alice Ryhl <aliceryhl@google.com>
To: Tejun Heo <tj@kernel.org>, Miguel Ojeda <ojeda@kernel.org>
Cc: "Lai Jiangshan" <jiangshanlai@gmail.com>,
"Boqun Feng" <boqun.feng@gmail.com>,
"Gary Guo" <gary@garyguo.net>,
"Björn Roy Baron" <bjorn3_gh@protonmail.com>,
"Andreas Hindborg" <a.hindborg@kernel.org>,
"Trevor Gross" <tmgross@umich.edu>,
"Danilo Krummrich" <dakr@kernel.org>,
"Daniel Almeida" <daniel.almeida@collabora.com>,
"John Hubbard" <jhubbard@nvidia.com>,
"Philipp Stanner" <phasta@kernel.org>,
"Tamir Duberstein" <tamird@gmail.com>,
rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org,
"Alice Ryhl" <aliceryhl@google.com>,
"Benno Lossin" <lossin@kernel.org>
Subject: [PATCH v2 2/2] rust: workqueue: add creation of workqueues
Date: Thu, 13 Nov 2025 10:01:07 +0000 [thread overview]
Message-ID: <20251113-create-workqueue-v2-2-8b45277119bc@google.com> (raw)
In-Reply-To: <20251113-create-workqueue-v2-0-8b45277119bc@google.com>
Creating workqueues is needed by various GPU drivers. Not only does it
give you better control over execution, it also allows devices to ensure
that all tasks have exited before the device is unbound (or similar) by
running the workqueue destructor.
A wrapper type Flags is provided for workqueue flags. It allows you to
build any valid flag combination, while using a type-level marker for
whether WQ_BH is used to prevent invalid flag combinations. The Flags wrapper
also forces you to explicitly pick one of percpu, unbound, or bh.
Signed-off-by: Alice Ryhl <aliceryhl@google.com>
---
rust/helpers/workqueue.c | 6 ++
rust/kernel/workqueue.rs | 185 ++++++++++++++++++++++++++++++++++++++++++++++-
2 files changed, 188 insertions(+), 3 deletions(-)
diff --git a/rust/helpers/workqueue.c b/rust/helpers/workqueue.c
index b2b82753509bf5dbd0f4ddebb96a95a51e5976b1..a67ed284b062b29937f09303cb516e6322cc961a 100644
--- a/rust/helpers/workqueue.c
+++ b/rust/helpers/workqueue.c
@@ -12,3 +12,9 @@ void rust_helper_init_work_with_key(struct work_struct *work, work_func_t func,
INIT_LIST_HEAD(&work->entry);
work->func = func;
}
+
+struct workqueue_struct *rust_helper_alloc_workqueue(const char *fmt, unsigned int flags,
+ int max_active, const void *data)
+{
+ return alloc_workqueue(fmt, flags, max_active, data);
+}
diff --git a/rust/kernel/workqueue.rs b/rust/kernel/workqueue.rs
index 901102a8bca54c9fb58655d80fc9624b4dfe1dc1..313d897fe93ceb84844ce9b253edec837e60ba6d 100644
--- a/rust/kernel/workqueue.rs
+++ b/rust/kernel/workqueue.rs
@@ -186,7 +186,7 @@
//! C header: [`include/linux/workqueue.h`](srctree/include/linux/workqueue.h)
use crate::{
- alloc::{AllocError, Flags},
+ alloc::{self, AllocError},
container_of,
prelude::*,
sync::Arc,
@@ -194,7 +194,11 @@
time::Jiffies,
types::Opaque,
};
-use core::marker::PhantomData;
+use core::{
+ marker::PhantomData,
+ ops::Deref,
+ ptr::NonNull, //
+};
/// Creates a [`Work`] initialiser with the given name and a newly-created lock class.
#[macro_export]
@@ -333,7 +337,7 @@ pub fn enqueue_delayed<W, const ID: u64>(&'static self, w: W, delay: Jiffies) ->
/// This method can fail because it allocates memory to store the work item.
pub fn try_spawn<T: 'static + Send + FnOnce()>(
&self,
- flags: Flags,
+ flags: alloc::Flags,
func: T,
) -> Result<(), AllocError> {
let init = pin_init!(ClosureWork {
@@ -346,6 +350,181 @@ pub fn try_spawn<T: 'static + Send + FnOnce()>(
}
}
+/// Workqueue flags.
+///
+/// A valid combination of workqueue flags contains one of the base flags (`WQ_UNBOUND`, `WQ_BH`,
+/// or `WQ_PERCPU`) and a combination of modifier flags that are compatible with the selected base
+/// flag.
+///
+/// For details, please refer to `Documentation/core-api/workqueue.rst`.
+#[repr(transparent)]
+#[derive(Copy, Clone)]
+pub struct Flags<const BH: bool>(bindings::wq_flags);
+
+// BH only methods
+impl Flags<true> {
+ /// Execute in bottom half (softirq) context.
+ #[inline]
+ pub const fn bh() -> Flags<true> {
+ Flags(bindings::wq_flags_WQ_BH)
+ }
+}
+
+// Non-BH only methods
+impl Flags<false> {
+ /// Not bound to any cpu.
+ #[inline]
+ pub const fn unbound() -> Flags<false> {
+ Flags(bindings::wq_flags_WQ_UNBOUND)
+ }
+
+ /// Bound to a specific cpu.
+ #[inline]
+ pub const fn percpu() -> Flags<false> {
+ Flags(bindings::wq_flags_WQ_PERCPU)
+ }
+
+ /// Allow this workqueue to be frozen during suspend.
+ #[inline]
+ pub const fn freezable(self) -> Self {
+ Flags(self.0 | bindings::wq_flags_WQ_FREEZABLE)
+ }
+
+ /// This workqueue may be used during memory reclaim.
+ #[inline]
+ pub const fn mem_reclaim(self) -> Self {
+ Flags(self.0 | bindings::wq_flags_WQ_MEM_RECLAIM)
+ }
+
+ /// Mark this workqueue as cpu intensive.
+ #[inline]
+ pub const fn cpu_intensive(self) -> Self {
+ Flags(self.0 | bindings::wq_flags_WQ_CPU_INTENSIVE)
+ }
+
+ /// Make this workqueue visible in sysfs.
+ #[inline]
+ pub const fn sysfs(self) -> Self {
+ Flags(self.0 | bindings::wq_flags_WQ_SYSFS)
+ }
+}
+
+// Methods for BH and non-BH.
+impl<const BH: bool> Flags<BH> {
+ /// High priority workqueue.
+ #[inline]
+ pub const fn highpri(self) -> Self {
+ Flags(self.0 | bindings::wq_flags_WQ_HIGHPRI)
+ }
+}
+
+/// An owned kernel work queue.
+///
+/// Dropping a workqueue blocks on all pending work.
+///
+/// # Invariants
+///
+/// `queue` points at a valid workqueue that is owned by this `OwnedQueue`.
+pub struct OwnedQueue {
+ queue: NonNull<Queue>,
+}
+
+#[expect(clippy::manual_c_str_literals)]
+impl OwnedQueue {
+ /// Allocates a new workqueue.
+ ///
+ /// The provided name is used verbatim as the workqueue name.
+ ///
+ /// # Examples
+ ///
+ /// ```
+ /// use kernel::c_str;
+ /// use kernel::workqueue::{OwnedQueue, Flags};
+ ///
+ /// let wq = OwnedQueue::new(c_str!("my-wq"), Flags::unbound().sysfs(), 0)?;
+ /// wq.try_spawn(
+ /// GFP_KERNEL,
+ /// || pr_warn!("Printing from my-wq"),
+ /// )?;
+ /// # Ok::<(), Error>(())
+ /// ```
+ #[inline]
+ pub fn new<const BH: bool>(
+ name: &CStr,
+ flags: Flags<BH>,
+ max_active: usize,
+ ) -> Result<OwnedQueue, AllocError> {
+ // SAFETY:
+ // * "%s\0" is compatible with passing the name as a c-string.
+ // * the flags argument does not include internal flags.
+ let ptr = unsafe {
+ bindings::alloc_workqueue(
+ b"%s\0".as_ptr(),
+ flags.0,
+ i32::try_from(max_active).unwrap_or(i32::MAX),
+ name.as_char_ptr().cast::<c_void>(),
+ )
+ };
+
+ Ok(OwnedQueue {
+ queue: NonNull::new(ptr).ok_or(AllocError)?.cast(),
+ })
+ }
+
+ /// Allocates a new workqueue.
+ ///
+ /// # Examples
+ ///
+ /// This example shows how to pass a Rust string formatter to the workqueue name, creating
+ /// workqueues with names such as `my-wq-1` and `my-wq-2`.
+ ///
+ /// ```
+ /// use kernel::alloc::AllocError;
+ /// use kernel::workqueue::{OwnedQueue, Flags};
+ ///
+ /// fn my_wq(num: u32) -> Result<OwnedQueue, AllocError> {
+ /// OwnedQueue::new_fmt(format_args!("my-wq-{num}"), Flags::percpu(), 0)
+ /// }
+ /// ```
+ #[inline]
+ pub fn new_fmt<const BH: bool>(
+ name: core::fmt::Arguments<'_>,
+ flags: Flags<BH>,
+ max_active: usize,
+ ) -> Result<OwnedQueue, AllocError> {
+ // SAFETY:
+ // * "%pA\0" is compatible with passing an `Arguments` pointer.
+ // * the flags argument does not include internal flags.
+ let ptr = unsafe {
+ bindings::alloc_workqueue(
+ b"%pA\0".as_ptr(),
+ flags.0,
+ i32::try_from(max_active).unwrap_or(i32::MAX),
+ core::ptr::from_ref(&name).cast::<c_void>(),
+ )
+ };
+
+ Ok(OwnedQueue {
+ queue: NonNull::new(ptr).ok_or(AllocError)?.cast(),
+ })
+ }
+}
+
+impl Deref for OwnedQueue {
+ type Target = Queue;
+ fn deref(&self) -> &Queue {
+ // SAFETY: By the type invariants, this pointer references a valid queue.
+ unsafe { &*self.queue.as_ptr() }
+ }
+}
+
+impl Drop for OwnedQueue {
+ fn drop(&mut self) {
+ // SAFETY: The `OwnedQueue` is being destroyed, so we can destroy the workqueue it owns.
+ unsafe { bindings::destroy_workqueue(self.queue.as_ptr().cast()) }
+ }
+}
+
/// A helper type used in [`try_spawn`].
///
/// [`try_spawn`]: Queue::try_spawn
--
2.51.2.1041.gc1ab5b90ca-goog
next prev parent reply other threads:[~2025-11-13 10:01 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-11-13 10:01 [PATCH v2 0/2] Creation of workqueues in Rust Alice Ryhl
2025-11-13 10:01 ` [PATCH v2 1/2] rust: workqueue: restrict delayed work to global wqs Alice Ryhl
2025-11-13 10:06 ` Miguel Ojeda
2025-11-13 10:08 ` Alice Ryhl
2025-11-13 11:58 ` Miguel Ojeda
2025-11-13 20:40 ` John Hubbard
2025-11-13 21:06 ` Miguel Ojeda
2025-11-13 10:01 ` Alice Ryhl [this message]
2025-11-13 19:52 ` [PATCH v2 2/2] rust: workqueue: add creation of workqueues Boqun Feng
2025-11-14 9:44 ` Alice Ryhl
2025-11-13 21:55 ` Danilo Krummrich
2025-11-14 0:26 ` John Hubbard
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=20251113-create-workqueue-v2-2-8b45277119bc@google.com \
--to=aliceryhl@google.com \
--cc=a.hindborg@kernel.org \
--cc=bjorn3_gh@protonmail.com \
--cc=boqun.feng@gmail.com \
--cc=dakr@kernel.org \
--cc=daniel.almeida@collabora.com \
--cc=gary@garyguo.net \
--cc=jhubbard@nvidia.com \
--cc=jiangshanlai@gmail.com \
--cc=linux-kernel@vger.kernel.org \
--cc=lossin@kernel.org \
--cc=ojeda@kernel.org \
--cc=phasta@kernel.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=tamird@gmail.com \
--cc=tj@kernel.org \
--cc=tmgross@umich.edu \
/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).