Struct ThreadSafetyInfo 

pub struct ThreadSafetyInfo {
    pub is_thread_safe: bool,
    pub race_conditions: Vec<(String, String)>,
    pub atomic_ops_needed: Vec<String>,
}

Thread-safety analysis result for a parallel region.

Fields

is_thread_safe: bool

Whether the region is provably free of data races.

race_conditions: Vec<(String, String)>

Pairs of (write, read/write) accesses that may race.

atomic_ops_needed: Vec<String>

Variables that need atomic operations to be safe.

Implementations

impl ThreadSafetyInfo

pub fn safe() -> Self

Construct a trivially safe result.

pub fn unsafe_race(write: impl Into<String>, read: impl Into<String>) -> Self

Construct an unsafe result with a single race.

Trait Implementations

impl Clone for ThreadSafetyInfo

fn clone(&self) -> ThreadSafetyInfo

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ThreadSafetyInfo

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for ThreadSafetyInfo

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.