Skip to main content

ExecState

bb_runtime::exec_state

Struct ExecState

pub struct ExecState {
    pub frontier: VecDeque<(OpRef, ExecId)>,
    pub slot_table: HashMap<(NodeSiteId, ExecId), Option<Box<dyn SlotValue>>>,
    pub execution_state: HashMap<ExecId, ExecutionState>,
    pub pending_async: HashMap<CommandId, PendingAsync>,
    pub pending_completions: Vec<PendingCompletion>,
    pub pending_calls: HashMap<ExecId, CallContext>,
    pub ids: IdAllocator,
}

Expand description

Per-poll execution-state bundle held on Engine.

Fields§

§frontier: VecDeque<(OpRef, ExecId)>

In-cycle DAG-walking queue: ops ready to fire now, paired with the execution they belong to.

§slot_table: HashMap<(NodeSiteId, ExecId), Option<Box<dyn SlotValue>>>

Per-execution slot storage keyed by (NodeSiteId, ExecId).

§execution_state: HashMap<ExecId, ExecutionState>

Per-execution liveness tracker (output counter used for GC bookkeeping when an execution finishes).

§pending_async: HashMap<CommandId, PendingAsync>

Suspended ops awaiting CommandId completion. Matched against pending_completions on the engine’s completion drain.

§pending_completions: Vec<PendingCompletion>

Completions captured during a dispatch hook. Drained by the engine and matched against pending_async.

§pending_calls: HashMap<ExecId, CallContext>

Active function-call invocations keyed by the body’s ExecId. Populated when OpDispatch::FunctionCall fires; removed as outputs are forwarded back to the caller.

§ids: IdAllocator

Monotonic ID source for ExecId / CommandId / NodeSiteId / OpRef.

Implementations§

impl ExecState

pub fn new() -> Self

Construct a fresh ExecState with empty queues and zero counters.

Trait Implementations§

impl Default for ExecState

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

impl !RefUnwindSafe for ExecState

impl !UnwindSafe for ExecState

impl Freeze for ExecState

impl Send for ExecState

impl Sync for ExecState

impl Unpin for ExecState

impl UnsafeUnpin for ExecState

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> ErasedComponent for T
where T: Any + Send + Sync,

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> FutureExt for T

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoRequest<T> for T

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request

impl<L> LayerExt<L> for L

fn named_layer<S>(&self, service: S) -> Layered<<L as Layer<S>>::Service, S>
where L: Layer<S>,

Applies the layer to a service and wraps it in Layered.

impl<T> PolicyExt for T
where T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more