Struct RunSummary 

pub struct RunSummary {

    pub sched_turns: u64,
    pub schedevent_replayed: u64,
    pub schedevent_recorded: u64,
    pub schedevent_desynced: u64,
    pub desync_descrip: Option<String>,
    pub reprio_descrip: Option<String>,
    pub threads_descrip: String,
    pub num_processes: u64,
    pub num_threads: u64,
    pub syscalls: Option<u64>,
    pub virttime_elapsed: u64,
    pub virttime_final: u64,
    pub realtime_elapsed: Option<Duration>,
    pub timeslice_stats: TimesliceStats,
    pub per_thread_timeslice: Vec<(DetTid, TimesliceStats)>,
    pub dispatch_stats: Option<DispatchStats>,
}

Statistics that summarize a hermit run.

Fields

sched_turns: u64

Internal number of steps taken by the scheduler.

schedevent_replayed: u64

Trace replay: SchedEvents read and replayed from the input recording.

schedevent_recorded: u64

Trace replay: SchedEvents recorded to disk during execution.

schedevent_desynced: u64

Trace replay: Desync events that occurred while replaying SchedEvents.

desync_descrip: Option<String>

A human-readable summary of the desyncs that occurred.

reprio_descrip: Option<String>

A summary of when threads where preempted and reprioritized (for –chaos mode), e.g. –record-preemptions-to.

threads_descrip: String

A summary of the thread topology spawned by the guest.

num_processes: u64

The number of threads that were group leaders, i.e. processes.

num_threads: u64

The number of total system threads that were created during the execution.

syscalls: Option<u64>

Total syscalls completed by all guest threads.

virttime_elapsed: u64

Deterministic virtual nanoseconds elapsed while computing.

virttime_final: u64

Absolute (virtual) time in nanoseconds since epoch at program completion.

realtime_elapsed: Option<Duration>

Nondeterministic: Realtime in nanoseconds, i.e. wall-clock time elapsed.

timeslice_stats: TimesliceStats

Aggregate distribution of scheduler timeslice durations (virtual ns), summed over all threads.

per_thread_timeslice: Vec<(DetTid, TimesliceStats)>

Per-thread timeslice distributions, sorted by DetTid for deterministic output.

dispatch_stats: Option<DispatchStats>

How the backend dispatched guest syscalls: through signals, patched direct calls, or ptrace stops. The record carries its own schema version. Absent when the run did not collect it or the backend has no such dispatch (KVM). Deliberately not part of the human-readable summary, whose INFO view is compared by --verify.

Implementations

impl RunSummary

pub fn info<'a>( &'a self, reprio_description: Option<&'a str>, ) -> RunSummaryInfo<'a>

Trait Implementations

impl Clone for RunSummary

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 RunSummary

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

Formats the value using the given formatter.

impl Default for RunSummary

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for RunSummary

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for RunSummary

A human-readable, multi-line summary. Serialized report fields are unchanged.

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

Formats the value using the given formatter.

impl Serialize for RunSummary

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.