mirror of
https://github.com/linux-msm/laptops-kernel.git
synced 2026-08-13 14:19:53 -07:00
rust: devres: ensure revocation is complete before device finishes unbinding
Now that the revocation Completion is in place, also address the symmetric case. When Devres::drop() wins the is_available swap and the devres callback loses, the callback returns to devres_release_all() without waiting. This means device unbinding can complete while Devres::drop() is still executing drop_in_place() on another CPU, which is a problem if T's destructor accesses device state. Make the synchronization bidirectional. Whichever side performs drop_in_place() signals the Completion, and the other side waits. This does not reintroduce the nested Devres deadlock fixed by commitba268514ea("rust: devres: fix race condition due to nesting"), because that deadlock was caused by drop waiting for the release callback to return (the old 'devm' Completion). Here, both sides only wait for drop_in_place() to finish, which completes within the current call chain. The Arc<Inner<T>> keeps the Inner allocation alive independently. Cc: stable@vger.kernel.org Fixes:ba268514ea("rust: devres: fix race condition due to nesting") Reviewed-by: Gary Guo <gary@garyguo.net> Reviewed-by: Alice Ryhl <aliceryhl@google.com> Link: https://patch.msgid.link/20260628200304.2365598-1-dakr@kernel.org Signed-off-by: Danilo Krummrich <dakr@kernel.org>
This commit is contained in:
@@ -269,6 +269,11 @@ impl<T: Send + 'static> Devres<T> {
|
||||
|
||||
if inner.data.revoke() {
|
||||
inner.revocation.complete_all();
|
||||
} else {
|
||||
// Devres::drop() is concurrently revoking; wait for it to finish `drop_in_place()`
|
||||
// before returning to `devres_release_all()`, ensuring `T` is fully torn down before
|
||||
// the device finishes unbinding.
|
||||
inner.revocation.wait_for_completion();
|
||||
}
|
||||
}
|
||||
|
||||
@@ -366,6 +371,8 @@ impl<T: Send + 'static> Drop for Devres<T> {
|
||||
// SAFETY: When `drop` runs, it is guaranteed that nobody is accessing the revocable data
|
||||
// anymore, hence it is safe not to wait for the grace period to finish.
|
||||
if unsafe { self.data().revoke_nosync() } {
|
||||
self.inner.revocation.complete_all();
|
||||
|
||||
// We revoked `self.data` before devres did, hence try to remove it.
|
||||
if self.remove_node() {
|
||||
// SAFETY: In `Self::new` we have taken an additional reference count of `self.data`
|
||||
|
||||
Reference in New Issue
Block a user