pub struct InFlightBootstrap {
pub kind: BootstrapKind,
pub exec_id: ExecId,
pub touch_set: HashSet<ComponentRef>,
pub staged_inputs: HashSet<String>,
}Expand description
Currently executing bootstrap. The host-driven seeder
(Engine::seed_bootstrap_call) pops one Module target per phase
and pushes it here; the Vec shape supports concurrent disjoint
Component bootstraps fired through the conflict-queue path.
Fields§
§kind: BootstrapKindKind discriminator — Module vs Component.
exec_id: ExecIdExecId allocated for the bootstrap’s body. The body-op gate
walks the parent_exec_id chain on pending_calls and
fires an op when the chain terminates at this ExecId.
touch_set: HashSet<ComponentRef>ComponentRef closure this bootstrap locks against body-phase
ops. Populated from ModuleBootstrap.touch_set (Module) or the
single bound ComponentRef (Component) at fire time. The
body-op gate (Engine::is_op_locked) parks any body op whose
touched ComponentRef falls in this set so disjoint Components
can keep firing while bootstrap runs.
staged_inputs: HashSet<String>Names already covered by staged input values. Empty today;
F4 populates from BootstrapRequest::inputs as the host
supplies formals.
Trait Implementations§
Source§impl Clone for InFlightBootstrap
impl Clone for InFlightBootstrap
Source§fn clone(&self) -> InFlightBootstrap
fn clone(&self) -> InFlightBootstrap
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more