Struct 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(&self) -> RoutineMaintenance

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

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

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)

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

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

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

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

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>

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

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)

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)

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

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

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

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

pub fn is_finalized(&self) -> bool

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

See crate::PersistClient::get_schema.

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

See crate::PersistClient::latest_schema.

pub async fn compare_and_evolve_schema( &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( &self, ) -> Result<(bool, RoutineMaintenance), InvalidUsage<T>>

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

pub async fn snapshot( &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( &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>>( &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.