Skip to main content

AssignmentSnapshotStore

Struct AssignmentSnapshotStore 

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

I/O wrapper for AssignmentSnapshot on an object store.

Implementations§

Source§

impl AssignmentSnapshotStore

Source

pub fn new(store: Arc<dyn ObjectStore>) -> Self

Wrap a pre-constructed object store.

Source

pub async fn stage_recovery_proposal( &self, proposal: &AssignmentSnapshot, ) -> Result<AssignmentSnapshotRef, SnapshotError>

Stage one committed successor under its canonical content address.

Identical retries converge on the same immutable object. This does not change the durable assignment head; callers publish the returned reference through their fencing authority before materialization.

§Errors

Rejects an invalid/non-committed successor or a write that cannot be reconciled exactly.

Source

pub async fn load_recovery_proposal( &self, reference: &AssignmentSnapshotRef, ) -> Result<AssignmentSnapshot, SnapshotError>

Load and verify one exact immutable recovery proposal.

§Errors

Rejects a missing, malformed, non-canonical, or reference-mismatched object.

Source

pub async fn load(&self) -> Result<Option<AssignmentSnapshot>, SnapshotError>

Load the current (highest-versioned) snapshot; Ok(None) on fresh cluster.

§Errors

Object-store I/O or JSON decode failure.

Source

pub async fn load_version( &self, version: u64, ) -> Result<Option<AssignmentSnapshot>, SnapshotError>

Load a specific version’s snapshot. Ok(None) if that version was never written or has been pruned.

§Errors

Object-store I/O or JSON decode failure.

Source

pub async fn load_drain_transition( &self, version: u64, ) -> Result<Option<AssignmentDrainTransition>, SnapshotError>

Load the immutable drain transition underlying a materialized assignment version.

A terminal load_version result intentionally contains only the installed assignment. Cluster readers use this accessor to bind that materialized result back to the shared authority decision before adoption. Ordinary assignment versions return None.

§Errors

Object-store I/O, JSON decode failure, or a malformed base snapshot.

Source

pub async fn save_if_absent( &self, snapshot: &AssignmentSnapshot, ) -> Result<Option<AssignmentSnapshot>, SnapshotError>

CAS-create the version-one seed. Ok(None) means another initial writer won.

§Errors

Object-store I/O or JSON encode failure.

Source

pub async fn save_if_version( &self, snapshot: &AssignmentSnapshot, prior_version: u64, ) -> Result<RotateOutcome, SnapshotError>

Rotate to snapshot assuming the current durable version is prior_version. Returns RotateOutcome::Conflict carrying the winner’s snapshot if a racer produced prior_version + 1 first.

§Errors

Object-store I/O, JSON encode, or a non-monotonic version bump (caller bug).

Source

pub async fn finalize_drain( &self, draining: &AssignmentSnapshot, proposal: &AssignmentSnapshot, ) -> Result<RotateOutcome, SnapshotError>

Append exactly one immutable winner for a draining object: its target or a rollback.

The object version is intentionally unchanged: source receipts certify the target assignment version, so committing the map under another version would discard the very identity they proved. PutMode::Create makes commit versus abort a store-level race with one winner on local and cloud backends; the original transition remains auditable. Cluster callers must first serialize the verdict through LeaderLeaseStore; this method only materializes that already-authoritative verdict.

§Errors

Rejects a stale/non-draining expected value, an unrelated proposal, or a non-head object.

Source

pub async fn prune_before(&self, before: u64) -> Result<(), SnapshotError>

Delete every snapshot object with version < before. Idempotent — missing objects are tolerated.

§Errors

Object-store I/O.

Trait Implementations§

Source§

impl Debug for AssignmentSnapshotStore

Source§

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

Formats the value using the given formatter. 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
§

impl<T> ArchivePointee for T

§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.
§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.
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.

§

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
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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

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> LayoutRaw for T

§

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.
§

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

§

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more
§

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.
§

impl<T> Pointee for T

§

type Metadata = ()

The metadata type for pointers and references to this type.
§

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

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