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 preemption: Option<PreemptionSummary>,
    pub dispatch_stats: Option<DispatchStats>,
    pub replay_departure: Option<Summary>,
    pub syscall_histogram: Option<SyscallHistogramSummary>,
    pub host_inputs: Option<HostInputSet>,
    pub host_inputs_changed: Vec<HostInputChange>,
    pub guest_deadlock: bool,
    pub virtual_timeout_ns: Option<u64>,
    pub exclusive_pairs: BTreeMap<String, u64>,
    pub store_exclusives: Option<StoreExclusiveCounts>,
    pub store_exclusives_unavailable: Option<String>,
    pub guest_ids: Option<GuestIds>,
    pub host_id_tasks: u64,
}

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.

preemption: Option<PreemptionSummary>

Configured maximum and timer mechanism from the shared Detcore config. Absent for older summaries or producers that did not record it; a present object with a null maximum explicitly records a disabled maximum. Timer availability is configuration/capability metadata, not measured delivery. Shown in the full report, but not the INFO guest-behavior view used by --verify.

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.

replay_departure: Option<Summary>

Accepted findings that make this faithful preemption replay incomplete. Absent for ordinary runs and older JSON summaries; not part of Display or the INFO view compared by verification.

syscall_histogram: Option<SyscallHistogramSummary>

Per-syscall entries and outcomes over all guest threads, with the scope of what was observed (crate::syscall_histogram); its calls sum to syscalls (RunSummary::syscall_histogram_is_consistent). Absent from summaries written before it existed. Not part of the human-readable summary, whose INFO view is compared by --verify.

host_inputs: Option<HostInputSet>

The host files the guest opened, with the identity each path’s first open found and the set’s digest (see crate::host_input). Two separate runs whose digests differ read different host files, which Hermit does not make deterministic. Absent when the run did not record them. Not part of the human-readable summary, whose INFO view --verify compares.

host_inputs_changed: Vec<HostInputChange>

The host files a schedule replay found changed since the recording it replays, in the order the guest first opened them (see crate::host_input::HostInputChange). Empty when nothing changed or the run replayed nothing. Not part of the human-readable summary.

guest_deadlock: bool

The run ended on a deadlock under Hermit’s model: every remaining thread was blocked with no wake Detcore models. Its status is then HERMIT_GUEST_DEADLOCK_EXIT, not one the guest exited with. Absent (false) for every other run and in older summaries.

virtual_timeout_ns: Option<u64>

The run ended because its virtual clock passed --virtual-timeout, whose bound in virtual nanoseconds this is: the scheduler granted no turn past it. Its status is then 124, not one the guest exited with. Absent for every other run and in older summaries.

exclusive_pairs: BTreeMap<String, u64>

aarch64: the load/store exclusive pairs (LL/SC retry loops) in the guest’s executable file mappings, by guest path. A function of the files’ bytes, so it is in the INFO view. Empty elsewhere.

store_exclusives: Option<StoreExclusiveCounts>

Nondeterministic: aarch64, in runs that record or replay preemptions: the store-exclusives the guest failed, each of which retried its loop and added retired branches, and those it executed. Host interrupts decide them, so they are shown in the full report but not in the INFO view --verify compares. Absent where not counted.

store_exclusives_unavailable: Option<String>

aarch64: why store_exclusives could not be counted in a run that records or replays preemptions. Full report only.

guest_ids: Option<GuestIds>

How the guest’s process and thread IDs were numbered, for a run without a PID namespace of its own (--no-namespace): chosen from a base, or the host’s. Absent for a run its PID namespace numbered. Shown in the full report as launch configuration, not in the INFO view.

host_id_tasks: u64

How many host-ID reports were accepted while IDs were to be chosen (guest_ids): nonzero means chosen IDs are not guaranteed. Shown in the full report beside guest_ids. This includes conservative reports before vfork calls, whose parents return only once the child has exec’d or exited. Failed and restarted attempts can therefore be counted too; this is not a count of distinct created tasks.

Implementations

impl RunSummary

pub fn syscall_histogram_is_consistent(&self) -> Option<bool>

Whether the histogram, when present, counts exactly the syscalls total. None when either is absent.

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

Trait Implementations

impl Clone for RunSummary

fn clone(&self) -> RunSummary

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() -> RunSummary

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

The full human-readable report, including recorded launch configuration.

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.