mirror of
https://github.com/torvalds/linux.git
synced 2026-08-05 06:47:51 +02:00
f5d3ef25d2
So far Devres uses an inner memory allocation and reference count, i.e. an inner Arc, in order to ensure that the devres callback can't run into a use-after-free in case where the Devres object is dropped while the devres callback runs concurrently. Instead, use a completion in order to avoid a potential UAF: In Devres::drop(), if we detect that we can't remove the devres action anymore, we wait for the completion that is completed from the devres callback. If, in turn, we were able to successfully remove the devres action, we can just go ahead. This, again, allows us to get rid of the internal Arc, and instead let Devres consume an `impl PinInit<T, E>` in order to return an `impl PinInit<Devres<T>, E>`, which enables us to get away with less memory allocations. Additionally, having the resulting explicit synchronization in Devres::drop() prevents potential subtle undesired side effects of the devres callback dropping the final Arc reference asynchronously within the devres callback. Reviewed-by: Benno Lossin <lossin@kernel.org> Reviewed-by: Boqun Feng <boqun.feng@gmail.com> Link: https://lore.kernel.org/r/20250626200054.243480-4-dakr@kernel.org [ Move '# Invariants' below '# Examples'. - Danilo ] Signed-off-by: Danilo Krummrich <dakr@kernel.org> |
||
|---|---|---|
| .. | ||
| hostprogs | ||
| Kconfig | ||
| Makefile | ||
| rust_configfs.rs | ||
| rust_dma.rs | ||
| rust_driver_auxiliary.rs | ||
| rust_driver_faux.rs | ||
| rust_driver_pci.rs | ||
| rust_driver_platform.rs | ||
| rust_minimal.rs | ||
| rust_misc_device.rs | ||
| rust_print_events.c | ||
| rust_print_main.rs | ||