Data races in model
High severity
GitHub Reviewed
Published
Aug 25, 2021
to the GitHub Advisory Database
•
Updated Feb 1, 2023
Description
Published by the National Vulnerability Database
Aug 8, 2021
Reviewed
Aug 18, 2021
Published to the GitHub Advisory Database
Aug 25, 2021
Last updated
Feb 1, 2023
Shared
data structure inmodel
crate implementsSend
andSync
traits regardless of the inner type.This allows safe Rust code to trigger a data race, which is undefined behavior in Rust.
Users are advised to treat
Shared
as an unsafe type.It should not be used outside of the testing context,
and care must be taken so that the testing code does not have a data race
besides a race condition that is expected to be caught by the test.
References