rust: sync: set_once: Implement Send and Sync
Implement Send and Sync for SetOnce<T> to allow it to be used across thread boundaries. Send: SetOnce<T> can be transferred across threads when T: Send, as the contained value is also transferred and will be dropped on the destination thread. Sync: SetOnce<T> can be shared across threads when T: Sync, as as_ref() provides shared references &T and atomic operations ensure proper synchronization. Since the inner T may be dropped on any thread, we also require T: Send. Signed-off-by: FUJITA Tomonori <fujita.tomonori@gmail.com> Reviewed-by: Andreas Hindborg <a.hindborg@kernel.org> Reviewed-by: Gary Guo <gary@garyguo.net> Signed-off-by: Boqun Feng <boqun.feng@gmail.com> Link: https://patch.msgid.link/20251216000901.221375-1-fujita.tomonori@gmail.com
This commit is contained in:
parent
106ab474e5
commit
8a581130b1
1 changed files with 8 additions and 0 deletions
|
|
@ -123,3 +123,11 @@ impl<T> Drop for SetOnce<T> {
|
|||
}
|
||||
}
|
||||
}
|
||||
|
||||
// SAFETY: `SetOnce` can be transferred across thread boundaries iff the data it contains can.
|
||||
unsafe impl<T: Send> Send for SetOnce<T> {}
|
||||
|
||||
// SAFETY: `SetOnce` synchronises access to the inner value via atomic operations,
|
||||
// so shared references are safe when `T: Sync`. Since the inner `T` may be dropped
|
||||
// on any thread, we also require `T: Send`.
|
||||
unsafe impl<T: Send + Sync> Sync for SetOnce<T> {}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue