Skip to main content

FrameworkComponents

Struct FrameworkComponents 

Source
pub struct FrameworkComponents {
Show 18 fields pub scheduler: Scheduler, pub peer_state: PeerState, pub request_tracker: RequestTracker, pub inbound_dedup: InboundDedup, pub address_book: AddressBook, pub rtt_tracker: RttTracker, pub outbound_queue: OutboundQueue, pub event_source: EventSource, pub serialize_queue: SerializeQueue, pub hold_table: HoldTable, pub record_buffer: RecordBuffer, pub pending_app_events: Vec<AppEvent>, pub counters: HashMap<String, u64>, pub rng: Box<dyn RngU64Source>, pub any_fired_groups: HashSet<String>, pub deadline_match_fired: HashSet<(u64, u64)>, pub pending_peer_resolve_failures: Vec<(Option<PeerId>, OpRef)>, pub inbound_contexts: HashMap<ExecId, InboundContext>,
}
Expand description

docs/ENGINE.md §3 bundle of framework primitives. Split-borrowed into each dispatch_atomic call’s RuntimeResourceRef.

Fields§

§scheduler: Scheduler

Sorted timer heap. Sleep/Interval/Pulse syscalls schedule entries here; Phase 4 of the poll cycle drains matured timers and re-fires their consumer ops.

§peer_state: PeerState

Consolidated per-peer state: named concurrency gate, policy + health governor, and exponential backoff. Component authors reach the three sub-primitives through peer_state.{gate, governor, backoff}.

§request_tracker: RequestTracker

In-flight wire-request → CommandId map + token minter.

§inbound_dedup: InboundDedup

Sliding-window seen-message tracker.

§address_book: AddressBook

PeerId → Address mapping.

§rtt_tracker: RttTracker

Per-NodeSiteId adaptive RTT tracker driving deadline derivation for every wire round-trip the engine observes. Fed by Engine::wire_send_tracked on send + by the response path on completion.

§outbound_queue: OutboundQueue

FIFO of wire envelopes ready to ship.

§event_source: EventSource

Registered EventKind → ComponentTag subscriptions.

§serialize_queue: SerializeQueue

Named-FIFO map for Serialize.Enqueue / Dequeue.

§hold_table: HoldTable

Named-slot value buffer for Hold.Stash / Flush.

§record_buffer: RecordBuffer

Per-name bounded ring buffer for Record.

§pending_app_events: Vec<AppEvent>

App events pending Phase 8 emission.

§counters: HashMap<String, u64>

Per-Node counters bumped by IncrMetric syscalls.

§rng: Box<dyn RngU64Source>

u64 RNG source used by the RngU64 syscall.

§any_fired_groups: HashSet<String>

Per-group first-arrival latch for the Any syscall. Once a group fires, subsequent arrivals are absorbed without re-firing. Cleared on snapshot restore via the framework reset.

§deadline_match_fired: HashSet<(u64, u64)>

Per-(OpRef, ExecId) latch for the DeadlineMatch syscall. First invocation per execution determines the winner (then if non-empty, otherwise timeout); subsequent invocations inside the same execution are absorbed. New executions start fresh — the latch is keyed by ExecId, not just OpRef, so a DeadlineMatch op fires once per logical execution rather than once per Node lifetime.

§pending_peer_resolve_failures: Vec<(Option<PeerId>, OpRef)>

Peer-resolution failures captured during wire::Send dispatch when the destination PeerId either isn’t in the AddressBook or maps to an empty address list. The engine drains this in Phase 8 and surfaces each entry as both a EngineStep::PeerResolveFailed and a bus InfraEvent::PeerResolveFailure. Per docs/ADDRESSING.md.

§inbound_contexts: HashMap<ExecId, InboundContext>

Per-ExecId inbound envelope context. Populated by Engine::route_envelope when a wire envelope arrives; read by RX gates (PeerHealthGateRx, BackoffGateRx) for src-peer filtering and by wire.Send for in-chain correlation token reuse + Dapper-style elapsed-time accounting.

Implementations§

Source§

impl FrameworkComponents

Source

pub fn new() -> Self

Construct a fresh bundle.

Trait Implementations§

Source§

impl Default for FrameworkComponents

Source§

fn default() -> Self

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

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

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

Source§

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

Source§

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

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FutureExt for T

Source§

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

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

fn with_current_context(self) -> WithContext<Self>

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

impl<T> Instrument for T

Source§

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

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

fn in_current_span(self) -> Instrumented<Self>

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

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> IntoRequest<T> for T

Source§

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request
Source§

impl<L> LayerExt<L> for L

Source§

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.
Source§

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

Source§

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
Source§

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
Source§

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

Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

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
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

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