Enum BlockingMode 

pub enum BlockingMode {
    External,
    Polling,
    Precise,
}

How should we handle syscalls which may block, but are internal to the hermit container? These syscalls are determinizable, but there are multiple methods of doing so. These choices do not apply to blocking syscalls that wait for external conditions outside the container, such as network responses.

Mostly it helps to switch this as: (1) a debugging aid to figure out what is going wrong with a given guest program, or (2) in order to find the more performant mode for a given guest program.

Variants

External

Handle the internal blocking syscall as though it was external, and unblocks at an unpredictable nondeterministic time. These blocked threads will be parked in the scheduler’s BlockedPool.

(TODO: In the future these scheduling decisions will be recorded, and this comment needs to be updated accordingly.)

Polling

Transform each blocking syscall into non-blocking, and then the scheduler will use that non-blocking form to repeatedly poll for completion of the operation. When polling occurs (and the backoff policy there on) is decided by the scheduler. See NOTE [Blocking Syscalls via Internal Polling] in this folder.

Precise

Precisely model the blocking and unblocking behavior inside hermit. TODO: This work is not completed yet for all forms of blocking syscalls.

Trait Implementations

impl Clone for BlockingMode

fn clone(&self) -> BlockingMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CommandFactory for BlockingMode

fn command<'b>() -> Command

Build a Command that can instantiate Self.

fn command_for_update<'b>() -> Command

Build a Command that can update self.

impl Copy for BlockingMode

impl Debug for BlockingMode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BlockingMode

fn deserialize<__D>( __deserializer: __D, ) -> Result<BlockingMode, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for BlockingMode

impl FromArgMatches for BlockingMode

fn from_arg_matches( __clap_arg_matches: &ArgMatches, ) -> Result<BlockingMode, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<BlockingMode, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut<'b>( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

impl FromStr for BlockingMode

type Err = String

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<BlockingMode, <BlockingMode as FromStr>::Err>

Parses a string s to return a value of this type.

impl Parser for BlockingMode

fn parse() -> Self

Parse from std::env::args_os(), exit on error.

fn try_parse() -> Result<Self, Error>

Parse from std::env::args_os(), return Err on error.

fn parse_from<I, T>(itr: I) -> Self

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, exit on error.

fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, return Err on error.

fn update_from<I, T>(&mut self, itr: I)

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, exit on error.

fn try_update_from<I, T>(&mut self, itr: I) -> Result<(), Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, return Err on error.

impl PartialEq for BlockingMode

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for BlockingMode

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for BlockingMode

impl Subcommand for BlockingMode

fn augment_subcommands<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_subcommands_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

fn has_subcommand(__clap_name: &str) -> bool

Test whether Self can parse a specific subcommand