Expand description
Summaries of complete hermit runs.
Structs§
- Dispatch
Stats - The backend dispatch record a run summary carries, re-exported so readers of summaries and verification reports need no direct Reverie dependency. The shared end-of-run dispatch record for one backend run.
- Path
Evidence - Per-execution SaBRe path evidence written as one JSON object per line.
- Preemption
Summary - Configured timeslice and the runtime’s preemption timer mechanism.
- RunSummary
- Statistics that summarize a hermit run.
- RunSummary
Info - INFO view built with the producer’s preemption description, before its host
destination is appended. Launch configuration is separate report metadata;
this view preserves the guest-behavior fields compared by
--verify. - Store
Exclusive Counts - The store-exclusives a run’s guest speculatively executed that failed,
and all it executed (aarch64
STREX_FAIL_SPECandSTREX_SPEC). - Timeslice
Stats - Running distribution statistics over timeslice durations, measured in virtual
nanoseconds. A “timeslice” is the span of virtual time a thread runs between
two consecutive scheduler yields (i.e. between
end_of_timesliceresets).