Struct mz_persist_client::internal::machine::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>
impl<K, V, T, D> Machine<K, V, T, D>
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>>
pub fn shard_id(&self) -> ShardId
pub fn seqno(&self) -> SeqNo
pub async fn add_rollup_for_current_seqno(&mut self) -> RoutineMaintenance
pub async fn add_rollup( &mut self, add_rollup: (SeqNo, &HollowRollup), ) -> (bool, RoutineMaintenance)
pub async fn remove_rollups( &mut self, remove_rollups: &[(SeqNo, PartialRollupKey)], ) -> (Vec<SeqNo>, RoutineMaintenance)
pub async fn register_leased_reader( &mut self, reader_id: &LeasedReaderId, purpose: &str, lease_duration: Duration, heartbeat_timestamp_ms: u64, use_critical_since: bool, ) -> (LeasedReaderState<T>, RoutineMaintenance)
pub async fn register_critical_reader<O: Opaque + Codec64>( &mut self, reader_id: &CriticalReaderId, purpose: &str, ) -> (CriticalReaderState<T>, RoutineMaintenance)
pub async fn register_schema( &mut self, key_schema: &K::Schema, val_schema: &V::Schema, ) -> (Option<SchemaId>, RoutineMaintenance)
pub async fn spine_exert( &mut self, fuel: usize, ) -> (Vec<CompactReq<T>>, RoutineMaintenance)
pub async fn compare_and_append( &mut self, batch: &HollowBatch<T>, writer_id: &WriterId, debug_info: &HandleDebugState, heartbeat_timestamp_ms: u64, ) -> CompareAndAppendRes<T>
async fn compare_and_append_idempotent( &mut self, batch: &HollowBatch<T>, writer_id: &WriterId, heartbeat_timestamp_ms: u64, idempotency_token: &IdempotencyToken, debug_info: &HandleDebugState, indeterminate: Option<Indeterminate>, ) -> CompareAndAppendRes<T>
pub async fn merge_res( &mut self, res: &FueledMergeRes<T>, ) -> (ApplyMergeResult, RoutineMaintenance)
pub async fn downgrade_since( &mut self, reader_id: &LeasedReaderId, outstanding_seqno: Option<SeqNo>, new_since: &Antichain<T>, heartbeat_timestamp_ms: u64, ) -> (SeqNo, Since<T>, RoutineMaintenance)
pub async fn compare_and_downgrade_since<O: Opaque + Codec64>( &mut self, reader_id: &CriticalReaderId, expected_opaque: &O, __arg3: (&O, &Antichain<T>), ) -> (Result<Since<T>, (O, Since<T>)>, RoutineMaintenance)
pub async fn heartbeat_leased_reader( &mut self, reader_id: &LeasedReaderId, heartbeat_timestamp_ms: u64, ) -> (SeqNo, bool, RoutineMaintenance)
pub async fn expire_leased_reader( &mut self, reader_id: &LeasedReaderId, ) -> (SeqNo, RoutineMaintenance)
pub async fn expire_critical_reader( &mut self, reader_id: &CriticalReaderId, ) -> (SeqNo, RoutineMaintenance)
pub async fn expire_writer( &mut self, writer_id: &WriterId, ) -> (SeqNo, RoutineMaintenance)
pub fn is_finalized(&self) -> bool
sourcepub async fn compare_and_evolve_schema(
&mut self,
expected: SchemaId,
key_schema: &K::Schema,
val_schema: &V::Schema,
) -> (CaESchema<K, V>, RoutineMaintenance)
pub async fn compare_and_evolve_schema( &mut self, expected: SchemaId, key_schema: &K::Schema, val_schema: &V::Schema, ) -> (CaESchema<K, V>, RoutineMaintenance)
See crate::PersistClient::compare_and_evolve_schema.
TODO: Unify this with Self::register_schema?
async fn tombstone_step( &mut self, ) -> Result<(bool, RoutineMaintenance), InvalidUsage<T>>
pub async fn become_tombstone( &mut self, ) -> Result<RoutineMaintenance, InvalidUsage<T>>
pub async fn snapshot( &mut self, as_of: &Antichain<T>, ) -> Result<Vec<HollowBatch<T>>, Since<T>>
pub fn verify_listen(&self, as_of: &Antichain<T>) -> Result<(), Since<T>>
pub async fn next_listen_batch( &mut self, frontier: &Antichain<T>, watch: &mut StateWatch<K, V, T, D>, reader_id: Option<&LeasedReaderId>, retry: Option<RetryParameters>, ) -> HollowBatch<T>
async fn apply_unbatched_idempotent_cmd<R, WorkFn: FnMut(SeqNo, &PersistConfig, &mut StateCollections<T>) -> ControlFlow<NoOpStateTransition<R>, R>>( &mut self, cmd: &CmdMetrics, work_fn: WorkFn, ) -> (SeqNo, R, RoutineMaintenance)
source§impl<K, V, T, D> Machine<K, V, T, D>
impl<K, V, T, D> Machine<K, V, T, D>
pub async fn start_reader_heartbeat_tasks( self, reader_id: LeasedReaderId, gc: GarbageCollector<K, V, T, D>, ) -> Vec<JoinHandle<()>>
async fn reader_heartbeat_task( machine: Self, reader_id: LeasedReaderId, gc: GarbageCollector<K, V, T, D>, )
Trait Implementations§
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>
impl<K, V, T, D> Sync for Machine<K, V, T, D>
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> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)source§impl<T> FutureExt for T
impl<T> FutureExt for T
source§fn with_context(self, otel_cx: Context) -> WithContext<Self>
fn with_context(self, otel_cx: Context) -> WithContext<Self>
source§fn with_current_context(self) -> WithContext<Self>
fn with_current_context(self) -> WithContext<Self>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
Wrap the input message
T
in a tonic::Request
Creates a shared type from an unshared type.
source§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> ProgressEventTimestamp for T
impl<T> ProgressEventTimestamp for T
source§impl<P, R> ProtoType<R> for Pwhere
R: RustType<P>,
impl<P, R> ProtoType<R> for Pwhere
R: RustType<P>,
source§fn into_rust(self) -> Result<R, TryFromProtoError>
fn into_rust(self) -> Result<R, TryFromProtoError>
See
RustType::from_proto
.source§fn from_rust(rust: &R) -> P
fn from_rust(rust: &R) -> P
See
RustType::into_proto
.source§impl<'a, S, T> Semigroup<&'a S> for Twhere
T: Semigroup<S>,
impl<'a, S, T> Semigroup<&'a S> for Twhere
T: Semigroup<S>,
source§fn plus_equals(&mut self, rhs: &&'a S)
fn plus_equals(&mut self, rhs: &&'a S)
The method of
std::ops::AddAssign
, for types that do not implement AddAssign
.