Struct mz_persist_client::internal::machine::Machine

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

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

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 ) -> (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 compare_and_append( &mut self, batch: &HollowBatch<T>, writer_id: &WriterId, debug_info: &HandleDebugState, heartbeat_timestamp_ms: u64 ) -> Result<Result<(SeqNo, WriterMaintenance<T>), InvalidUsage<T>>, Upper<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> ) -> Result<Result<(SeqNo, WriterMaintenance<T>), InvalidUsage<T>>, (SeqNo, Upper<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

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)

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,

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

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

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.