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, ) -> Result<Self, OpsLifecycleError>

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 only with completion entries accepted by generated recovery authority.

Source

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

Capture a serializable snapshot of the current state for persistence.

Includes authority state, operation specs, completion entries, and generated completion-consumer cursor values.

Source

pub fn completion_cursor_snapshot(&self) -> EpochCursorSnapshot

Snapshot generated completion-consumer cursor state.

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 register_operation_with_admission_limit( &self, spec: OperationSpec, max_concurrent: Option<usize>, ) -> Result<(), OpsLifecycleError>

Register an operation while applying a caller-supplied generated admission limit for this registration.
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, ) -> Result<Option<OperationLifecycleSnapshot>, OpsLifecycleError>

Source§

fn list_operations( &self, ) -> Result<Vec<OperationLifecycleSnapshot>, OpsLifecycleError>

Source§

fn classify_operation_terminality( &self, id: &OperationId, status: OperationStatus, ) -> Result<bool, OpsLifecycleError>

Classify operation terminality through the registry’s generated lifecycle authority.
Source§

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

Classify operation public result projection through generated lifecycle authority.
Source§

fn classify_operation_completion_wake( &self, id: &OperationId, kind: OperationKind, ) -> Result<OperationCompletionWakeClass, OpsLifecycleError>

Classify whether a completion-feed entry should wake the owning agent as a detached background job completion.
Source§

fn classify_operation_transition_idempotence( &self, id: &OperationId, action: OperationLifecycleAction, ) -> Result<bool, OpsLifecycleError>

Classify whether a generated invalid-transition rejection is an idempotent success for the requested lifecycle action.
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 completion_cursor( &self, consumer: CompletionCursorConsumer, ) -> Result<Option<CompletionSeq>, OpsLifecycleError>

Read the generated completion-consumer cursor for this registry. Read more
Source§

fn advance_completion_cursor( &self, consumer: CompletionCursorConsumer, cursor: CompletionSeq, projection: Option<&EpochCursorState>, ) -> Result<CompletionSeq, OpsLifecycleError>

Advance a completion-consumer cursor through generated authority. 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<A, B, T> HttpServerConnExec<A, B> for T
where B: Body,

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: 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> 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