Skip to main content

RuntimeOpsLifecycleRegistry

Struct RuntimeOpsLifecycleRegistry 

Source
pub struct RuntimeOpsLifecycleRegistry { /* private fields */ }
Expand description

Per-runtime shared registry for async operation lifecycle truth.

Per-operation canonical lifecycle state is owned by the DSL authority embedded in the shell. This struct manages I/O concerns: watcher channels, timestamps, peer handles, snapshot assembly, FIFO eviction, and the completion feed buffer.

Implementations§

Source§

impl RuntimeOpsLifecycleRegistry

Source

pub fn new() -> Self

Source

pub fn with_config(config: OpsLifecycleConfig) -> Self

Source

pub fn set_persistence_channel( &self, tx: UnboundedSender<OpsLifecyclePersistenceRequest>, epoch_id: RuntimeEpochId, cursor_state: Arc<EpochCursorState>, )

Wire a persistence channel for durable snapshot writes.

After this call, terminal transitions (complete/fail/cancel/abort) capture a snapshot and queue it to the channel. A dedicated persistence task should drain the channel and write to the store.

Source

pub fn from_recovered(snapshot: PersistedOpsSnapshot) -> Self

Recover from a persisted snapshot.

Rebuilds DSL state (stripping non-terminal ops — only terminals survive recovery), creates fresh shell records from specs, and seeds the feed buffer with persisted completion entries.

Source

pub fn capture_persistence_snapshot( &self, epoch_id: RuntimeEpochId, cursor_state: &EpochCursorState, ) -> PersistedOpsSnapshot

Capture a serializable snapshot of the current state for persistence.

Includes authority state, operation specs, completion entries, and cursor values. Cursor values may be stale relative to the agent’s true position (monotonic staleness, not atomicity).

Source

pub fn completion_feed_handle(&self) -> Arc<dyn CompletionFeed>

Return a read handle to the completion feed.

Trait Implementations§

Source§

impl Debug for RuntimeOpsLifecycleRegistry

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for RuntimeOpsLifecycleRegistry

Source§

fn default() -> Self

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

impl OpsLifecycleRegistry for RuntimeOpsLifecycleRegistry

Source§

fn register_operation( &self, spec: OperationSpec, ) -> Result<(), OpsLifecycleError>

Source§

fn provisioning_succeeded( &self, id: &OperationId, ) -> Result<(), OpsLifecycleError>

Source§

fn provisioning_failed( &self, id: &OperationId, error: String, ) -> Result<(), OpsLifecycleError>

Source§

fn peer_ready( &self, id: &OperationId, peer: OperationPeerHandle, ) -> Result<(), OpsLifecycleError>

Source§

fn register_watcher( &self, id: &OperationId, ) -> Result<OperationCompletionWatch, OpsLifecycleError>

Source§

fn report_progress( &self, id: &OperationId, _update: OperationProgressUpdate, ) -> Result<(), OpsLifecycleError>

Source§

fn complete_operation( &self, id: &OperationId, result: OperationResult, ) -> Result<(), OpsLifecycleError>

Source§

fn fail_operation( &self, id: &OperationId, error: String, ) -> Result<(), OpsLifecycleError>

Source§

fn abort_provisioning( &self, id: &OperationId, reason: Option<String>, ) -> Result<(), OpsLifecycleError>

Source§

fn cancel_operation( &self, id: &OperationId, reason: Option<String>, ) -> Result<(), OpsLifecycleError>

Source§

fn request_retire(&self, id: &OperationId) -> Result<(), OpsLifecycleError>

Source§

fn mark_retired(&self, id: &OperationId) -> Result<(), OpsLifecycleError>

Source§

fn snapshot(&self, id: &OperationId) -> Option<OperationLifecycleSnapshot>

Source§

fn list_operations(&self) -> Vec<OperationLifecycleSnapshot>

Source§

fn terminate_owner(&self, reason: String) -> Result<(), OpsLifecycleError>

Source§

fn collect_completed( &self, ) -> Result<Vec<(OperationId, OperationTerminalOutcome)>, OpsLifecycleError>

Drain all completed operations from the registry, returning their outcomes.
Source§

fn completion_feed(&self) -> Option<Arc<dyn CompletionFeed>>

Return the canonical completion feed, if this registry supports it. Read more
Source§

fn wait_all( &self, _run_id: &RunId, ids: &[OperationId], ) -> Pin<Box<dyn Future<Output = Result<WaitAllResult, OpsLifecycleError>> + Send + '_>>

Register an authority-owned barrier wait and await its completion. 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<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: 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: 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> Same for T

Source§

type Output = T

Should always be Self
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
Source§

impl<A, B, T> HttpServerConnExec<A, B> for T
where B: Body,