Enum TerminalOutcome 

pub enum TerminalOutcome {
    GuestDeadlock,
    VirtualTimeout {
        bound_ns: u64,
    },
}

How Detcore’s scheduler ended a run itself, with a status and a stderr class line of its own: NEITHER KIND IS A GUEST RESULT. A deadlock is a verdict of Hermit’s model (see HERMIT_GUEST_DEADLOCK_EXIT) and a virtual timeout is a bound Hermit imposed, so --verify (under the default --verify-allow=success), chaos-stress and analyze do not take either as the guest’s outcome. Neither is a Hermit failure (125) either.

The scheduler hands it to the run’s owner when the backend can unwind the parked guest (ptrace), and otherwise exits the process with TerminalOutcome::exit_status. Both kinds stop a run at a committed scheduler turn, so both stop it at the same point of the same schedule in every run.

Variants

GuestDeadlock

Every remaining guest thread is blocked with no wake Hermit models: a deadlock under Hermit’s model, not a guest result (HERMIT_GUEST_DEADLOCK_EXIT, HERMIT_MODEL_DEADLOCK_LINE).

VirtualTimeout

The run’s virtual clock passed --virtual-timeout: at a committed scheduler turn, Detcore’s global virtual time was more than bound_ns virtual nanoseconds past the run’s start (the time a run summary reports as virttime_elapsed). Exits 124, as a deadline does. A bound Hermit imposed, not a guest result.

Fields

bound_ns: u64

The configured bound, in virtual nanoseconds.

Implementations

impl TerminalOutcome

pub const fn exit_status(self) -> i32

The status a run with this outcome ends with.

pub fn class_line(self) -> String

The machine-readable stderr line Hermit ends such a run with, which tells it from a guest that exited the same status of its own accord and, for a virtual timeout, from --timeout’s class=run-timeout.

pub fn to_fields(outcome: Option<Self>) -> (bool, Option<u64>)

The (guest_deadlock, virtual_timeout_ns) pair a run summary and a verification record store an outcome as: a deadlock keeps the guest_deadlock flag it has always been stored as.

pub fn from_fields( guest_deadlock: bool, virtual_timeout_ns: Option<u64>, ) -> Option<Self>

The outcome TerminalOutcome::to_fields stored.

Trait Implementations

impl Clone for TerminalOutcome

fn clone(&self) -> TerminalOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TerminalOutcome

impl Debug for TerminalOutcome

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TerminalOutcome

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for TerminalOutcome

impl PartialEq for TerminalOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TerminalOutcome

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TerminalOutcome