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: 10+ 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-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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox