Struct VerifyStateStore

pub struct VerifyStateStore<A, E, T = ()> {
    pub actual: A,
    pub expected: Option<E>,
    pub _phantom: PhantomData<T>,
}

Fields

actual: A

expected: Option<E>

_phantom: PhantomData<T>

Trait Implementations

impl<A: AsHummock, E> AsHummock for VerifyStateStore<A, E>

fn as_hummock(&self) -> Option<&HummockStorage>

impl<A: Clone, E: Clone> Clone for VerifyStateStore<A, E>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A, E> Deref for VerifyStateStore<A, E>

type Target = A

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<A: LocalStateStore, E: LocalStateStore> LocalStateStore for VerifyStateStore<A, E>

type Iter<'a> = impl StateStoreIter + 'a

type RevIter<'a> = impl StateStoreIter + 'a

async fn get( &self, key: TableKey<Bytes>, read_options: ReadOptions, ) -> StorageResult<Option<Bytes>>

Point gets a value from the state store. The result is based on the latest written snapshot.

fn iter( &self, key_range: TableKeyRange, read_options: ReadOptions, ) -> impl Future<Output = StorageResult<Self::Iter<'_>>> + Send + '_

Opens and returns an iterator for given prefix_hint and full_key_range Internally, prefix_hint will be used to for checking bloom_filter and full_key_range used for iter. (if the prefix_hint not None, it should be be included in key_range) The returned iterator will iterate data based on the latest written snapshot.

fn rev_iter( &self, key_range: TableKeyRange, read_options: ReadOptions, ) -> impl Future<Output = StorageResult<Self::RevIter<'_>>> + Send + '_

fn insert( &mut self, key: TableKey<Bytes>, new_val: Bytes, old_val: Option<Bytes>, ) -> StorageResult<()>

Inserts a key-value entry associated with a given epoch into the state store.

fn delete(&mut self, key: TableKey<Bytes>, old_val: Bytes) -> StorageResult<()>

Deletes a key-value entry from the state store. Only the key-value entry with epoch smaller than the given epoch will be deleted.

async fn flush(&mut self) -> StorageResult<usize>

async fn try_flush(&mut self) -> StorageResult<()>

async fn init(&mut self, options: InitOptions) -> StorageResult<()>

Initializes the state store with given epoch pair. Typically we will use epoch.curr as the initialized epoch, Since state table will begin as empty. In some cases like replicated state table, state table may not be empty initially, as such we need to wait for epoch.prev checkpoint to complete, hence this interface is made async.

fn seal_current_epoch(&mut self, next_epoch: u64, opts: SealCurrentEpochOptions)

Updates the monotonically increasing write epoch to new_epoch. All writes after this function is called will be tagged with new_epoch. In other words, the previous write epoch is sealed.

fn epoch(&self) -> u64

fn is_dirty(&self) -> bool

fn update_vnode_bitmap(&mut self, vnodes: Arc<Bitmap>) -> Arc<Bitmap>

fn get_table_watermark(&self, vnode: VirtualNode) -> Option<Bytes>

Get last persisted watermark for a given vnode.

impl<A: StateStore, E: StateStore> StateStore for VerifyStateStore<A, E>

type Local = VerifyStateStore<<A as StateStore>::Local, <E as StateStore>::Local>

fn try_wait_epoch( &self, epoch: HummockReadEpoch, options: TryWaitEpochOptions, ) -> impl Future<Output = StorageResult<()>> + Send + '_

If epoch is Committed, we will wait until the epoch is committed and its data is ready to read. If epoch is Current, we will only check if the data can be read with this epoch.

async fn new_local(&self, option: NewLocalOptions) -> Self::Local

fn monitored( self, storage_metrics: Arc<MonitoredStorageMetrics>, ) -> MonitoredStateStore<Self>

Creates a MonitoredStateStore from this state store, with given stats.

impl<A: StateStoreIter<T>, E: StateStoreIter<T>, T: IterItem> StateStoreIter<T> for VerifyStateStore<A, E, T>

where for<'a> T::ItemRef<'a>: PartialEq + Debug,

async fn try_next(&mut self) -> StorageResult<Option<T::ItemRef<'_>>>

impl<A: StateStoreRead, E: StateStoreRead> StateStoreRead for VerifyStateStore<A, E>

type ChangeLogIter = impl StateStoreReadChangeLogIter

type Iter = impl StateStoreReadIter

type RevIter = impl StateStoreReadIter

async fn get_keyed_row( &self, key: TableKey<Bytes>, epoch: u64, read_options: ReadOptions, ) -> StorageResult<Option<StateStoreKeyedRow>>

Point gets a value from the state store. The result is based on a snapshot corresponding to the given epoch. Both full key and the value are returned.

fn iter( &self, key_range: TableKeyRange, epoch: u64, read_options: ReadOptions, ) -> impl Future<Output = StorageResult<Self::Iter>> + '_

Opens and returns an iterator for given prefix_hint and full_key_range Internally, prefix_hint will be used to for checking bloom_filter and full_key_range used for iter. (if the prefix_hint not None, it should be be included in key_range) The returned iterator will iterate data based on a snapshot corresponding to the given epoch.

fn rev_iter( &self, key_range: TableKeyRange, epoch: u64, read_options: ReadOptions, ) -> impl Future<Output = StorageResult<Self::RevIter>> + '_

async fn iter_log( &self, epoch_range: (u64, u64), key_range: TableKeyRange, options: ReadLogOptions, ) -> StorageResult<Self::ChangeLogIter>

fn get( &self, key: TableKey<Bytes>, epoch: u64, read_options: ReadOptions, ) -> impl Future<Output = StorageResult<Option<Bytes>>> + Send + '_

Point gets a value from the state store. The result is based on a snapshot corresponding to the given epoch. Only the value is returned.

impl<A: StateStoreWrite, E: StateStoreWrite> StateStoreWrite for VerifyStateStore<A, E>

fn ingest_batch( &self, kv_pairs: Vec<(TableKey<Bytes>, StorageValue)>, delete_ranges: Vec<(Bound<Bytes>, Bound<Bytes>)>, write_options: WriteOptions, ) -> StorageResult<usize>

Writes a batch to storage. The batch should be: