mz_persist_client::internal::machine

Struct Machine

Source
pub struct Machine<K, V, T, D> {
    pub(crate) applier: Applier<K, V, T, D>,
    pub(crate) isolated_runtime: Arc<IsolatedRuntime>,
}

Fields§

§applier: Applier<K, V, T, D>§isolated_runtime: Arc<IsolatedRuntime>

Implementations§

Source§

impl<K, V, T, D> Machine<K, V, T, D>
where K: Debug + Codec, V: Debug + Codec, T: Timestamp + Lattice + Codec64, D: Semigroup + Codec64,

Source

pub async fn new( cfg: PersistConfig, shard_id: ShardId, metrics: Arc<Metrics>, state_versions: Arc<StateVersions>, shared_states: Arc<StateCache>, pubsub_sender: Arc<dyn PubSubSender>, isolated_runtime: Arc<IsolatedRuntime>, diagnostics: Diagnostics, ) -> Result<Self, Box<CodecMismatch>>

Source

pub fn shard_id(&self) -> ShardId

Source

pub fn seqno(&self) -> SeqNo

Source

pub async fn add_rollup_for_current_seqno(&self) -> RoutineMaintenance

Source

pub async fn add_rollup( &self, add_rollup: (SeqNo, &HollowRollup), ) -> (bool, RoutineMaintenance)

Source

pub async fn remove_rollups( &self, remove_rollups: &[(SeqNo, PartialRollupKey)], ) -> (Vec<SeqNo>, RoutineMaintenance)

Source

pub async fn register_leased_reader( &self, reader_id: &LeasedReaderId, purpose: &str, lease_duration: Duration, heartbeat_timestamp_ms: u64, use_critical_since: bool, ) -> (LeasedReaderState<T>, RoutineMaintenance)

Source

pub async fn register_critical_reader<O: Opaque + Codec64>( &self, reader_id: &CriticalReaderId, purpose: &str, ) -> (CriticalReaderState<T>, RoutineMaintenance)

Source

pub async fn register_schema( &self, key_schema: &K::Schema, val_schema: &V::Schema, ) -> (Option<SchemaId>, RoutineMaintenance)

Source

pub async fn spine_exert( &self, fuel: usize, ) -> (Vec<CompactReq<T>>, RoutineMaintenance)

Source

pub async fn compare_and_append( &self, batch: &HollowBatch<T>, writer_id: &WriterId, debug_info: &HandleDebugState, heartbeat_timestamp_ms: u64, ) -> CompareAndAppendRes<T>

Source

async fn compare_and_append_idempotent( &self, batch: &HollowBatch<T>, writer_id: &WriterId, heartbeat_timestamp_ms: u64, idempotency_token: &IdempotencyToken, debug_info: &HandleDebugState, indeterminate: Option<Indeterminate>, ) -> CompareAndAppendRes<T>

Source

pub async fn merge_res( &self, res: &FueledMergeRes<T>, ) -> (ApplyMergeResult, RoutineMaintenance)

Source

pub async fn downgrade_since( &self, reader_id: &LeasedReaderId, outstanding_seqno: Option<SeqNo>, new_since: &Antichain<T>, heartbeat_timestamp_ms: u64, ) -> (SeqNo, Since<T>, RoutineMaintenance)

Source

pub async fn compare_and_downgrade_since<O: Opaque + Codec64>( &self, reader_id: &CriticalReaderId, expected_opaque: &O, __arg3: (&O, &Antichain<T>), ) -> (Result<Since<T>, (O, Since<T>)>, RoutineMaintenance)

Source

pub async fn heartbeat_leased_reader( &self, reader_id: &LeasedReaderId, heartbeat_timestamp_ms: u64, ) -> (SeqNo, bool, RoutineMaintenance)

Source

pub async fn expire_leased_reader( &self, reader_id: &LeasedReaderId, ) -> (SeqNo, RoutineMaintenance)

Source

pub async fn expire_critical_reader( &self, reader_id: &CriticalReaderId, ) -> (SeqNo, RoutineMaintenance)

Source

pub async fn expire_writer( &self, writer_id: &WriterId, ) -> (SeqNo, RoutineMaintenance)

