Struct SingleKeyConditionalStore 

pub struct SingleKeyConditionalStore { /* private fields */ }

Deterministic single-key conditional store backed by versioned records.

Implementations

impl SingleKeyConditionalStore

pub fn new(epoch: ClusterEpoch, partition_count: u32) -> Self

Create an empty conditional store.

pub fn with_lock_acquire_limit(self, limit: Option<u32>) -> Self

Configure the reentrant acquire limit. None keeps Hazelcast-style unbounded reentrancy.

pub fn metrics(&self) -> ConditionalMetrics

Return current metrics.

pub fn record(&self, key: &str) -> Option<&ReplicatedValueRecord>

Return the record for a key.

pub fn current_value(&self, key: &str) -> Option<Vec<u8>>

Return the current live value for a key, treating tombstones as absent.

pub fn lock_hold(&self, key: &str) -> Option<&LockHold>

Return the current lock hold for a key.

pub fn is_locked(&self, key: &str) -> bool

Return whether a lock is currently held.

pub fn is_locked_by(&self, key: &str, owner: &LockOwner) -> bool

Return whether a lock is currently held by owner.

pub fn current_fence(&self, key: &str) -> Option<FenceToken>

Return the current fence token for a held lock.

pub fn apply_tombstone(&mut self, key: &str, version: ValueVersion)

Apply a tombstone at an explicit version, preserving A5 delete semantics.

pub fn compare_and_set( &mut self, key: &str, expected: Option<&[u8]>, new_value: Vec<u8>, level: ConsistencyLevel, ) -> Result<CasResult, ConditionalError>

Compare and set one key at a linearizable-capable level.

pub fn put_if_absent( &mut self, key: &str, value: Vec<u8>, level: ConsistencyLevel, ) -> Result<CasResult, ConditionalError>

Put one key only if it is absent or tombstoned.

pub fn replace_if_present( &mut self, key: &str, new_value: Vec<u8>, level: ConsistencyLevel, ) -> Result<CasResult, ConditionalError>

Replace one key only when a live value is currently present.

pub fn remove_if_value( &mut self, key: &str, expected: &[u8], level: ConsistencyLevel, ) -> Result<CasResult, ConditionalError>

Remove one key by writing a tombstone only when the live value matches.

pub fn reject_multi_key<'a, I>(keys: I) -> Result<(), ConditionalError>

where I: IntoIterator<Item = &'a str>,

Reject multi-key conditional attempts loudly.

pub fn try_acquire_lock( &mut self, key: &str, level: ConsistencyLevel, owner: LockOwner, lease: LogicalDuration, now: LogicalTime, ) -> Result<Option<FenceToken>, ConditionalError>

Try to acquire a fenced lock.

pub fn force_acquire_lock( &mut self, key: &str, level: ConsistencyLevel, owner: LockOwner, lease: LogicalDuration, now: LogicalTime, ) -> Result<FenceToken, ConditionalError>

Force lock ownership to advance, simulating lease expiry / failover in deterministic tests.

pub fn renew_lease( &mut self, key: &str, owner: &LockOwner, token: FenceToken, new_deadline: LogicalTime, ) -> Result<(), ConditionalError>

Renew a lock lease for the current owner.

pub fn record_session_heartbeat(&mut self, session: SessionId, now: LogicalTime)

Record a logical session heartbeat.

pub fn expire_due(&mut self, now: LogicalTime) -> usize

Expire all lock holds with lease deadlines at or before now.

pub fn expire_lost_sessions( &mut self, now: LogicalTime, max_silence: LogicalDuration, ) -> usize

Expire all lock holds owned by sessions that stopped heartbeating.

pub fn release_lock( &mut self, key: &str, owner: &LockOwner, token: FenceToken, ) -> Result<(), ConditionalError>

Release a fenced lock when the token is current.

pub fn force_unlock(&mut self, key: &str) -> Option<FenceToken>

Privileged release that advances the fencing sequence without requiring ownership.

pub fn validate_fence_token( &mut self, key: &str, token: FenceToken, ) -> Result<(), ConditionalError>

Validate that a token is still current.

Trait Implementations

impl Clone for SingleKeyConditionalStore

fn clone(&self) -> SingleKeyConditionalStore

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SingleKeyConditionalStore

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SingleKeyConditionalStore

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SingleKeyConditionalStore

impl PartialEq for SingleKeyConditionalStore

fn eq(&self, other: &SingleKeyConditionalStore) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for SingleKeyConditionalStore

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SingleKeyConditionalStore