Skip to main content

Stager

Struct Stager 

Source
pub struct Stager<S, V, A, H> { /* private fields */ }
Expand description

The apply substrate: stage → verify → apply → (commit | auto-rollback).

Holds the live version and the previous version behind it, plus the four seams that touch the outside world. Stager::stage_and_apply drives the whole sequence; Stager::live and Stager::previous expose the current pointer state.

Implementations§

Source§

impl<S, V, A, H> Stager<S, V, A, H>

Source

pub const fn new( source: S, verifier: V, activator: A, health: H, initial_live: ReleaseId, ) -> Self

Build a stager over its four seams, starting from initial_live as the version already serving.

Source

pub const fn live(&self) -> &ReleaseId

The version currently serving — the committed live pointer.

Source

pub const fn previous(&self) -> Option<&ReleaseId>

The previous version, kept staged so a rollback is a pointer flip. None until the first update commits.

Source

pub fn stage_and_apply( &mut self, release: &ReleaseId, ) -> Result<Outcome, StageError>

Stage release, verify it, apply it, and commit or auto-roll-back on the health check.

The sequence is fixed:

  1. download the release to a side location;
  2. verify its signature — an unverified bundle returns StageError::Unverified with the live pointer untouched;
  3. flip the live pointer to the new version;
  4. run the health check — on Health::Healthy commit and return Outcome::Committed; on Health::Unhealthy flip the pointer back to the previous version and return Outcome::RolledBack.

The committed live pointer (Stager::live) only advances in step 4 on a passed health check, so a refused or rolled-back attempt leaves the stager exactly where it started.

§Errors

Returns StageError::Download if the source cannot stage the release, StageError::Unverified if the signature does not verify, or StageError::Activate if a pointer flip fails (applying the new version, or — worse — flipping back during a rollback).

Auto Trait Implementations§

§

impl<S, V, A, H> Freeze for Stager<S, V, A, H>
where S: Freeze, V: Freeze, A: Freeze, H: Freeze,

§

impl<S, V, A, H> RefUnwindSafe for Stager<S, V, A, H>

§

impl<S, V, A, H> Send for Stager<S, V, A, H>
where S: Send, V: Send, A: Send, H: Send,

§

impl<S, V, A, H> Sync for Stager<S, V, A, H>
where S: Sync, V: Sync, A: Sync, H: Sync,

§

impl<S, V, A, H> Unpin for Stager<S, V, A, H>
where S: Unpin, V: Unpin, A: Unpin, H: Unpin,

§

impl<S, V, A, H> UnsafeUnpin for Stager<S, V, A, H>

§

impl<S, V, A, H> UnwindSafe for Stager<S, V, A, H>

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