Struct MemoryDependencyTracker 

pub struct MemoryDependencyTracker<O, I> { /* private fields */ }

Incrementally records the dependencies required to preserve source-order memory semantics. Returned edges include RAW, WAR, and WAW, but never an edge solely between two reads.

Implementations

impl<O: Copy + Ord, I: Copy + Ord> MemoryDependencyTracker<O, I>

pub fn add_event<R, W>( &mut self, instruction: I, reads: R, writes: W, dependencies: &mut BTreeSet<I>, )

where R: IntoIterator<Item = MemoryEffect<O>>, W: IntoIterator<Item = MemoryEffect<O>>,

Add one ordered memory event. Reads are processed before writes, so an event may represent a read-modify-write instruction. Any self-edge is removed before returning.

Trait Implementations

impl<O: Debug, I: Debug> Debug for MemoryDependencyTracker<O, I>

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

Formats the value using the given formatter.

impl<O, I> Default for MemoryDependencyTracker<O, I>

fn default() -> Self

Returns the “default value” for a type.