Source

pub fn is_finalized(&self) -> bool

Source

pub fn get_schema(&self, schema_id: SchemaId) -> Option<(K::Schema, V::Schema)>

Source

pub fn latest_schema(&self) -> Option<(SchemaId, K::Schema, V::Schema)>

Source

pub async fn compare_and_evolve_schema( &self, expected: SchemaId, key_schema: &K::Schema, val_schema: &V::Schema, ) -> (CaESchema<K, V>, RoutineMaintenance)

Source

async fn tombstone_step( &self, ) -> Result<(bool, RoutineMaintenance), InvalidUsage<T>>

Source

pub async fn become_tombstone( &self, ) -> Result<RoutineMaintenance, InvalidUsage<T>>

Source

pub async fn snapshot( &self, as_of: &Antichain<T>, ) -> Result<Vec<HollowBatch<T>>, Since<T>>

Source

pub fn verify_listen(&self, as_of: &Antichain<T>) -> Result<(), Since<T>>

Source

pub async fn next_listen_batch( &self, frontier: &Antichain<T>, watch: &mut StateWatch<K, V, T, D>, reader_id: Option<&LeasedReaderId>, retry: Option<RetryParameters>, ) -> HollowBatch<T>

Source

async fn apply_unbatched_idempotent_cmd<R, WorkFn: FnMut(SeqNo, &PersistConfig, &mut StateCollections<T>) -> ControlFlow<NoOpStateTransition<R>, R>>( &self, cmd: &CmdMetrics, work_fn: WorkFn, ) -> (SeqNo, R, RoutineMaintenance)

Source§

impl<K, V, T, D> Machine<K, V, T, D>
where K: Debug + Codec, V: Debug + Codec, T: Timestamp + Lattice + Codec64, D: Semigroup + Codec64 + Send + Sync,

Source

pub async fn start_reader_heartbeat_tasks( self, reader_id: LeasedReaderId, gc: GarbageCollector<K, V, T, D>, ) -> Vec<JoinHandle<()>>

Source

async fn reader_heartbeat_task( machine: Self, reader_id: LeasedReaderId, gc: GarbageCollector<K, V, T, D>, )

Trait Implementations§

Source§

impl<K, V, T: Clone, D> Clone for Machine<K, V, T, D>

Source§

fn clone(&self) -> Self

Returns a copy of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<K: Debug, V: Debug, T: Debug, D: Debug> Debug for Machine<K, V, T, D>

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<K, V, T, D> Freeze for Machine<K, V, T, D>

§

impl<K, V, T, D> !RefUnwindSafe for Machine<K, V, T, D>

§

impl<K, V, T, D> Send for Machine<K, V, T, D>
where T: Send + Sync,

§

impl<K, V, T, D> Sync for Machine<K, V, T, D>
where T: Send + Sync,

§

impl<K, V, T, D> Unpin for Machine<K, V, T, D>

§

impl<K, V, T, D> !UnwindSafe for Machine<K, V, T, D>

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, U> CastInto<U> for T
where U: CastFrom<T>,

Source§

fn cast_into(self) -> U

Performs the cast.
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FromRef<T> for T
where T: Clone,

Source§

fn from_ref(input: &T) -> T

Converts to this type from a reference to the input type.
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<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<Unshared, Shared> IntoShared<Shared> for Unshared
where Shared: FromUnshared<Unshared>,

Source§

fn into_shared(self) -> Shared

Creates a shared type from an unshared type.
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize = _

The alignment of pointer.
Source§

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> ProgressEventTimestamp for T
where T: Data + Debug + Any,

Source§

fn as_any(&self) -> &(dyn Any + 'static)

Upcasts this ProgressEventTimestamp to Any. Read more
Source§

fn type_name(&self) -> &'static str

Returns the name of the concrete type of this object. Read more
Source§

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

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<'a, S, T> Semigroup<&'a S> for T
where T: Semigroup<S>,

Source§

fn plus_equals(&mut self, rhs: &&'a S)

The method of std::ops::AddAssign, for types that do not implement AddAssign.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
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<T> Data for T
where T: Clone + 'static,