Struct HappensBeforeProgram 

pub struct HappensBeforeProgram {
    pub anchors: BTreeMap<String, Anchor>,
    pub edges: Vec<HappensBeforeEdge>,
}

A validated, normalized happens-before program: anchors indexed by name plus the edge list, guaranteed acyclic with all references resolved.

Fields

anchors: BTreeMap<String, Anchor>

Normalized anchors, keyed by event name.

edges: Vec<HappensBeforeEdge>

The validated, acyclic edge list.

Implementations

impl HappensBeforeProgram

pub fn unresolved_locations(&self) -> impl Iterator<Item = &Anchor>

Anchors that still require debug-info resolution (an unresolved RIP from a code location, i.e. a func/line that has not been turned into an address yet).

pub fn has_syscall_count_anchors(&self) -> bool

True when any anchor addresses a Position::SyscallCount. The scheduler only issues per-syscall happens-before checkpoints when this holds, so a program made entirely of not-yet-enforced positions adds no per-syscall overhead.

pub fn unenforced_positions(&self) -> impl Iterator<Item = &Anchor>

Anchors whose position kind the current scheduler does not yet enforce (everything other than Position::SyscallCount). Reported so a run does not silently ignore an authored ordering constraint it cannot honor.

Trait Implementations

impl Clone for HappensBeforeProgram

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HappensBeforeProgram

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

Formats the value using the given formatter.

impl Eq for HappensBeforeProgram

impl PartialEq for HappensBeforeProgram

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for HappensBeforeProgram