AtomicBucket<T> unconditionally implements Send/Sync
Moderate severity
GitHub Reviewed
Published
Jun 17, 2022
to the GitHub Advisory Database
•
Updated Jan 12, 2023
Description
Published to the GitHub Advisory Database
Jun 17, 2022
Reviewed
Jun 17, 2022
Last updated
Jan 12, 2023
In the affected versions of the crate,
AtomicBucket<T>
unconditionally implementsSend
/Sync
traits. Therefore, users can create a data race to the innerT: !Sync
by using theAtomicBucket::data_with()
API.Such data races can potentially cause memory corruption or other undefined behavior.
The flaw was fixed in commit 8e6daab by adding appropriate Send/Sync bounds to the Send/Sync impl of struct
Block<T>
(which is a data type contained insideAtomicBucket<T>
).References