Struct shadow_rs::core::sim_stats::SharedSimStats

pub struct SharedSimStats {
    pub alloc_counts: Mutex<Counter>,
    pub dealloc_counts: Mutex<Counter>,
    pub syscall_counts: Mutex<Counter>,
}

Simulation statistics to be accessed by multiple threads.

Fields

alloc_counts: Mutex<Counter>

dealloc_counts: Mutex<Counter>

syscall_counts: Mutex<Counter>

Implementations

impl SharedSimStats

pub fn new() -> Self

pub fn add_from_local_stats(&self, local: &LocalSimStats)

Add stats from a local object to a shared object. May reset fields of local.

Trait Implementations

impl Debug for SharedSimStats

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

Formats the value using the given formatter.

impl Default for SharedSimStats

fn default() -> Self

Returns the “default value” for a type.