Struct mz_compute_client::controller::replicated::ReportedUppers

source · [−]

struct ReportedUppers<T> {
    per_replica: HashMap<ReplicaId, Antichain<T>>,
    bounds: FrontierBounds<T>,
}

Expand description

Reported upper frontiers for a single compute collection.

The type maintains the following invariants:

replica frontiers only advance
frontier bounds only advance
bounds.lower <= bounds.upper
bounds.lower is the lower bound of the frontiers of all active replicas
bounds.upper is the upper bound of the frontiers of all replicas

Fields

per_replica: HashMap<ReplicaId, Antichain<T>>

The reported uppers per replica.

bounds: FrontierBounds<T>

The lower and upper bound of all reported uppers.

Implementations

source

impl<T> ReportedUppers<T>where
T: Timestamp + Lattice,

source

fn new(replica_ids: &BTreeSet<ReplicaId>) -> Self

Construct a ReportedUppers that tracks frontiers of the given replicas.

source

fn add_replica(&mut self, id: ReplicaId)

Start tracking the given replica.

Panics

If the given replica_id is already tracked.

source

fn remove_replica(&mut self, id: ReplicaId) -> bool

Stop tracking the given replica.

Returns true iff the update caused a change in any of the two bounds.

Panics

If the given replica_id is not tracked.

source

fn tracks_replica(&self, id: ReplicaId) -> bool

Return whether the given replica’s frontiers are tracked.

source

fn update(&mut self, replica_id: ReplicaId, new_upper: Antichain<T>) -> bool

Apply a frontier update from a single replica.

Returns true iff the update caused a change in any of the two bounds.

Panics

If the given replica_id is not tracked.

source

fn update_lower_bound(&mut self) -> bool

Update bounds.lower to restore its invariants.

Returns true iff the update caused a change in the lower bound.

Trait Implementations

source

impl<T: Debug> Debug for ReportedUppers<T>

source

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

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl<T> RefUnwindSafe for ReportedUppers<T>where
T: RefUnwindSafe,

impl<T> Send for ReportedUppers<T>where
T: Send,

impl<T> Sync for ReportedUppers<T>where
T: Sync,

impl<T> Unpin for ReportedUppers<T>where
T: Unpin,

impl<T> UnwindSafe for ReportedUppers<T>where
T: UnwindSafe,

Blanket Implementations

source

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

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

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

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

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

const: unstable · source

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

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · 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 for Twhere
U: From<T>,

const: unstable · 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<T> Pointable for T

source

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.

type Init = T

The type for initializers.

source

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

source

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

source

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

source

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

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

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

source

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

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

source

impl<V, T> VZip<V> for Twhere
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

Struct mz_compute_client::controller::replicated::ReportedUppers

Fields

Implementations

impl<T> ReportedUppers<T>where T: Timestamp + Lattice,

fn new(replica_ids: &BTreeSet<ReplicaId>) -> Self

fn add_replica(&mut self, id: ReplicaId)

fn remove_replica(&mut self, id: ReplicaId) -> bool

fn tracks_replica(&self, id: ReplicaId) -> bool

fn update(&mut self, replica_id: ReplicaId, new_upper: Antichain<T>) -> bool

fn update_lower_bound(&mut self) -> bool

Trait Implementations

impl<T: Debug> Debug for ReportedUppers<T>

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

Auto Trait Implementations

impl<T> RefUnwindSafe for ReportedUppers<T>where T: RefUnwindSafe,

impl<T> Send for ReportedUppers<T>where T: Send,

impl<T> Sync for ReportedUppers<T>where T: Sync,

impl<T> Unpin for ReportedUppers<T>where T: Unpin,

impl<T> UnwindSafe for ReportedUppers<T>where T: UnwindSafe,

Blanket Implementations

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> FutureExt for T

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

fn with_current_context(self) -> WithContext<Self>

impl<T> Instrument for T

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

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<T> IntoRequest<T> for T

fn into_request(self) -> Request<T>

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<P, R> ProtoType<R> for Pwhere R: RustType<P>,

fn into_rust(self) -> Result<R, TryFromProtoError>

fn from_rust(rust: &R) -> P

impl<T> Same<T> for T

type Output = T

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

type Error = Infallible

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

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

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

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

impl<V, T> VZip<V> for Twhere 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>,

fn with_current_subscriber(self) -> WithDispatch<Self>

impl<T> ReportedUppers<T>where
T: Timestamp + Lattice,

impl<T> RefUnwindSafe for ReportedUppers<T>where
T: RefUnwindSafe,

impl<T> Send for ReportedUppers<T>where
T: Send,

impl<T> Sync for ReportedUppers<T>where
T: Sync,

impl<T> Unpin for ReportedUppers<T>where
T: Unpin,

impl<T> UnwindSafe for ReportedUppers<T>where
T: UnwindSafe,

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

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

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

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

impl<P, R> ProtoType<R> for Pwhere
R: RustType<P>,

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

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

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

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
S: Into<Dispatch>,