From: "Onur Özkan" <work@onurozkan.dev>
To: rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org
Cc: ojeda@kernel.org, boqun@kernel.org, gary@garyguo.net,
bjorn3_gh@protonmail.com, lossin@kernel.org,
a.hindborg@kernel.org, aliceryhl@google.com, tmgross@umich.edu,
dakr@kernel.org, tamird@kernel.org, daniel.almeida@collabora.com,
"Onur Özkan" <work@onurozkan.dev>
Subject: [PATCH v2 1/1] rust: add Work::disable_sync
Date: Fri, 1 May 2026 22:11:22 +0300 [thread overview]
Message-ID: <20260501191122.64311-2-work@onurozkan.dev> (raw)
In-Reply-To: <20260501191122.64311-1-work@onurozkan.dev>
Adds Work::disable_sync() as a safe wrapper for disable_work_sync().
Drivers can use this during teardown to stop new queueing and wait for
queued or running work to finish before dropping related resources.
Signed-off-by: Onur Özkan <work@onurozkan.dev>
---
rust/kernel/workqueue.rs | 121 ++++++++++++++++++++++++++-------------
1 file changed, 81 insertions(+), 40 deletions(-)
diff --git a/rust/kernel/workqueue.rs b/rust/kernel/workqueue.rs
index 7e253b6f299c..d0f9b4ba7f27 100644
--- a/rust/kernel/workqueue.rs
+++ b/rust/kernel/workqueue.rs
@@ -267,7 +267,7 @@ pub unsafe fn from_raw<'a>(ptr: *const bindings::workqueue_struct) -> &'a Queue
/// Enqueues a work item.
///
- /// This may fail if the work item is already enqueued in a workqueue.
+ /// This may fail if the work item is already enqueued in a workqueue or disabled.
///
/// The work item will be submitted using `WORK_CPU_UNBOUND`.
pub fn enqueue<W, const ID: u64>(&self, w: W) -> W::EnqueueOutput
@@ -276,8 +276,9 @@ pub fn enqueue<W, const ID: u64>(&self, w: W) -> W::EnqueueOutput
{
let queue_ptr = self.0.get();
- // SAFETY: We only return `false` if the `work_struct` is already in a workqueue. The other
- // `__enqueue` requirements are not relevant since `W` is `Send` and static.
+ // SAFETY: We only return `false` if the `work_struct` is already in a workqueue or
+ // disabled. The other `__enqueue` requirements are not relevant since `W` is `Send` and
+ // static.
//
// The call to `bindings::queue_work_on` will dereference the provided raw pointer, which
// is ok because `__enqueue` guarantees that the pointer is valid for the duration of this
@@ -300,7 +301,7 @@ pub fn enqueue<W, const ID: u64>(&self, w: W) -> W::EnqueueOutput
/// Enqueues a delayed work item.
///
- /// This may fail if the work item is already enqueued in a workqueue.
+ /// This may fail if the work item is already enqueued in a workqueue or disabled.
///
/// The work item will be submitted using `WORK_CPU_UNBOUND`.
pub fn enqueue_delayed<W, const ID: u64>(&self, w: W, delay: Jiffies) -> W::EnqueueOutput
@@ -309,8 +310,9 @@ pub fn enqueue_delayed<W, const ID: u64>(&self, w: W, delay: Jiffies) -> W::Enqu
{
let queue_ptr = self.0.get();
- // SAFETY: We only return `false` if the `work_struct` is already in a workqueue. The other
- // `__enqueue` requirements are not relevant since `W` is `Send` and static.
+ // SAFETY: We only return `false` if the `work_struct` is already in a workqueue or
+ // disabled. The other `__enqueue` requirements are not relevant since `W` is `Send` and
+ // static.
//
// The call to `bindings::queue_delayed_work_on` will dereference the provided raw pointer,
// which is ok because `__enqueue` guarantees that the pointer is valid for the duration of
@@ -347,7 +349,7 @@ pub fn try_spawn<T: 'static + Send + FnOnce()>(
func: Some(func),
});
- self.enqueue(KBox::pin_init(init, flags).map_err(|_| AllocError)?);
+ let _ = self.enqueue(KBox::pin_init(init, flags).map_err(|_| AllocError)?);
Ok(())
}
}
@@ -407,7 +409,8 @@ pub unsafe trait RawWorkItem<const ID: u64> {
///
/// # Safety
///
- /// The provided closure may only return `false` if the `work_struct` is already in a workqueue.
+ /// The provided closure may only return `false` if the `work_struct` is already in a workqueue
+ /// or disabled.
///
/// If the work item type is annotated with any lifetimes, then you must not call the function
/// pointer after any such lifetime expires. (Never calling the function pointer is okay.)
@@ -442,21 +445,34 @@ pub unsafe trait RawDelayedWorkItem<const ID: u64>: RawWorkItem<ID> {}
///
/// # Safety
///
-/// Implementers must ensure that [`__enqueue`] uses a `work_struct` initialized with the [`run`]
-/// method of this trait as the function pointer.
-///
-/// [`__enqueue`]: RawWorkItem::__enqueue
-/// [`run`]: WorkItemPointer::run
-pub unsafe trait WorkItemPointer<const ID: u64>: RawWorkItem<ID> {
- /// Run this work item.
+/// Implementers must ensure that [`WorkItemPointer::from_raw_work`] rebuilds the exact ownership
+/// transferred by a successful [`RawWorkItem::__enqueue`] call.
+pub unsafe trait WorkItemPointer<const ID: u64>: RawWorkItem<ID> + Sized {
+ /// The work item type containing the embedded `work_struct`.
+ type Item: WorkItem<ID, Pointer = Self> + ?Sized;
+
+ /// Rebuild this work item's pointer from its embedded `work_struct`.
///
/// # Safety
///
- /// The provided `work_struct` pointer must originate from a previous call to [`__enqueue`]
- /// where the `queue_work_on` closure returned true, and the pointer must still be valid.
+ /// The provided `work_struct` pointer must originate from a previous call to
+ /// [`RawWorkItem::__enqueue`] where the `queue_work_on` closure returned true
+ /// and the pointer must still be valid.
+ unsafe fn from_raw_work(ptr: *mut bindings::work_struct) -> Self;
+
+ /// Run this work item.
+ ///
+ /// # Safety
///
- /// [`__enqueue`]: RawWorkItem::__enqueue
- unsafe extern "C" fn run(ptr: *mut bindings::work_struct);
+ /// The provided `work_struct` pointer must satisfy the same requirements as
+ /// [`WorkItemPointer::from_raw_work`].
+ #[inline]
+ unsafe extern "C" fn run(ptr: *mut bindings::work_struct) {
+ <Self::Item as WorkItem<ID>>::run(
+ // SAFETY: The requirements for `run` are exactly those of `from_raw_work`.
+ unsafe { Self::from_raw_work(ptr) },
+ );
+ }
}
/// Defines the method that should be called when this work item is executed.
@@ -537,6 +553,28 @@ pub unsafe fn raw_get(ptr: *const Self) -> *mut bindings::work_struct {
// the compiler does not complain that the `work` field is unused.
unsafe { Opaque::cast_into(core::ptr::addr_of!((*ptr).work)) }
}
+
+ /// Disables this work item and waits for queued/running executions to finish.
+ ///
+ /// # Note
+ ///
+ /// Should be called from a sleepable context if the work was last queued on a non-BH
+ /// workqueue.
+ #[inline]
+ pub fn disable_sync(&self)
+ where
+ T: WorkItem<ID>,
+ {
+ let ptr: *const Self = self;
+ // SAFETY: `self` points to a valid initialized work.
+ let raw_work = unsafe { Self::raw_get(ptr) };
+ // SAFETY: `raw_work` is a valid embedded `work_struct`.
+ if unsafe { bindings::disable_work_sync(raw_work) } {
+ // SAFETY: A `true` return means the work was pending and got canceled, so the queued
+ // ownership transfer performed by `__enqueue` is reclaimed here.
+ drop(unsafe { T::Pointer::from_raw_work(raw_work) });
+ }
+ }
}
/// Declares that a type contains a [`Work<T, ID>`].
@@ -817,22 +855,22 @@ unsafe fn work_container_of(
// - `Work::new` makes sure that `T::Pointer::run` is passed to `init_work_with_key`.
// - Finally `Work` and `RawWorkItem` guarantee that the correct `Work` field
// will be used because of the ID const generic bound. This makes sure that `T::raw_get_work`
-// uses the correct offset for the `Work` field, and `Work::new` picks the correct
-// implementation of `WorkItemPointer` for `Arc<T>`.
+// uses the correct offset for the `Work` field, and `T::Pointer::from_raw_work` rebuilds the
+// correct pointer type for `Arc<T>`.
unsafe impl<T, const ID: u64> WorkItemPointer<ID> for Arc<T>
where
T: WorkItem<ID, Pointer = Self>,
T: HasWork<T, ID>,
{
- unsafe extern "C" fn run(ptr: *mut bindings::work_struct) {
+ type Item = T;
+
+ unsafe fn from_raw_work(ptr: *mut bindings::work_struct) -> Self {
// The `__enqueue` method always uses a `work_struct` stored in a `Work<T, ID>`.
let ptr = ptr.cast::<Work<T, ID>>();
// SAFETY: This computes the pointer that `__enqueue` got from `Arc::into_raw`.
let ptr = unsafe { T::work_container_of(ptr) };
// SAFETY: This pointer comes from `Arc::into_raw` and we've been given back ownership.
- let arc = unsafe { Arc::from_raw(ptr) };
-
- T::run(arc)
+ unsafe { Arc::from_raw(ptr) }
}
}
@@ -887,7 +925,9 @@ unsafe impl<T, const ID: u64> WorkItemPointer<ID> for Pin<KBox<T>>
T: WorkItem<ID, Pointer = Self>,
T: HasWork<T, ID>,
{
- unsafe extern "C" fn run(ptr: *mut bindings::work_struct) {
+ type Item = T;
+
+ unsafe fn from_raw_work(ptr: *mut bindings::work_struct) -> Self {
// The `__enqueue` method always uses a `work_struct` stored in a `Work<T, ID>`.
let ptr = ptr.cast::<Work<T, ID>>();
// SAFETY: This computes the pointer that `__enqueue` got from `Arc::into_raw`.
@@ -895,9 +935,7 @@ unsafe impl<T, const ID: u64> WorkItemPointer<ID> for Pin<KBox<T>>
// SAFETY: This pointer comes from `Arc::into_raw` and we've been given back ownership.
let boxed = unsafe { KBox::from_raw(ptr) };
// SAFETY: The box was already pinned when it was enqueued.
- let pinned = unsafe { Pin::new_unchecked(boxed) };
-
- T::run(pinned)
+ unsafe { Pin::new_unchecked(boxed) }
}
}
@@ -907,7 +945,7 @@ unsafe impl<T, const ID: u64> RawWorkItem<ID> for Pin<KBox<T>>
T: WorkItem<ID, Pointer = Self>,
T: HasWork<T, ID>,
{
- type EnqueueOutput = ();
+ type EnqueueOutput = Result<(), Self>;
unsafe fn __enqueue<F>(self, queue_work_on: F) -> Self::EnqueueOutput
where
@@ -923,10 +961,13 @@ unsafe fn __enqueue<F>(self, queue_work_on: F) -> Self::EnqueueOutput
// SAFETY: `raw_get_work` returns a pointer to a valid value.
let work_ptr = unsafe { Work::raw_get(work_ptr) };
- if !queue_work_on(work_ptr) {
- // SAFETY: This method requires exclusive ownership of the box, so it cannot be in a
- // workqueue.
- unsafe { ::core::hint::unreachable_unchecked() }
+ if queue_work_on(work_ptr) {
+ Ok(())
+ } else {
+ // SAFETY: The work queue has not taken ownership of the pointer.
+ let boxed = unsafe { KBox::from_raw(ptr) };
+ // SAFETY: The box was pinned before this enqueue attempt.
+ Err(unsafe { Pin::new_unchecked(boxed) })
}
}
}
@@ -950,15 +991,17 @@ unsafe impl<T, const ID: u64> RawDelayedWorkItem<ID> for Pin<KBox<T>>
// - `Work::new` makes sure that `T::Pointer::run` is passed to `init_work_with_key`.
// - Finally `Work` and `RawWorkItem` guarantee that the correct `Work` field
// will be used because of the ID const generic bound. This makes sure that `T::raw_get_work`
-// uses the correct offset for the `Work` field, and `Work::new` picks the correct
-// implementation of `WorkItemPointer` for `ARef<T>`.
+// uses the correct offset for the `Work` field, and `T::Pointer::from_raw_work` rebuilds the
+// correct pointer type for `ARef<T>`.
unsafe impl<T, const ID: u64> WorkItemPointer<ID> for ARef<T>
where
T: AlwaysRefCounted,
T: WorkItem<ID, Pointer = Self>,
T: HasWork<T, ID>,
{
- unsafe extern "C" fn run(ptr: *mut bindings::work_struct) {
+ type Item = T;
+
+ unsafe fn from_raw_work(ptr: *mut bindings::work_struct) -> Self {
// The `__enqueue` method always uses a `work_struct` stored in a `Work<T, ID>`.
let ptr = ptr.cast::<Work<T, ID>>();
@@ -972,9 +1015,7 @@ unsafe impl<T, const ID: u64> WorkItemPointer<ID> for ARef<T>
// SAFETY: This pointer comes from `ARef::into_raw` and we've been given
// back ownership.
- let aref = unsafe { ARef::from_raw(ptr) };
-
- T::run(aref)
+ unsafe { ARef::from_raw(ptr) }
}
}
--
2.51.2
next prev parent reply other threads:[~2026-05-01 19:17 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-05-01 19:11 [PATCH v2 0/1] rust: add Work::disable_sync Onur Özkan
2026-05-01 19:11 ` Onur Özkan [this message]
2026-05-04 7:54 ` [PATCH v2 1/1] " Alice Ryhl
2026-05-05 6:07 ` Onur Özkan
2026-05-05 8:47 ` Alice Ryhl
2026-05-05 9:16 ` Onur Özkan
2026-05-05 9:50 ` Boris Brezillon
2026-05-05 10:10 ` Onur Özkan
2026-05-05 11:20 ` Boris Brezillon
2026-05-06 7:05 ` Onur Özkan
2026-05-04 7:55 ` [PATCH v2 0/1] " 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=20260501191122.64311-2-work@onurozkan.dev \
--to=work@onurozkan.dev \
--cc=a.hindborg@kernel.org \
--cc=aliceryhl@google.com \
--cc=bjorn3_gh@protonmail.com \
--cc=boqun@kernel.org \
--cc=dakr@kernel.org \
--cc=daniel.almeida@collabora.com \
--cc=gary@garyguo.net \
--cc=linux-kernel@vger.kernel.org \
--cc=lossin@kernel.org \
--cc=ojeda@kernel.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=tamird@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 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.