Struct SpawnSpec 

pub struct SpawnSpec {
    pub kernel: u32,
    pub entry_pc: u32,
    pub parent: ProcessId,
    pub disable_name: Vec<String>,
}

One fork branch the scheduler must instantiate (see Suspend::ForkJoin).

Not Copy (unlike every other scheduler ABI value): Self::disable_name is a real, possibly-nonempty String, not FFI/ABI data – this struct stays a plain, compile-time-constant Rust value (per its own module’s decode_reschedule_with_fork_table/fork_table doc comments), never crosses an extern "C" boundary, so losing Copy costs nothing a real caller observes; every construction site this adds a field to is a struct literal, so a missed one is a compile error, never a silent gap.

Fields

kernel: u32

Index into the compiled kernel’s VJ_PROCESS_TABLE of the kernel codegen emitted for this fork branch.

entry_pc: u32

Resume point (segment / resume_pc) at which the child starts.

parent: ProcessId

The spawning process; the child’s activation record links to it for access to variables declared in enclosing scopes (LRM 9.3.2).

disable_name: Vec<String>

The name(s) a disable elsewhere may target this branch by (LRM 9.6.2): the enclosing fork : NAME label, if any, and/or this branch’s own named outermost block, if it has one – both resolved at compile time by vj_sim::process::cfg’s fork-branch walk. Empty for an unnamed branch of an unnamed fork, which no disable can ever single out. Engine::apply_suspend’s Suspend::ForkJoin handling tags each newly minted child’s ProcessDescriptor::disable_names with this list the moment handle_fork hands back its ProcessId.

Trait Implementations

impl Clone for SpawnSpec

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpawnSpec

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

Formats the value using the given formatter.

impl Eq for SpawnSpec

impl PartialEq for SpawnSpec

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SpawnSpec