Struct SchedulerEndedRun 

#[non_exhaustive]
pub struct SchedulerEndedRun {
    pub outcome: TerminalOutcome,
    pub output: Option<Output>,
}

The run ended with a scheduler terminal outcome (detcore::TerminalOutcome): a deadlock under Hermit’s model (Detcore’s scheduler found every remaining thread blocked with no wake it models), or the run’s virtual clock passed --virtual-timeout. Neither is a guest result. The scheduler printed its report.

The ptrace runtime publishes it as the termination that tears the parked guest down, as --timeout publishes GuestTimedOut. Once the run is finished (summary printed, recording metadata written) the run functions return it as their error, carrying the output the guest wrote before the outcome when the run captured it; that output’s status is the outcome’s (detcore::TerminalOutcome::exit_status). A run whose teardown failed is not this but a ptrace failure, reported as Hermit’s. The CLI reports it by the outcome’s class line rather than as a guest exit status or an internal failure. Backends whose scheduler cannot hand the outcome back to the run exit the process with the outcome’s status instead.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

outcome: TerminalOutcome

How the scheduler ended the run.

output: Option<Output>

The captured output, for a run that captured it.

Implementations

impl SchedulerEndedRun

pub fn new(outcome: TerminalOutcome, output: Option<Output>) -> Self

A finished run that ended with outcome, with its output when it captured one.

pub fn split<T>( result: Result<T, Error>, ) -> Result<Result<T, SchedulerEndedRun>, Error>

Separate a finished run’s terminal outcome from its other errors. An outcome beside a skid overshoot stays the overshoot’s error, which refuses the run.

pub fn into_output(self) -> Result<Output, Error>

The output of a run that ended with an outcome and captured it.

pub fn status_of( result: Result<ExitStatus, Error>, ) -> Result<(ExitStatus, Option<TerminalOutcome>), Error>

A finished run’s status, and the outcome it ended with, if any, in which case the status is the outcome’s.

pub fn output_of( result: Result<Output, Error>, ) -> Result<(Output, Option<TerminalOutcome>), Error>

A finished run’s output, and the outcome it ended with, if any, in which case the output’s status is the outcome’s.

Trait Implementations

impl Debug for SchedulerEndedRun

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

Formats the value using the given formatter.

impl Display for SchedulerEndedRun

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

Formats the value using the given formatter.

impl Error for SchedulerEndedRun

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.