Enum GuestIds 

pub enum GuestIds {
    Namespace,
    Host,
    Chosen {
        base: i32,
        refuse_host_ids: bool,
    },
}

How the guest’s process and thread IDs are numbered (Config::guest_ids).

Variants

Namespace

The PID namespace Hermit creates for the run numbers the guest: the kernel gives each new task the next free ID in that namespace, so the IDs depend only on the guest’s own creation order.

Host

The host’s IDs, which differ from run to run: --no-namespace where Detcore cannot choose them, on a backend whose guest tasks are host tasks.

Chosen

Detcore chooses every ID (--no-namespace): the guest’s first process gets base, and automatic choices take the next ID in creation order, skipping IDs already used by guest-authored set_tid calls. Linux assigns the choices through clone3’s set_tid. No ID is given out twice in a run, so the IDs depend only on base and the guest’s own creation order.

Fields

base: i32

The first process’s ID.

refuse_host_ids: bool

When an ID cannot be chosen, refuse the run (--strict, or an explicit --pid-base) rather than let that task have a host ID.

Implementations

impl GuestIds

pub fn base(&self) -> Option<i32>

The first process’s ID, when Detcore chooses the IDs.

pub fn numbers_like(&self, other: &GuestIds) -> bool

Whether two runs number their guests alike, whatever each does when an ID cannot be chosen: a schedule recorded under one replays under the other.

Trait Implementations

impl Clone for GuestIds

fn clone(&self) -> GuestIds

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for GuestIds

impl Debug for GuestIds

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

Formats the value using the given formatter.

impl Default for GuestIds

fn default() -> GuestIds

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for GuestIds

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for GuestIds

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

Formats the value using the given formatter.

impl Eq for GuestIds

impl Hash for GuestIds

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for GuestIds

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for GuestIds

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 GuestIds