Struct WorkStealStats

Source

pub struct WorkStealStats {
    pub donations: i64,
    pub items_taken: i64,
    pub replay_failures: i64,
    pub total_nodes: i64,
    pub queue_lock_wait_nanos: i64,
    pub idle_wait_nanos: i64,
    pub callback_lock_wait_nanos: i64,
}

Expand description

Aggregate work-stealing diagnostics, populated by run_minion_work_steal and run_minion_work_steal_with_options.

donations counts donate() calls that fired (a busy worker handed off a sub-tree). items_taken counts work items popped and replayed by idle workers. replay_failures counts replays that found infeasibility before beginning sub-tree search. total_nodes is the sum of per-worker node counts.

donations == 0 after a run means the donation/replay path was never exercised — typically because the search finished before idle workers reached their wait. Useful for confirming a test instance is large enough to stress the work-stealing protocol.

Contention diagnostics (cumulative across all workers, nanoseconds): queue_lock_wait_nanos is total time spent acquiring the donation queue mutex. idle_wait_nanos is total time blocked inside popOrFinish waiting for a donation — divide by num_threads * wall_time for “fraction of available CPU spent idle”. callback_lock_wait_nanos is total time spent acquiring the per-solution lock; rises with enumeration-heavy SAT runs.

Fields§

§donations: i64§items_taken: i64§replay_failures: i64§total_nodes: i64§queue_lock_wait_nanos: i64§idle_wait_nanos: i64§callback_lock_wait_nanos: i64

WorkStealStats

Struct WorkStealStats Copy item path

Fields§

Trait Implementations§

impl Clone for WorkStealStats

fn clone(&self) -> WorkStealStats

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

impl Copy for WorkStealStats

impl Debug for WorkStealStats

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

impl Default for WorkStealStats

fn default() -> WorkStealStats

impl Eq for WorkStealStats

impl PartialEq for WorkStealStats

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

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

impl StructuralPartialEq for WorkStealStats

Auto Trait Implementations§

impl Freeze for WorkStealStats

impl RefUnwindSafe for WorkStealStats

impl Send for WorkStealStats

impl Sync for WorkStealStats

impl Unpin for WorkStealStats

impl UnsafeUnpin for WorkStealStats

impl UnwindSafe for WorkStealStats

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = !

fn try_from(value: U) -> Result<T, !>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Layout§

Struct WorkStealStats

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,